/* Default style for links */
a:active  { color: #0000CC}
a:hover   { color: #CC0033}
a:link    { color: #3366CC}
a:visited { color: #9999CC}

/* Default style */
body { background-color: #FFFFFF;
       border-top-width: 0px; border-right-width: 0px; 
       border-bottom-width: 0px; border-left-width: 0px }
h1 { font-family: Arial, Helvetica, sans-serif }
h2 { font-family: Arial, Helvetica, sans-serif; padding-top: 25px }
h3 { font-family: Arial, Helvetica, sans-serif }
h4 { font-family: Arial, Helvetica, sans-serif } 
/* li { font-family: Arial, Helvetica, sans-serif }    */

/* Definitions for page headers & footers*/
.copyright {  font-family: Arial, Helvetica, sans-serif; font-size: x-small }
.pHr { color: #666699; background-color: #666699}

/* Definitions for release notes templates */
.nav-link {  font-family: Arial, Helvetica, sans-serif; font-size: x-small }

/* Definitions for index -- added for WebWorks */
.index-jumplist { "color: #9999CC; font-size: 11px; font-weight: bold;
                  font-family: Arial, Helvetica, sans-serif"
                  text-indent: .25in}

/* Use this style for footnote numbers */
span.Footnote
{
  font-size: small;
  vertical-align: super
}

/* Use this style for notes -- added for Webworks */
.note {  font-family: Arial, Helvetica, sans-serif;
         font-size: 12px; font-style: normal; font-weight: normal;
                 font-variant: normal; text-transform: none;
                 text-decoration: none}