a:link { color: #0000FF }
a:visited { color: #660066 }
a:hover { color: #FF9900 }
a.returning { font-family: Arial, sans-serif; font-size: 76.9% }
.linkStyle { color: #0000FF; cursor: pointer; text-decoration: underline }
.linkGrayStyle { color: gray }
.linkHoverStyle { color: #FF9900; cursor: pointer; text-decoration: underline }

body { font-family: Arial, sans-serif; 
    font-size: 81.25%; color: black; background-color: white }
/* body { font-family: "Arial", sans-serif; 
    font-size: 100%; color: black; background-color: white } */
h1 { font-weight: bold; font-size: 150%; text-align: center }
h2 { font-weight: bold; font-size: 120%; text-align: center }
/*pre { font-family: Fixedsys; font-size: 9pt }*/
pre { font-size: 100% }
code { font-size: 115% }
dt { font-weight: bold }

.preSmall { font-family: "Courier New", monospace; font-size: 84.6%;
    color: green }
.mainText { font-size: 100% }
.minorText { font-size: 84.6% }
div.headTopicLink { font-size: 84.6%; text-align: right }