body
{
  background: #000000;
  color: #bbbbbb;
  font-family: "Courier New", "Courier", "Lucida Console", "Andale Mono", monospace;
  margin-left: 4%;
  margin-right: 4%;
  font-size: 12pt;
}

@media only screen and (max-aspect-ratio: 2/3)
{
  body
  {
    font-size: 18pt;
  }
}

div.nav-top
{
  padding-top: 1em;
  width: 100%;
}

div.nav-outer
{
  width: 100%;
  padding-right: 0em;
  text-align: center;
  font-size: 100%;
}

div.nav
{
  display: inline-block;
  padding-right: 0em;
  text-align: left;
  font-size: 100%;
}

div.clear
{
  clear: both;
  padding-top: 1em;
}

div.wide-endnav
{
  width: 80%;
  margin-top: 2em;
  margin-left: auto;
  margin-right: auto;
}

a
{
  color: #a90008;
  text-decoration: none;
}

a.mainlink
{
  color: #bbbbbb;
  text-decoration: none;
}

a:hover
{
  color: #a90008;
  font-weight: bold;
}

sub, sup
{
  font-size: 75%;
  line-height: 0;
  position: relative;
  vertical-align: baseline;
}

sup
{
  top: -0.5em;
}

sub
{
  bottom: -0.25em;
}

ul li
{
  padding-top: 1em;
}

ul.small li
{
  padding-top: 0em;
}

ol li
{
   padding-top: 1em;
}

ol.small li
{
  padding: 0;
  margin: 0;
}

div.figure
{
  padding: 10px 10px 10px 10px;
  float: left;
}

div.figure-right
{
  padding: 10px 10px 10px 10px;
  float: right;
}

font.footnote
{
  font-size: 85%;
}

td, th
{
  padding-left: 10px;
  padding-right: 10px;
}

table tr.header, table tr.header th
{
  border-bottom: 1px solid #a90008;
}

table
{
  margin-top: 1em;
  margin-bottom: 1em;
  margin-left: auto;
  margin-right: auto;
  font-size: 100%;
}

.PictureCaption
{
  font-size: 85%;
  color: #aaa;
}
.PictureCaption b
{
  color: #ccc;
  font-weight: bold;
}
.SectionTitle
{
  font-weight: bold;
}
.PageTitle
{
  font-weight: bold;
  color: #a90008;
  text-decoration: underline;
}
.Code       { text-decoration: none; color: #FFFFFF; font-family: Courier New, Courier; font-size: 12pt }
.SubsectionTitle
{
  font-style: italic;
  font-weight: bold;
}

dt {
  float: left;
  clear: left;
}

.TableImage
{
  width: 50%;
  max-width: 550px;
}

.TableImage img
{
  width: 100%;
  max-width: 500px;
}

img
{
  max-width: 100%;
}