:hover { color: rgb(0, 96, 255) }
body {
  background: #FFFFFF;
  color: #000000;
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size-adjust: 0.58; /* Verdana */
}
h1 {
  margin-top:0;
  font-family: "Times New Roman", Times, serif;
  font-size: x-large; /* 160%, 22pt */
  font-size-adjust: 0.5;
  text-align: center;
  font-weight: bold;
  font-style: normal;
  margin-bottom: 0px;
}
h2 {
  font-family: "Times New Roman", Times, serif;
  font-size: large; /* 118%, 14pt; */
  font-size-adjust: 0.5; /* A guess for Arial */
  font-style: italic;
  font-weight: bold;
  font-variant: normal;
  margin-bottom: 0px;
}
h3 {
  font-family: "Times New Roman", Times, serif;
  font-size: medium; /* 90%, 9.5pt; */
  font-size-adjust: 0.58; /* Verdana */
  font-style: italic;
  font-weight: bold;
  font-variant: normal;
}
h4 {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: small; /* 80%, 9pt;*/
  font-size-adjust: 0.58; /* Verdana */
  font-style: normal;
  font-weight: bold;
  font-variant: normal;
}
hr { margin-left: -2% }
p {  /* Smaller normal text size.  */
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: x-small;  /* 80%; */
  font-size-adjust: 0.58; /* Verdana */
  font-style: normal;
}
blockquote {
  font-family : "Times New Roman", Times, serif;
  font-size-adjust: 0.46; /* Times New Roman */
}
.blockquote {
  font-family : "Times New Roman", Times, serif;
  font-size-adjust: 0.46; /* Times New Roman */
}
dl { /* Avoid setting the size here. */
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size-adjust: 0.58; /* Verdana */
  margin-left: 2%;
}
ul, ol { /* list text should match p text */
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: small; /* 76% */
  font-size-adjust: 0.58; /* Verdana */
  font-style: normal;
}
kbd {
  /* font-size: 110%; */
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-weight: bold;
}
tt { /* Lots of tt font-size problems with NN, hence fixed size */
  font-family : "Courier New", Courier, mono;
  font-size : small; /* 10pt; */
  font-size-adjust: 0.46; /* Times New Roman */
}
.box { /* Use for table with highlighted background */
  background: #307030;
  border: 0;
}
.counter { /* Use for hit counter */
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: xx-small; /* 63%; */
  font-size-adjust: 0.58; /* Verdana */
  font-style: italic;
}
.date { /* Use for file mod date in footer */
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: italic;
  text-align: right;
  font-size: xx-small; /* 63%; */
  font-size-adjust: 0.58; /* Verdana */
}
.footer { /* Use for misc. text in footer */
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: xx-small; /* 63%; */
  font-size-adjust: 0.58; /* Verdana */
}
 /*
 div.right {text-align: right}
 div.center {text-align: center}
 div.date {font-style: italic; text-align: right; font-size: 80%;}
 div.footer { font-size: 80% }
 */
.indentsection {
  margin-left: 2em;
}
.logo {
  font-style: italic;
  color: #FF0000;
}
.sidebar1 { /* Not-quite smallest readable font, margins for sidebar */
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: normal;
  font-size: xx-small; /* 63%; */
  font-size-adjust: 0.58; /* Verdana */
  margin-right: 8px;
  margin-left: 10px;
}
.sidebar2 { /* Smallest readable font, margins for sidebar. */
  /* Arial seems to scale better at this size on more machines/browsers */
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: normal;
  font-size: xx-small; /* 55%, 63% for Arial */
  font-size-adjust: 0.58;
  margin-right: 8px;
  margin-left: 10px;
}
.sidebar2t { /* Slightly larger font, margins for sidebar. */
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: normal;
  font-size: xx-small; /* 63%; */
  font-size-adjust: 0.58; /* Verdana */
  margin-right: 8px;
  margin-left: 10px;
}
.sidebarh { /* Heading for sidebar use */
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: x-small; /* 76%; */
  font-size-adjust: 0.58; /* Verdana */
  font-style: italic;
  font-weight: bold;
  margin-right: 8px;
  margin-left: 10px;
  margin-bottom: 6px;
}
.textbox {
  background-color : #CCFF99;
  background-image: url(images/fullbox2_r2_c2.gif);
}
.normaltext {
  /* Should match the standard paragraph font */
  /* Do not use this within another font context */
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: x-small; /* 80% */
  font-size-adjust: 0.58;
  /* Verdana */
}
.smalltext {
  /* One size smaller than standard paragraph font */
  /* Do not use this within another font context */
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: xx-small;
  font-size-adjust: 0.58; /* Verdana */
}
.smallitalic {
  font-family: "Times New Roman", serif;
  font-style: italic;
  font-size: x-small; /* 83%; */
}
.xsmalltext {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: xx-small; /* 63%; */
  font-size-adjust: 0.58; /* Verdana */
}
.xxsmalltext {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: normal;
  font-size: xx-small; /* 55%, 63%; for Arial */
  font-size-adjust: 0.58;
}
.superhead1 {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 16px;
  font-size-adjust: 0.58; /* Verdana */
  font-style: italic;
  font-weight: bold;
  color: #FF0000;
  font-variant: normal;
  text-transform: none;
  padding-top: 6px;
}
.highlight {
  color: #FFFF00;
  background-color: #0000CC;
}
.largetext {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: small; /* 100%; */
  font-size-adjust: 0.58;
}