body {background-color: #FFFFFF;
      width: 750px; 
      font-size: 12pt}
#mast {background-color: #80C0FF; 
       width: 750px; 
       border-color: #80C0FF;
       padding: 0%}
h1.ss, h2.ss, h3.ss, h4.ss, h5.ss, h6.ss {font-family: sans-serif}
b.ss, font.ss {font-family: sans-serif; 
               font-size: 10pt}
font.small {font-size: 9pt}
.sym {font-family: Symbol}
.blue {color: blue}
.red {color: red}
.green {color: #00DD00}
.orange {color: orange}
.pink {color: #FFA0A0}
.yellow {color: #E0E000}
.purple {color: #B000B0}
.brown {color: brown}
.grey {color: #B0B0B0}
.magenta {color: magenta}
applet.ht100 {width: 760; height: 100}
applet.ht200 {width: 760; height: 200}
applet.ht300 {width: 760; height: 300}
applet.ht325 {width: 760; height: 325}
applet.ht350 {width: 760; height: 350}
applet.ht375 {width: 760; height: 375}
applet.ht400 {width: 760; height: 400}
applet.ht425 {width: 760; height: 425}
applet.ht450 {width: 760; height: 450}
applet.ht475 {width: 760; height: 475}
applet.ht500 {width: 760; height: 500}
object.ht100 {width: 760; height: 100}
object.ht200 {width: 760; height: 200}
object.ht300 {width: 760; height: 300}
object.ht325 {width: 760; height: 325}
object.ht350 {width: 760; height: 350}
object.ht375 {width: 760; height: 375}
object.ht400 {width: 760; height: 400}
object.ht425 {width: 760; height: 425}
object.ht450 {width: 760; height: 450}
object.ht475 {width: 760; height: 475}
object.ht500 {width: 760; height: 500}
