h1{color: #1e90ff }
h2{color: #8b008b }
h3{color: #008080 }
h4{color: #696969; font-size: 12pt }
body {background-color:mistyrose}
DIV.red{color:#f00}
DIV.smaller{color:#008080;font-size:10pt}
DIV.code{font-family:"Courier New",Courier,Monaco;
background-color:#e0ffff;
margin-right:1em;margin-left:1em;
border-top:1px dotted gray;border-bottom:1px dotted gray}