/* This stylesheet is for pages that must
	 occasionally display "default" text.
	 Very few element selectors are used.
*/
body,td {
  background: white none;
  color: #003;
}
td ol, td ul { margin-bottom: 0px }
th {
  color: white;
  font: bold 18px verdana, sans-serif;
  background: #006 none;
}
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;
}
.hidden {
  display: none;
}
.hilite {
	color: #000;
	background: #ffc none;
}
.jump {
  font: normal 12px/16px verdana, sans-serif;
  margin-bottom: 30px;
  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;
}
.show {
  color: #006;
  font-family: verdana, sans-serif;
}
h2.show {
  text-indent:.5em;
}
.smaller { font-size: 90% }
.tag {
  color: #036;
  font: bold 18px/24px verdana, sans-serif;
  padding: 12px;
  text-align: center;
  vertical-align: top;
}
.text {
  font: normal 12px/16px verdana, sans-serif;
  margin: 1em 30px;
  text-align: left;
}
.text li {
  margin: 6px 10px;
}
.text li em {
  font-size: 90%
}
dl.text dd {
  margin-bottom: 8px
}
dl.text dt {
  font-weight: bold
}
td.tag .text {
  margin: 0px;
  padding: 12px 0px 0px 8px
}
a:hover { background: #006 none; color: yellow; }