body { background: white; }

h1, h2, h3, h4 { color: black }

h1 {
  font-size: 145%;
  margin-top: .5em;
  margin-bottom: 0
  text-align: left;
  font-weight: bold;
  font-style: italic;
  border-bottom: thin solid;
  padding: 0 0 0.2em 0;
}

h2 {
  font-size: 130%;
  font-weight: bold;
  margin-top: 1em;
  margin-bottom: .25em;
  padding: 0 0 0 0;
}

h3,h4 {
  font-weight: bold;
  margin-top: 1em;
  margin-bottom: .25em;
  padding: 0 0 0 0;
}

h3 { font-size: 115% }

h4 { font-size: 100% }

a:link, a:visited, a:active { color: #900000 }
a:hover { background-color: #900000; color: white }

a.plain:link, a.plain:visited, a.plain:active, a.plain:hover {
  text-decoration: none
}

ul a:link, ul a:visited, ul a:active, ul a:hover {
  text-decoration: none
}

ol a:link, ol a:visited, ol a:active, ol a:hover {
  text-decoration: none
}

tt a:link, tt a:visited, tt a:active, tt a:hover {
  text-decoration: none
}


pre {
  text-align: left      /* Safari 1.0b doesn't do this by default */
}

/* miscellany */

ul, ol {
  margin: .5em 0 .25em 2.5em;
  padding-left: 0
}

ul ul { margin-top: 0 }

li {
  padding-left: 0;
  margin-left: 0;
  margin-top: .25em
}

ol {
  list-style-type: decimal;
  margin-bottom: 0;
  margin-top: .5em
}

ol ol {
  list-style-type: lower-alpha;
  margin-top: 0
}

ol ol ol {
  list-style-type: lower-roman;
  margin-top: 0
}

div.indent {
  padding-left: 1em
}