body             { font-family: Verdana; font-size: 10pt }
td               { font-family: Verdana; font-size: 10pt }
input            { font-family: Courier New }

a                { color: #EC996E; text-decoration: none; }
a:hover          { color: #939598 }
a.optional       { color: #ff0000 }
a.black          { color: #000000 }
a.nav:hover      { color: #EC996E; text-decoration: none; }
a.nav            { color: #939598; text-decoration: none; }

.select          { font-family: Courier New }
.eight           { font-size: 8pt }
.nine            { font-size: 9pt }
.twelve          { font-size: 12pt; }
.thirteen        { font-size: 13pt; }
.fourteen        { font-size: 14pt; }
.fifteen         { font-size: 15pt; }
.monospaced      { font-family: Courier New; font-size: 10pt }
.nicefield       { font-size: 11px; border-style: solid; border-width: 1 }