/* 
   This stylesheet is for pages that must
   occasionally display "default" text.
   Very few element selectors are used.
*/
body,td {
  background: white none;
  color: black;
}
td ol, td ul { margin-bottom: 0px }

pre {
  border: 1px dashed #006;
  color: black;
  font: normal 12px/14px "courier new", courier, monospace;
  padding: 1em;
}
td.descript {
  font: normal 12px/16px verdana, sans-serif;
  padding: 4px;
  text-align: left;
  vertical-align: top;
  width: 33%
}
td.example {
  padding: 8px;
  text-align: left;
  vertical-align: top;
}


/* IDs and CLASSes */

.hidden,.noCSS {
  display: none;
}
.hilite {
  color: #000;
  background: #ffc none;
}
.jump {
  font: bold 90%  "trebuchet ms", "gill sans", verdana, sans-serif;
  margin-bottom: 24px;
  text-align: center;
}
div.meta, p.meta {
  font: normal 10px Monaco, "Lucida Console", "Andale Mono", "Monotype.com", "MS Gothic", monospace;
  color: #000; background: #ccc none;
  margin: 0px -1.5em; padding: 1px 2.5em;
}
.smaller { font-size: 90% }


/* TEXT class - for explanatory text */

.text {
  background: #fff; color: #003;
  font: normal 90%/120% "trebuchet ms", "gill sans", verdana, sans-serif;
  margin: 1em 30px;
  text-align: left;
}
th.text {
  color: white;
  font-weight: bold;
  background: #006 none;
}
h1.text,h2.text,h3.text,h4.text {
  color: #006;
  font-family: "trebuchet ms", "gill sans", verdana, sans-serif;
  text-indent:.5em;
}
/* Setting absolute headline sizes to match all.css */
h1.text { font-size: 24px; line-height: 32px; }
h2.text { font-size: 18px; line-height: 24px; }
h3.text { font-size: 14px; line-height: 18px; }
h4.text { font-size:  1em; line-height: 140%; }
h1.tag {
  color: #036;
  font: bold 24px/32px monaco,"courier new",monospace;
  padding: 12px;
  text-align: center;
  vertical-align: top;
}
.text li {
  margin: 6px 10px;
}
.text dd {
  margin-bottom: 8px
}
dl.text dt {
  font-weight: bold
}
td.text {
  margin: 0px;
  padding: 12px 0px 0px 8px
}


/* TEXT class: hyperlinks */

.text a img { border: solid 2px white }
.text a:hover { background: #006 none; color: yellow; }
.text a:hover img { border: solid 2px blue }