html {
  background-color: white;
}

body {
  margin-top: 2em;
  margin-bottom: 2em;
  margin-left: 2em;
  margin-right: 2em;

  /* 20 px */
  line-height: 153.9%;
}

#doc3 {
  margin: auto;
}

h1 {
  margin-bottom: 1em;

  /* 16 px */
  font-size: 123.1%;
  font-weight: bold;
}

h1 img {
  vertical-align: middle;
  position: relative;
  z-index: 1;
}

#trail {
  position: relative;
  left: -10px;
  z-index: 2;
}

h2 {
  margin-top: 1em;
  margin-bottom: 1em;

  /* 15 px */
  font-size: 116%;
  font-weight: bold;
}

h3 {
  margin-top: 1em;
  margin-bottom: 1em;

  /* 14 px */
  font-size: 108%;
  font-weight: bold;
}

p {
  margin-top: 1em;
  margin-bottom: 1em;
}

ul, menu, dir {
  display: block;
  list-style-type: disc;
  margin: 1em 0;
  padding-left: 40px;
}

ol {
  display: block;
  list-style-type: decimal;
  margin: 1em 0;
  padding-left: 40px;
}

li {
  display: list-item;
  list-style-type: inherit;
  list-style-position: outside;
}

/* IE needs this */
ul li {
  list-style-type: disc;
}

ol li {
  list-style-type: decimal;
}

dd {
  margin-left: 2em;
}

table {
  border: 1px solid #ccc;
  border-collapse: collapse;
  margin-left: 1em;
  margin-right: 1em;
}

th {
  border: 1px solid #ccc;
  padding: 3px;
  background-color: #e5e5e5;
  text-align: left;
}

td {
  border: 1px solid #ccc;
  padding: 3px;
}

pre {
  background-color: #e5e5e5;
  margin-top: 1em;
  margin-bottom: 1em;
  border:  1px solid #ccc;
  padding: 1em;
  overflow: auto;

  /* 13/16 px */
  font-size: 100%;
  line-height: 123.1%;
}

pre.sh_sourceCode {
  background-color: #e5e5e5;
}

address {
  margin-top: 1em;
  border-top: 1px solid #ccc;
  padding-top: 1em;

  /* 12 px */
  font-size: 93%;
}

img.icon {
  vertical-align: middle;
}

code {
  color: #005;
}

strong {
  font-weight: bold;
}

em {
  font-style: italic;
}

span.menuitem {
  border-top: 1px solid white;
  border-left: 1px solid white;
  border-bottom: 1px solid #808080;
  border-right: 1px solid #808080;
  background-color: #d4d0c8;
  white-space: nowrap;
  padding-left: 1px;
  padding-right: 1px;
}