body {
  font-family: Verdana, "Minion Web", Arial, Helvetica, sans-serif;
  font-size: 1.0em;
  text-align: justify;
  color: #000000;
  background-color: #ffffff;
}

img {
  border: none;
}

ul {
  margin-top: 0em;
  margin-bottom: 0em;
  margin-left: 1.25em;
  padding-left: 0em;
  padding-top: 0em;
  padding-bottom: 0em;
}

.note {
  font-size: 0.8em;
  margin: -1.0em 0em -1.25em 0em;
  text-align: center;
}

.old {
  color: #707070;
  font-size: 0.8em
}

.hide {
  visibility: hidden;
}

table {
  margin: 0em 0em 0em 0em;
  padding: 0em;
}

table.simple th {
  margin: 0em 0em 0em 0.25em;
  padding: 0em;
  vertical-align: top;
  text-align: left;
}

table.simple td {
  margin: 0em;
  padding: 0em;
  vertical-align: top;
  font-style: italic;
}

h1 {
  font-size: 1.3em;
  font-weight: bold;
  text-align: center;
  color: black;
  padding: 0.25em;
  border: thin solid black;
  background-color: #B04040;
}

.section {
  margin: 1.0em 0em 0em 0em;
  padding: 0em 0em 0em 0em;
  border: none;
}

.section h2 {
  font-size: 1.15em;
  font-weight: bold;
  text-align: left;
  border: thin solid black;
  padding: 0.15em 0.15em 0.15em 0.25em;
  margin: 0em 0em 0.25em 0em;
  background-color: #E08030;
}

.subsection {
  margin: 0.5em 0.25em 0.25em 0.25em;
  padding: 0em 0.5em 0em 0.5em;
  border: thin solid black;
}

.section div {
}

.subsection h3 {
  font-size: 1.0em;
  font-weight: bold;
  text-align: left;
  padding: 0.25em 0.25em 0.25em 0.5em;
  margin: 0em -0.5em 0em -0.5em;
  border-bottom: thin solid black;
  background-color: #E0E030;
}

.subsection h3 .loc {
  font-weight: normal;
  font-style: italic;
}

.subsection .body {
  margin-bottom: 0.5em;
}

.ref {
  margin-top: 0.5em;
  font-weight: bold;
}

.footer {
  margin: 1.0em 1.5em 0em 0em;
  font-size: 0.6em;
  text-align: right;
  font-style: italic;
}

A:link    { color: #A01010 }
A:visited { color: #A01010 }
A:active  { color: white; background-color: #A01010 }
A:hover   { color: white; background-color: #A01010 }
h3 A:active  { color: #B0B020; background-color: #A01010 }
h3 A:hover   { color: #B0B020; background-color: #A01010 }