/* A stylesheet for the Grobots site. */

/* basic layout */
BODY { background-color: black; /*background-image: url("/web/20150927051805im_/http://grobots.sourceforge.net/grid.gif");
	background-attachment: fixed;*/ color: white; }
H1, ADDRESS { background: green; border: thin solid lime;
	color: white; text-align: center; }
h1 { padding: 0.2em; }

/* structure */
H1 { font-size: 1.7em; }
H2 { font-size: 1.3em; margin: 0.5em 0 0.2em 0; border-bottom: thin ridge white; }
H3 { font-size: 1.1em; margin: 0.5em 0 0.2em 0; border-bottom: thin solid green; }
H4 { font-size: 1em; font-weight: bold; margin: 0.4em 0; color: lime; }
H5 { font-size: 1em; font-weight: normal; text-decoration: underline; }

P { margin: 0.35em 0; }

DL { margin: 0.4em; }
DT { font-weight: bolder; margin-top: 0.2em; }

/* symbolic formatting */
ADDRESS { margin: 0.3em 0; padding: 0.2em; }
DFN { font-weight: normal; font-style: italic; }
CODE { color: yellow } /* Grobots code */
CODE.robowar { color: #c9f }
CODE.c { color: #f9c } /* C or C++ */
CODE.misc { color: silver }
PRE { background-color: black; border: thin solid lime; padding: 0.2em } /* code samples */
VAR { }
INS, DEL { color: red; }
BLOCKQUOTE { background: #333; margin: 0.3em 2em; padding: 0.3em; }

/* links */
A:link { color: aqua; }
A[href]:active { color: white; }
A:visited { color: #F6F; }

/* Tables (needs work) */
TABLE { border: 0.2em ridge; border-collapse: collapse; color: white; background: black; }
th, td, caption { color: white }
TH { background-color: green; }
CAPTION { caption-side: top; text-align: left; font-weight: bold; }
/*THEAD { border-bottom: green ridge; }*/
COL.key { background-color: #333; }
/*COLGROUP + COLGROUP { border-left: thin solid white; }
COLGROUP { padding: 0em 0.5em }*/
TR { border-bottom: 1px solid #666; }
td { background: black }

/* misc */
.warning, .note { background-color: white; color: black; padding: 0.2em; }
.warning { border: 0.2em red ridge; font-weight: bold; }
.note { border: 0.2em outset; }

/* score markup */
.good, .best { color: #6f6 }
.bad, .worst { color: #f33 }
.high, .highest { color: #c0f }
.low, .lowest { color: #66f }
.best, .worst, .highest, .lowest { font-weight: bolder }
.uncertain { color: #999 }
.new, .new td { background-color: #333; /*border: 1px solid lime*/ }

/*
     FILE ARCHIVED ON 05:18:05 Sep 27, 2015 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 23:59:57 Jan 25, 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.68
  exclusion.robots: 0.044
  exclusion.robots.policy: 0.032
  esindex: 0.01
  cdx.remote: 13.097
  LoadShardBlock: 119.529 (3)
  PetaboxLoader3.datanode: 172.87 (5)
  load_resource: 305.984 (2)
  PetaboxLoader3.resolve: 169.719 (2)
*/