/* GLOBALS: definitions used by and affecting the entire site
                                        defines defaults for pixel-sized fonts */
html body, table, div, span, td, tr {
     font-family: Arial, Helvetica, sans-serif;
     font-size: 15px;
     font-weight: bold;
     color: #000000;
     background: transparent;        /* font: background will be defined in body tag */

}
.blue-13 {
     color: #0000B0;
     font-size: 13px;
}
.green-13 {
     color: #008000;
     font-size: 13px;
}
.black-13 {
     color: #000000;
     font-size: 13px;
}
.red-13 {
     color: #DC0000;
     font-size: 13px;
}
.maroon-13 {
     color: #98002E;
     font-size: 13px;
}
.blue-14 {
     color: #0000B0;
     font-size: 14px;
}
.green-14 {
     color: #008000;
     font-size: 14px;
}
.black-14 {
     color: #000000;
     font-size: 14px;
}
.red-14 {
     color: #DC0000;
     font-size: 14px;
}
.maroon-14 {
     color: #98002E;
     font-size: 14px;
}
.blue-15 {
     color: #0000B0;
     font-size: 15px;
}
.green-15 {
     color: #008000;
     font-size: 15px;
}
.black-15 {
     color: #000000;
     font-size: 15px;
}
.red-15 {
     color: #DC0000;
     font-size: 15px;
}
.maroon-15 {
     color: #98002E;
     font-size: 15px;
}
.blue-16 {
     color: #0000B0;
     font-size: 16px;
}
.green-16 {
     color: #008000;
     font-size: 16px;
}
.black-16 {
     color: #000000;
     font-size: 16px;
}
.red-16 {
     color: #DC0000;
     font-size: 16px;
}
.maroon-16 {
     color: #98002E;
     font-size: 16px;
}
.blue-18 {
     color: #0000B0;
     font-size: 18px;
}
.green-18 {
     color: #008000;
     font-size: 18px;
}
.black-18 {
     color: #000000;
     font-size: 18px;
}
.red-18 {
     color: #DC0000;
     font-size: 18px;
}
.maroon-18 {
     color: #98002E;
     font-size: 18px;
}
.blue-20 {
     color: #0000B0;
     font-size: 20px;
}
.green-20 {
     color: #008000;
     font-size: 20px;
}
.black-20 {
     color: #000000;
     font-size: 20px;
}
.red-20 {
     color: #DC0000;
     font-size: 20px;
}
.maroon-20 {
     color: #98002E;
     font-size: 20px;
}
.blue-30 {
     color: #0000B0;
     font-size: 30px;
}
.blue-40 {
     color: #0000B0;
     font-size: 40px;
}