/* GLOBALS:                                      definitions  for pixel-sized fonts */

.typ {  font-family: Helvetica, Arial, sans-serif; }

.blue {   color: #0000B0; }

.green {  color: #066101; }

.black {  color: #000000; }

.red {    color: #FF4444; }

.maroon { color: #98002E; }

.white { color: #FFFFFF; }

.gray { color: #535878; }

.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; }

.p24 { font-size: 24px; }

.p30 { font-size: 30px; }

.p34 { font-size: 34px; }

.p40 { font-size: 40px; }

.lt  { font-weight: normal; }

.bold  { font-weight: bold; }