/* 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}

/*
     FILE ARCHIVED ON 12:11:43 Oct 24, 2012 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 21:19:42 Jan 24, 2026.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  captures_list: 0.663
  exclusion.robots: 0.059
  exclusion.robots.policy: 0.048
  esindex: 0.01
  cdx.remote: 10.144
  LoadShardBlock: 238.984 (3)
  PetaboxLoader3.datanode: 240.936 (4)
  PetaboxLoader3.resolve: 61.968 (2)
  load_resource: 106.318
*/