BODY.ccffcc { background-color: #CCFFCC; color: black; font-size: 130% }
BODY.white { background-color: #FFFFFF; font-size: 130% }

A:link { color: blue }
A:visited { color: green }
A:active { color: maroon }
A:hover { color: salmon } 

H1 { font-style: italic; text-align: center }
H2.center { text-align: center }
H3.center { text-align: center }
H4.center { text-align: center }
H5.right { text-align: right }

OL.number { list-style-type: decimal }
OL.l_alpha { list-style-type: lower-alpha }
OL.u_alpha { list-style-type: upper-alpha }
OL.l_roman { list-style-type: lower-roman }
OL.u_roman { list-style-type: upper-roman }
OL.no { list-style-type: none }

UL.disc { list-style-type: disc }
UL.circle { list-style-type: circle }
UL.square { list-style-type: square }
UL.no { list-style-type: none }

SPAN.U { text-decoration: underline }

P.center { text-align: center }
DIV.center { text-align: center }
DIV.right { text-align: right }
DIV.font15 { font-size: 120% }
DIV.double { border-style: double; padding: 15px; margin-bottom: 15px; margin-top: 15px; border-color: lime; height: 200px; overflow: auto }
DIV.red { color: red }
DIV.magenta { color: magenta }

SPAN.font10 { font-size: 90% }
SPAN.font14 { font-size: 110% }
SPAN.font15 { font-size: 120% }

IMG.left { float: left }
IMG.right { float: right }
IMG.border0 { border-width: 0px }
IMG.top { border-width: 0px; margin: -13px; position: relative; top: 7px }
IMG.middle { border-width: 0px; margin: -11px; position: relative; top: 7px }

APPLET.left { float: left }
APPLET.right { float: right }

span.white_b { background-color: white }
span.blue { color: blue }
span.blue_b { background-color: blue }
span.red { color: red}
span.red_b { background-color: red }
span.yellow { color: yellow}
span.yellow_b { background-color: yellow }
span.cyan { color: cyan}
span.cyan_b { background-color: cyan }
span.gray { color: gray}
span.gray_b { background-color: gray }
span.green { color: green}
span.green_b { background-color: green }
span.magenta { color: magenta}
span.magenta_b { background-color: magenta }
span.orange { color: orange}
span.orange_b { background-color: orange }
span.pink { color: pink}
span.pink_b { background-color: pink }
span.lightblue { background-color: lightskyblue }
span.lightgreen { background-color: lightgreen }
span.EFE { background-color: #EEFFEE }

PRE { margin-bottom: 0px; font-size: 18pt }
PRE.no { margin-top: 0px; margin-bottom: -20px; padding-bottom: -15px; font-size: 18pt}