body {
  margin: 0;
  body: 0;
  font-family: verdana, arial, sans-serif;
  font-size: large;
}
table {
  font-size: large;
}
h2 {
  color: darkblue;
  width: 100%;
  margin: 1em;
  border: solid darkblue;
  border-width: 0 0 2px 0;
}
h3 {
  color: #1A4C8F;
  font-size: 26px;
  margin: 1em 0 1em 5%;
}
#nav li {
  list-style: none;
  font-size: 12px;
  float: left;
  width: 10em;
  border: 1px solid darkblue;
  margin: 0 0 0 -1px;
  padding: 0 0.25em;
}
#nav a {
  text-decoration: none;
  width: 10em;
  font-size: large;
}
#content {
  clear: both;
  padding: 0 1em;
  margin: 5% 10% 0 10%;
}
table.tooltip {
    border: none;
    font-size: large;
    font-family: verdana, arial, sans-serif;
}
.tooltip th, .tooltip td { border: 1px solid #666; }

p.basic {
    margin: 0 0 1em 5%;
    width: 80%;
}
div#help_box {
    position: absolute;
    left: 6px;
    top: 197px;
    border: 1px solid #000;
    background: #CCC;
    font-size: large;
    height: 10em;
    width: 222px;
}
.border {
    border: 1px solid #1A4C8F;
    margin: 0 0 0 5%;
    width: 80%;
}
.border td {
    border: 1px solid #1A4C8F;
}
.border th {
  color: #1A4C8F;
    border: 1px solid #1A4C8F;
}

#code {
  white-space: pre;
  margin: 1em 4em;
  padding: 2em 1em;
  border: 1px solid #1A4C8F;
}
.code {
  white-space: pre;
  margin: 1em 4em;
  padding: 2em 1em;
  border: 1px solid #1A4C8F;
}
.emph {
  display: inline;
  font-weight: bold;
}
div#links {
  font-size: 12px;
  position: absolute;
  right: 2em;
  top: 2em;
}
#trail {
  position: absolute;
  top: 0;
  left: 0;
  margin: 0;
  padding: 4px;
  font-family: arial, helvetica, sans-serif;
  font-size: 12px;
  color: #000;
}
#trail a {
  color: #396;
}