/***************************************************
 *
 * Header
 *
 */
div.header {
  margin: 0;
  padding: 0;
  background: #FFFFE0;
  border-bottom: #800 solid 2px;
}

div.header table {
  margin: 0;
  padding: 0;
  border-collapse: collapse;
  border-spacing: 0;
  width: 100%;
}

div.header table td.home {
  margin: 0;
  padding: 0;
  padding-left: 0.25em;
  text-align: center;
  width: 10.1em;
}

div.header table td.left {
  font-size: 1.5em;
  margin: 0;
  padding: 0;
  padding-left: 0.25em;
  text-align: left;
  width: 33%;
}

div.header table td.middle {
  font-size: 1.5em;
  margin: 0;
  padding: 0;
  text-align: center;
}

div.header table td.right {
  font-size: 1.5em;
  margin: 0;
  padding: 0;
  padding-right: 0.25em;
  text-align: right;
  width: 33%;
}

div.header table h1 {
  margin: 0;
  padding: 0;
  font-size: 1em;
  font-weight: bold;
}

img.icon {
  vertical-align: bottom;
  padding-top: 2px;
  padding-bottom: 2px;
  padding-right: 0.33em;
  border: 0;
}

div.header table img.icon {
  vertical-align: middle;
}

/***************************************************
 *
 * Footer
 *
 */
div.footer {
  margin: 0;
  padding: 0;
  clear: left;
  padding-top: 1em;
}

div.footer table {
  margin: 0;
  padding: 0;
  background: #FFFFE0;
  border-top: #800 solid 2px;
  border-collapse: collapse;
  border-spacing: 0;
  width: 100%;
}

div.footer table td.version {
  margin: 0;
  padding: 0;
  padding-left: 0.25em;
  text-align: left;
  width: 13.47em;	/* 10.1 scaled by font-size */
  font-size: 75%;
}

div.footer table td.left {
  margin: 0;
  padding: 0;
  padding-left: 0.25em;
  text-align: left;
  width: 33%;
}

div.footer table td.middle {
  margin: 0;
  padding: 0;
  text-align: center;
}

div.footer table td.right {
  margin: 0;
  padding: 0;
  padding-right: 0.25em;
  text-align: right;
  width: 33%;
}

/***************************************************
 *
 * Document
 *
 */
html,body {
  margin: 0;
  padding: 0;
  font-size: 100.01%;
  background: #E8E0D8;
}

span.copyright {
  padding-right: 1em;
}

span.small {
  font-size: 0.66em;
}

a:link {
  text-decoration: none;
  color: #0000CE;
}

a:visited {
  text-decoration: none;
  color: #751A8B;
}

a.todo {
  text-decoration: line-through;
}

/***************************************************
 *
 * Content
 *
 */
div.content {
  background: #E8E0D8;
  margin-left: 10.1em;
  padding-left: 0.5em;
  padding-right: 0.5em;
  padding-bottom: 2em;
}

div.content h2 {
  padding-top: 0.5em;
  margin-top: 0;
  margin-bottom: 0;
  font-family: Times;
  font-weight: bold;
}

div.content p {
  padding-top: 0.25em;
  margin-top: 0;
  padding-bottom: 0.25em;
  margin-bottom: 0;
  font-family: Arial,Helvetica,sans-serif;
}

div.content table {
  padding-left: 1em;
}

div.content .cite {
  padding-left: 3em;
  width: 40em;
}

div.content .indent {
  padding-left: 3em;
}

div.content .image {
  padding-left: 1em;
  font-style: italic;
  font-size: 80%;
}

div.content td {
  vertical-align: top;
  padding: 0.5em;
}

div.content ul {
  padding-top: 0;
  padding-bottom: 0;
  margin-top: 0;
  margin-bottom: 0;
}

div.content ul li {
  padding: 0.2em;
  margin: 0;
}

div.content ul li p {
  padding: 0;
  margin: 0;
}

div.content ul li h3 {
 font-size: 100%;
 font-weight: bold;
 padding: 0;
 margin: 0;
}

div.content h3 {
  font-weight: normal;
  font-family: Arial,Helvetica,sans-serif;
  font-size: 110%;
  margin-left: -0.5em;
}

div.content dl dt {
  padding: 0.2em;
  font-style: italic;
  font-weight: bold;
}

div.content dl dd {
  padding: 0.2em;
  font-style: normal;
  font-weight: normal;
}

.nowrap {
  white-space: nowrap;
}

.dot {
  font-weight: bold;
}

div.content table.simple,
div.content table.bits {
  padding: 0;
  margin-top: 0.5em;
  margin-left: 2.5em;
  margin-bottom: 0.5em;
  margin-right: 2.5em;
  border: solid black 1px;
  border-collapse: collapse;
  padding-left: 2em;
}

div.content table.simple th,
div.content table.simple td {
  padding: 0.25em;
  margin: 0;
  border: solid black 1px;
}

div.content table.bits th,
div.content table.bits td {
  padding: 0.25em;
  padding-left: 1em;
  padding-right: 1em;
  margin: 0;
  border: solid black 1px;
  text-align: center;
}


div.content table.matrix,
div.content table.proto {
  padding: 0;
  margin-top: 1em;
  margin-left: 2.5em;
  margin-bottom: 0.5em;
  border-collapse: collapse;
  padding-left: 2em;
  background: #E8F0E8;
}

div.content table.matrix th,
div.content table.proto th {
  padding: 0.25em;
  margin: 0;
  border-bottom: solid black 1px;
  border-left: solid black 1px;
  border-right: solid black 1px;
  font-weight: bold;
}

div.content table.matrix th:first-child,
div.content table.proto th:first-child { /* IE6 doesn't grok first-child. See if I care. */
  border: 0;
}

div.content table.matrix td,
div.content table.proto td {
  padding: 0.25em;
  margin: 0;
  border: solid black 1px;
  text-align: center;
}

div.content table.matrix td:first-child,
div.content table.proto td:first-child {
  border: 0;
  border-top: solid black 1px;
  border-bottom: solid black 1px;
}

div.content table.matrix td table.proto,
div.content table.proto td table.proto {
  margin-top: 1em;
  margin-right: 2em;
  background: #E8F0D8;
}

div.content table.matrix td:first-child {
  font-weight: bold;
}

/***************************************************
 *
 * BLOCKS
 *
 */
div.content .keyword {
  font-weight:bold;
  font-family:monospace;
  color: #0000CD;
}

div.content .var {
  font-style:italic;
  font-weight:bold;
  font-family:monospace;
}

div.content .function {
  font-weight:bold;
  font-family:monospace;
  color: #00008B;
}

div.content .input-prefix {
  padding-top: 0.25em;
  padding-bottom: 0.5em;
  font-weight:bold;
  font-family:monospace;
  float: left;
  color:black;
  white-space: pre;
}

div.content .input-prefix.good {
  color:darkgreen;
}

div.content .input-prefix.bad {
  color:darkred;
}

div.content .input {
  padding-top: 0.25em;
  padding-bottom: 0.5em;
  color:darkblue;
  font-weight:bold;
  font-family:monospace;
  white-space: pre;
}

div.content .output {
  padding-top: 0.25em;
  padding-bottom: 0.25em;
  padding-left: 1.25em;
  color:darkred;
  font-weight:bold;
  font-family:monospace;
  white-space: pre;
}

div.content .code {
  color:darkblue;
  font-family:monospace;
  font-weight: bold;
  white-space: nowrap;
}

div.content div.code {
  padding-top: 0.25em;
  padding-bottom: 0.5em;
  padding-left: 2em;
  white-space: pre;
}

div.content .file {
  font-family:monospace;
  font-weight: normal;
}

div.content .sa {
  font-family:monospace;
  font-weight:bold;
}

div.content .missing {
  color: red;
}

div.content .text {
  font-weight:normal;
  font-family: Arial,Helvetica,sans-serif;
  padding-top: 0.25em;
  padding-left: 1.25em;
  padding-bottom: 0.5em;
}

div.content img.float {
  float:left;
  margin-right:1em;
}

div.content .SYNOPSIS .text {
  padding-top: 0.5em;
  white-space: nowrap;
}

div.content .SYNOPSIS .text i {
  font-family: Arial,Helvetica,sans-serif;
  font-weight: normal;
  font-style: italic;
}

div.content .SYNOPSIS .text span.form {
  font-family: monospace;
  font-weight: bold;
}

div.content .SYNOPSIS .text span.form span.returns {
  font-family: Arial,Helvetica,sans-serif;
  font-weight: normal;
}

div.content .SYNOPSIS .text div.include {
  display: block;
  font-family: monospace;
  font-weight: bold;
}

div.content .SYNOPSIS .text div.title {
  font-size: 110%;
  margin-left: -0.5em;
}

div.content .SYNOPSIS .text ol {
  padding: 0;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
  margin-left: 1.5em;
  font-weight:normal;
  font-family: Arial,Helvetica,sans-serif;
}


div#FileBrowser img,
div#Downloads img {
  border: 0;
}

div#FileBrowser table,
div#Downloads table {
  padding: 0;
  margin-top: 0.5em;
  margin-left: 2.5em;
  margin-bottom: 0.5em;
  margin-right: 2.5em;
/*  border: solid black 1px; */
  border-collapse: collapse;
  padding-left: 2em;
}

div#FileBrowser table th,
div#FileBrowser table td,
div#Downloads table th,
div#Downloads table td {
  padding: 0.25em;
  margin: 0;
  padding-left: 1em;
  padding-right: 1em;
  /* border: solid black 1px; */
}

/***************************************************
 *
 * Menu
 *
 */
.menu {
  font: bold 1em arial, helvetica, sans-serif;
  background: #F6F0E0;
  float: left;
  width: 10.1em;

  border-right: #800 solid 2px;
  border-bottom: #800 solid 2px;
}

.menu a {
  display: block;
  margin: 1px;
  padding-top: 0.1em;
  padding-bottom: 0.1em;
  padding-left: 1em;
  font: bold 1em arial, helvetica, sans-serif;
  color: #000000;
  background: #F6F0E0;
  text-decoration: none;
}

.menu a:link, .menu a:visited {
  text-decoration: none;
  color: #000000;
  background: #F6F0E0;
  text-decoration: none;
}

.menu a:hover {
  color: #FFFFFF;
  background: #008080;
}

.menu a.topic {
  margin: 2px;
  margin-top: 0.1em;
  margin-bottom: 0.2em;

  padding-top: 0.1em;
  padding-bottom: 0.1em;
  padding-left: 0.5em;
  padding-right: 0.2em;

  color: #fff;
  background: #000;
  font: 1em arial, helvetica, sans-serif;
}

.menu a.topic:link, .menu a.topic:visited, .menu a.topic:hover {
  color: #fff;
  background: #000;
  text-decoration: none;
}

/***************************************************/
