/* GLOBALS:                                      definitions  for pixel-sized fonts */
html body, table, div, span, td, tr {
     font-family: Helvetica, Arial, sans-serif;
     font-size: 15px;
     font-weight: bold;
     color: #000000;
     text-align: left;
     background: transparent;        /* font: background will be defined in body tag */
     margin: 0;
     padding: 0;
     border: 0 0 0 0;
}
.blue {   color: #0000B0; }

.green {  color: #008000; }

.black {  color: #000000; }

.red {    color: #DC0000; }

.maroon { color: #98002E; }

.p8 { font-size: 8px; }

.p10 { font-size: 10px; }

.p11 { font-size: 11px; }

.p12 { font-size: 12px; }

.p13 { font-size: 13px; }

.p14 { font-size: 14px; }

.p15 { font-size: 15px; }

.p16 { font-size: 16px; }

.p18 { font-size: 18px; }

.p20 { font-size: 20px; }

.p30 { font-size: 30px; }

.p34 { font-size: 34px; }

.p40 { font-size: 40px; }

.lt  { font-weight: normal; }