/* George Gesslein II's CSS for HTML documentation */

/* Commonly used classes: */
.clear { clear: both; }
.right { float: right; }
.left { float: left; }
.center { text-align: center; }
.middle { vertical-align: middle; }
.indent { margin-left: 2em; margin-right: 2em; }
.large { font-size: larger; }
.small { font-size: x-small; }

.sample {
  border-style: solid; border-width: 1px; border-color: black;
  border-radius: 7px;
  color: black;
  background-color: #FFFAF0;
  padding: 10px;
}

a img { border: none; } /* don't draw borders around images that are links */

body {
  font-family: sans-serif;
  font-size: large;
  color: black;
  background-color: white;
}

a:link {
  color: blue;
}

a:visited {
  color: purple;
}

a:hover {
  color: green;
}

a:active {
  color: red;
}

caption {
  color: orange;
  font-weight: bold;
}

@media print
{
  a { text-decoration: none; } /* no underlined links when printing */
/*  h2 { page-break-before: always; } Uncomment this to page break at the beginning of every section. */
}

/*
     FILE ARCHIVED ON 14:16:23 Jul 22, 2012 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 05:51:28 Apr 19, 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.542
  exclusion.robots: 0.036
  exclusion.robots.policy: 0.025
  esindex: 0.01
  cdx.remote: 16.643
  LoadShardBlock: 132.509 (3)
  PetaboxLoader3.datanode: 128.036 (4)
  PetaboxLoader3.resolve: 61.446 (2)
  load_resource: 123.758
*/