/* Copyright 2004, Mark Luckstead */

a {
  background-color: transparent;
  color: #0000FF;
  font-size: medium;
  font-weight: bold;
}
a:visited {
  background-color: transparent;
  color: #9900FF;
}
a:active {
  background-color: transparent;
  color: #009900;
}
a:hover  {
  background-color: transparent;
  color: #FF0000;
}
body {
  background: #FFFFFF;
  color: #000000;
  font-family: "Georgia", "Bookman Old Style", serif;
}
div {
  display: block;
  margin-top: 1em;
  margin-bottom: 1em;
}
h1 {
  background-color: transparent;
  font-size: xx-large;
  font-weight: bold;
  text-align: center;
}
h2 {
  background-color: transparent;
  font-size: x-large;
  font-weight: bold;
  text-align: center;
}
h3 {
  background-color: transparent;
  font-size: x-large;
  font-weight: normal;
  text-align: center;
}
h4 {
  background-color: transparent;
  font-size: large;
  font-weight: normal;
  text-align: center;
}
hr.title {
  text-align: center;
  line-height: 1em;
  width: 16%
}
p {
  background-color: transparent;
  font-weight: normal;
  margin-bottom: 0;
  margin-top: 0;
  text-align: left;
  text-indent: 2em;
}
p.biblio {
  margin-bottom: 1em;
  margin-top: 1em;
}
p.body {
  font-size: medium;
}
p.entry {
  margin-left: 2em;
  margin-right: 0;
  text-indent: -2em;
}
p.vs {
  margin-bottom: 0;
  margin-top: 0;
  margin-left: 2em;
  text-indent: -2em;
}
pre {
  font-family: monospace;
}
span.indent {
  margin-left: 2em;
}
span.indent4 {
  text-indent: 8em;
}
span.smcap {
  font-size: 83%;
  font-weight: normal;
}
table {
  width: 100%;
}
th {
  font-size: larger;
  line-height: 3;
  text-align: left;
  text-indent: 2em;
}