INPUT.textbox {BORDER-RIGHT: 1px solid; BORDER-TOP: 1px solid; BORDER-LEFT: 1px solid; BORDER-BOTTOM: 1px solid; FONT-FAMILY: "Courier New", Courier, monospace
}
.fontBottomLayerBody {
	FONT-SIZE: 9px; COLOR: #000000; FONT-FAMILY: verdana, arial, sans-serif}

A.functions     {color:#505BC5;text-decoration:none; font-family: Arial, Helvetica, sans-serif;font-size:12px;font-weight:bold;}
A.functions:hover       {color:#79BF4F;}
.plaintext {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 11px}
.redlinkbody { color:#AE0000;text-decoration:none; font-family: Verdana, Arial, Helvetica, sans-serif;font-size:11px;font-weight:bold; }
A.redlinkbody:hover       {color:#4560C9;}.top1blue {  font-family: Arial, Helvetica, sans-serif; font-size: 12px; color: #505BC5; text-decoration: none}
.top1green { font-family: Arial, Helvetica, sans-serif; font-size: 12px; color: #79BF4F; text-decoration: none}