BODY.color { background-color: #E0FFFF; color: black; font-size: 130%}
body.lightskyblue { background-color: lightskyblue; color: black; font-size: 130%}
BODY.eeffee { background-color: #EEFFEE; color: black; font-size: 130%; }
body.lightblue { background-color: lightblue; color: black; font-size: 130%}
body.lightgreen { background-color: lightgreen; color: black; font-size: 130%}
body.white { background-color: white; color: black; font-size: 130% }
body.white_s { background-color: white; color: black; font-size: 90% }

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

H1 { font-style: italic; text-align: center }
H2 { text-align: center }
H3 { text-align: center }

OL.no { list-style-type: none }
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 }

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

SPAN.U { text-decoration: underline }
SPAN.O { text-decoration: overline }

P.center { text-align: center }
DIV.center { text-align: center }

div.font13 { font-size: 120% }
div.font15 { font-size: 130% }
span.font15 { font-size: 130% }

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 }

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.eeffee { background-color: #EEFFEE }

DIV.blue { background-color: lightskyblue }
DIV.green { background-color: lightgreen }
DIV.yellow { background-color: yellow }
DIV.pink { background-color: pink }
DIV.b_pink { border: 10px pink groove };

SPAN.w0 { letter-spacing: -10px }
SPAN.same { letter-spacing: -21px }
DIV.h0 { line-height: 0px }
DIV.h3 { line-height: 3px }
DIV.h5 { line-height: 5px }
DIV.h7 { line-height: 7px }
DIV.h10 { line-height: 10px }
DIV.h15 { line-height: 15px }
DIV.h17 { line-height: 17px }
DIV.h20 { line-height: 20px }
DIV.h23 { line-height: 23px }
DIV.h25 { line-height: 25px }
DIV.h27 { line-height: 27px }

DIV.double { border-style: double; padding: 15px; border-color: lime }
DIV.solid { border-style: solid; padding: 15px }
DIV.dotted { border-style: dotted; padding: 15px; border-color: #ffaaff }
DIV.dashed { border-style: dashed; padding: 15px }

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