dnl Master style sheet for Hypertriton websites.
dnl ex:syn=css

BODY, TD, TH, H1, H2, H3 {
  font-family:arial,helvetica,sans-serif;
  font-weight:normal;
}
P, UL, OL, LI, ADDRESS, FONT, INPUT, SELECT, TEXTAREA, BLOCKQUOTE {
  font-family:arial,helvetica,sans-serif;
  font-weight:normal;
}

H1 { font-size:150%; font-weight:bold; }
H2 { font-size:110%; font-weight:bold; }
H3 { font-size:100%; font-weight:bold; }

PRE {
  font-family:courier;
}
PRE.code {
  font-family:courier;
  margin-left:16px;
}

P.note { font-style:italic; }
P.copyright {
  font-family:inherit;
  font-style:italic;
}

UL, OL {
  margin-left:25px;
  margin-bottom:0px;
  padding-left:1em;
  padding-right:1em;
}
UL.indent, OL.indent {
  margin-left:20px;
  margin-top:2px;
  margin-bottom:2px;
  padding-top:0px;
  padding-bottom:0px;
}
LI.pref {
  font-family:courier;
}
FORM { margin-bottom:0px; }
FONT.pref {
  font-weight:inherit;
  font-family:courier;
}
FONT.menutext { font-weight:bold; }
FONT.menusection { font-weight:bold; }

A:link {
  font-family:inherit;
  font-size:inherit;
  font-weight:inherit;
}
A:visited {
  font-family:inherit;
  font-size:inherit;
  font-weight:inherit;
}
A:hover {
  font-family:inherit;
  font-size:inherit;
  font-weight:inherit;
}

A.main:link {
  font-family:inherit;
  font-size:120%;
  font-weight:bold;
}
A.main:visited {
  font-family:inherit;
  font-size:120%;
  font-weight:bold;
}
A.main:hover {
  font-family:inherit;
  font-size:120%;
  font-weight:bold;
}

A.ext:link {
  background:url(/images/external.png) no-repeat 100% 0;
  padding:0 12pt 0 0;
  font-weight:inherit;
}
A.ext:visited {
  background:url(/images/external.png) no-repeat 100% 0;
  padding:0 12pt 0 0;
  font-weight:inherit;
}
A.ext:hover {
  background:url(/images/external.png) no-repeat 100% 0;
  padding:0 12pt 0 0;
  font-weight:inherit;
}
A.pref:link {
  font-size:inherit;
  font-family:courier;
  font-weight:inherit;
}
A.pref:visited {
  font-size:inherit;
  font-family:courier;
  font-weight:inherit;
}
A.pref:hover {
  font-size:inherit;
  font-family:courier;
  font-weight:inherit;
}

A.m:link {
  font-family:arial,sans-serif;
  font-weight:bold;
  font-size:110%;
  color:#c0c0c0;
}
A.m:visited {
  font-family:arial,sans-serif;
  font-weight:bold;
  font-size:110%;
  color:#c0c0c0;
}
A.m:hover {
  font-family:arial,sans-serif;
  font-weight:bold;
  font-size:110%;
  color:#c0c0c0;
}


A.m2:link {
  font-family:arial,sans-serif;
  font-weight:bold;
  font-size:85%;
  text-decoration:none;
  font-size:120%;
}
A.m2:visited {
  font-family:arial,sans-serif;
  font-weight:bold;
  font-size:85%;
  text-decoration:none;
  font-size:120%;
}
A.m2:hover {
  font-family:arial,sans-serif;
  font-weight:bold;
  font-size:85%;
  text-decoration:underline;
  font-size:120%;
}

A.m3:link {
  font-family:arial,sans-serif;
  font-size:70%;
  font-weight:bold;
  text-decoration:none;
}
A.m3:visited {
  font-family:arial,sans-serif;
  font-size:70%;
  font-weight:bold;
  text-decoration:none;
}
A.m3:hover {
  font-family:arial,sans-serif;
  font-size:70%;
  font-weight:bold;
  text-decoration:underline;
}

A.mext:link {
  font-family:arial,sans-serif;
  font-weight:bold;
  background:url(/images/external.png) no-repeat 100% 0;
  padding:0 12pt 0 0;
  text-decoration:none;
}
A.mext:visited {
  font-family:arial,sans-serif;
  font-weight:bold;
  background:url(/images/external.png) no-repeat 100% 0;
  padding:0 12pt 0 0;
  text-decoration:none;
}
A.mext:hover {
  font-family:arial,sans-serif;
  font-weight:bold;
  background:url(/images/external.png) no-repeat 100% 0;
  padding:0 12pt 0 0;
  text-decoration:underline;
}
A.list:link { font-size:inherit; font-weight:bold; }
A.list:visited { font-size:inherit; font-weight:bold; }
A.list:hover { font-size:inherit; font-weight:bold; }

TABLE.list {
  font-family:lucida,arial,sans-serif;
}
TABLE.menuborder {
  margin:5px;
  margin-top:3px;
}
TABLE.sep {
  padding-bottom:0px;
  padding-top:0px;
  padding-left:0px;
  padding-right:0px;
}

TH {
  font-family:arial,sans-serif;
  font-weight:bold;
}
TH.cell {
  padding-left:8px;
  padding-right:8px;
  padding-top:6px;
  padding-bottom:6px;
}
TH.vcell {
  padding-left:8px;
  padding-right:8px;
  padding-top:0px;
  padding-bottom:0px;
}

TD.pref {
  font-family:courier;
}
TD.shTL { background:url('/images/TL2.gif') no-repeat; padding:0px!important; }
TD.shTR { background:url('/images/TR2.gif') no-repeat; padding:0px!important; }
TD.shBL { background:url('/images/BL2.gif') no-repeat; padding:0px!important; }
TD.shBR { background:url('/images/BR2.gif') no-repeat; padding:0px!important; }

TD.rootTL { background:url('/images/TL.gif') no-repeat; padding:0px!important; }
TD.rootTR { background:url('/images/TR.gif') no-repeat; padding:0px!important; }
TD.rootBL { background:url('/images/BL.gif') no-repeat; padding:0px!important; }
TD.rootBR { background:url('/images/BR.gif') no-repeat; padding:0px!important; }

TD.sectionHdr {
  padding-top:0px;
  padding-bottom:0px;
  padding-left:16px;
  padding-right:16px;
  font-family:inherit;
  font-weight:bold;
}
TD.sepRight {
  border-right:solid;
  border-width:1px;
}
TD.sepLeft {
  border-right:solid;
  border-width:1px;
}
TD.listItem {
  padding-left:5px;
}
TD.cell {
  padding-left:4px;
  padding-right:4px;
  padding-top:2px;
  padding-bottom:2px;
}
TR.layout { background:none; }
TD.layout { background:none; }

CITE {
  font-weight:bold;
  font-style:italic;
  margin-left:1px;
  margin-right:1px;
}

div#main {
  background: #d0d0d0;
  margin-top: 0px;
  margin-left: 0px;
  border-radius: 5px;
  -moz-border-radius: 5px;
  padding: 0px;
  margin-bottom: 5px;
}
div#content {
  padding-left: 10px;
  padding-right: 10px;
  padding-top: 0px;
  padding-bottom: 5px;
}
div#menu {
  margin-left: 0px;
  margin-right: 0px;
  margin-bottom: 20px;
  background: #444444;
}
div#copyright {
  background: #888888;
  font-size: 60%;
  padding-top: 10px;
  padding-bottom: 10px;
  padding-right: 30px;
}
div.boxHeader {
  background: #999999;
  border-radius: 3px;
  -moz-border-radius: 3px;
  padding: 10px;
  margin-top: 5px;
  margin-bottom: 5px;
  font-weight: bold;
  color: #ffffff;
}
div.boxBody {
  padding: 10px;
  margin-top: 0px;
}

include(cgi.css-in)
include(docs.css-in)