BODY { background-color: white; color: black; font-family: sans-serif }
A:link { font-family: sans-serif; color: blue; text-decoration: underline }
A:visited { font-family: sans-serif; color: purple; text-decoration: underline }
A:active { font-family: sans-serif; color: red; text-decoration: underline  }
H1 { font-family: sans-serif; text-align: center }
H2 { font-variant: small-caps }
H2,H3,H4,H5,H6 { font-family: sans-serif; text-align: left }
.secselected { font-family: sans-serif; font-weight: bold; color: purple }
.highlight { font-weight: bold }
DIV.figure { text-align: center; margin: 1.5em 0 }
P.caption { text-align: center; font-weight: bold; color: black }
DIV.example { border-width: thin; background-color: #F0F0F0 }
.right { clear: left; float: right; margin-top: 3px; margin-bottom: 3px }
TH,TD { text-align: left; vertical-align: top }
.screenonly { }
.printonly { display: none }
@media print {
       .printonly { display: inline }
       .screenonly { display: none  }
       body { font-size: 80%; }
}