/* Style Sheet */
/* $Id: stdstyle.css,v 1.9 2005-12-28 14:06:10 cbbrowne Exp $ */
BODY{ background-color:#EEFFEE; 
background-repeat: repeat-y;}
SPAN.indent{margin-left:0.4in;}
H1, H2, H3, H4 {font-family: Optima, Lucida, Helvetica, sans-serif; color:
green; background-color: transparent; font-weight: bolder; }
H1{ font-size: 18pt;}
H2{ font-size: 16pt;}
H3{ font-size: 14pt;}
H4{ font-size: 12pt;}
H1.title {font-size: 24pt; text-align: center; color: maroon;
background-color: transparent; font-family: Optima, Lucida, Helvetica,
sans-serif;}
P.author, P.affiliation {font-weight:bold; font-family: Optima, Helvetica,
Arial, Sans-serif; text-align: center;}
P.affiliation {font-size: 8pt}
DEL {font-weight: bold}
INS {background-color: white}
DIV.NAVHEADER TH {font-size: larger;}
DIV.NAVFOOTER TH {font-size: larger;}
DIV.NAVFOOTER TD {font-family: Helvetica,Arial,sans-serif; font-size: smaller;}
DIV.NAVHEADER TD {font-family: Helvetica,Arial,sans-serif; font-size: smaller;}
DIV.TOC {font-size: 10pt; text-indent: 3em;}
P.TOC {font-size: 10pt; text-indent: 3em;}
B.COMMAND {font-family: courier,monospace; font-weight: normal;}
PRE,TT.LITERAL,P.LITERALLAYOUT{ font-family:Lucida Typewriter, Courier,
monospace; font-weight: normal; background-color: gray; color: white;
border-width: thin; white-space:pre; }

/*
     FILE ARCHIVED ON 08:21:12 Jun 12, 2007 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 01:23:28 Jul 05, 2022.
     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: 158.619
  exclusion.robots: 0.227
  exclusion.robots.policy: 0.219
  cdx.remote: 0.081
  esindex: 0.011
  LoadShardBlock: 107.965 (3)
  PetaboxLoader3.datanode: 91.881 (4)
  CDXLines.iter: 16.635 (3)
  load_resource: 101.866
  PetaboxLoader3.resolve: 26.925
*/