body {
  background-color: #d0d0ff;
  color: #000000;
  font-family: Georgia, Times New Roman, Serif;
  font-size: 1.1em;
  line-height: 1.3em;
  margin: 0.75em;
}

br {
  display: block;
  content: "";
  border-bottom: 0.3em solid transparent;
}

@-moz-document url-prefix() {
  br {
    margin-bottom: 0.3em;
  }
}

pre {
  white-space: pre;
  font-family: Consolas, Courier New, monospace;
  line-height: 1.3em;
}

code {
  font-family: Consolas, Courier New, monospace;
  line-height: 1.3em;
}

tt {
  white-space: pre;
  font-family: Consolas, Courier New, monospace;
}

a:link {
  color: #0000a0;
  background-color: inherit;
}

a:visited {
  color: #004000;
  background-color: inherit;
}

a:hover {
  color: #006000;
  background-color: inherit;
}

blockquote {
    font-size: 0.85em;
}

hr {
  height: 1px;
  width: 100%;
  color: #000040;
  background-color: #000040;
  border: 0em;
  margin-top: 0.3em;
  margin-bottom: 0.3em;
}

ul.nomarker {
  list-style: none;
  margin-left: 0em;
  padding-left: 0em;
}

ul.nomarker li {
  margin-bottom: 0em;
  padding-bottom: 0em;
}

div.navbar p {
  color: #000040;
  background-color: inherit;
  font-size: 0.8em;
  text-align: center;
}

div.main {
  clear: both;
  float: bottom;
}

div.header p {
  color: #000040;
  background-color: inherit;
  font-size: 1.5em;
  font-weight: bold;
  text-align: center;
  line-height: 1.2;
}

div.section p.title {
  color: #000080;
  background-color: inherit;
  font-size: 1.25em;
  font-style: italic;
  font-weight: bold;
}

div.section p.subtitle {
  color: #000080;
  background-color: inherit;
  font-size: 1.15em;
  font-style: normal;
  font-weight: bold;
}

div.section p.center {
  text-align: center;
}

div.history {
  font-size: 0.75em;
}

table.normal {
  border: 1px;
  border-collapse: collapse;
  border-style: solid;
  border-color: black;
  border-spacing: 0em;
  empty-cells: show;
  font-size: 0.9em;
}

table.normal tr.top td {
  color: white;
  background-color: #000080;
  font-style: italic;
  font-weight: bold;
}

table.normal tr.divider td {
  color: black;
  background-color: #8080ff;
  font-style: italic;
  font-weight: bold;
}

table.normal td {
  color: black;
  background-color: #e0e0ff;
  border: 1px;
  border-style: solid;
  border-color: black;
  padding: 0.5em;
}

table.normal td ul.nomarker {
  list-style: none;
  margin-left: 0em;
  padding-left: 0em;
  margin-top: 0em;
  padding-top: 0.25em;
  margin-bottom: 0em;
  padding-bottom: 0.25em;
}

table.normal td.right-align {
  text-align: right
}