html,body {
  background: #A98;
  color: black;
  margin-top: 0;
  margin-left: 0;
  margin-right: 0;
  margin-bottom: 0;
  font-family: book antiqua,serif;
}

h1,h2,h3,h4,h5,h6 {
  font-family: helvetica,sans-serif;
}

hr {
  height: 3px;
  margin-right: 4px;
  margin-left: 4px;
  border: 1px solid;
  border-color: #543 #BA9 #BA9 #543;
  color: #DCB;
  background-color: #A98;
}

div.whitem hr {
  height: 2px;
  border: 1px solid;
  border-color: #888 #DDD #DDD #888;
  color: #CCC;
  background-color: #CCC;
}

a {
  text-decoration: none;
  color: #13A;
  white-space: nowrap;
}

a:visited {
  text-decoration: none;
  color: #911;
}

a:hover {
  text-decoration: underline;
  color: #321;
}

a:active {
  text-decoration: underline;
  color: #F13;
}


a.mail {
  font-family: courier,monospace;
  background: #EDC;
  cursor: crosshair;
  padding: 4px 4px 4px 4px;
  border-bottom: 3px solid #987;
  border-right: 2px solid #876;
  /* CSS3 properties */
  -moz-border-radius: 4px;
  -webkit-border-radius: 4px;
  border-radius: 4px;
}

.pagehead {
  margin-top: 0;
  margin-left: 0;
  margin-right: 0;
  margin-bottom: 0;
  padding-left: 8px;  
  padding-right: 8px;
  padding-top: 8px;
  padding-bottom: 8px;
  text-align: center;
  color: #321;
  background: #BA9;
}

div.navline {
  display: block;
  background: #CBA;
  color: black;
  margin-top: 0;
  margin-left: 0;
  margin-right: 0;
  margin-bottom: 0;
  padding-left: 8px;  
  padding-right: 4px;
  padding-top: 2px;
  padding-bottom: 2px;
  text-align: left;
}

div.navbox {
  position: absolute;
  /* position: fixed; */
  top: 8px;
  right: 4px;
  font-size: small;
  background: #EDC;
  color: #000;
  padding-top: 4px;
  padding-left: 4px;  
  padding-bottom: 4px;
  padding-right: 4px;
  border-top: 2px solid #321;
  border-left: 2px solid #321;
  border-bottom: 2px solid #FED;
  border-right: 2px solid #FED;
  /* CSS3 properties */
  -moz-border-radius: 8px;
  -webkit-border-radius: 8px;
  border-radius: 8px;
  opacity: 0.75;
}

ul.navtree {
  margin-top: 0px;
  margin-left: 0px;
  margin-bottom: 0px;
  margin-right: 0px;
  padding-left: 1em;
  list-style-image: url('/bullet.png');
}

li.navtree {
  white-space: nowrap;
  font-weight: normal;
  font-style: normal;
}

li.current {
  font-weight: bold;
  font-style: normal;
}

.final {
  font-weight: bold;
  font-style: italic;
}

div.content {
  background-color: #FED;
  color: black;
  border-top: 1px solid black;
  border-bottom: 1px solid white;
  margin-top: 0px;
  margin-left: 0px;
  margin-bottom: 0px;
  margin-right: 0px;
  padding-top: 0px;
  padding-left: 0px;  
  padding-bottom: 0px;
  padding-right: 0px;
}

.nobull {
  list-style: none;
}

.ltop {
  font-weight: bold;
}

li.ltop ul {
  font-weight: normal;
  list-style-image: url('bullet.png');
  margin-bottom: 4px;
}

li.ltop {
  padding-top: 12px;
}

li.ltop:first-child {
  padding-top: 0px;
}

li.ltop ul li {
  padding-top: 0px;
}

li.ltop ul li:first-child {
  padding-top: 4px;
}

.fractal {
  font-variant: small-caps;
}

p {
  margin-left: 12px;
  margin-right: 12px;
  margin-top: 8px;
  margin-bottom: 8px;
}

p.label {
  font-weight: bold;
  padding-top: 1em;
  margin-left: 12px;
  margin-right: 12px;
  padding-left: 12px;
  padding-right: 12px;
}

h2 {
  background-color: #DCB;
  color: #210;
  font-size: larger;
  font-weight: bold;
  margin-left: 0px;
  margin-right: 0px;
  margin-top: 0px;
  margin-bottom: 0px;
  padding-left: 8px;  
  padding-right: 8px;
  padding-top: 4px;
  padding-bottom: 4px;
}

h3 {
  background-color: #EDC;
  color: black;
  font-size: small;
  font-family: courier,monospace;
  padding-left: 24px;
  margin-top: 0px;
  margin-bottom: 0px;
  margin-left: 24px;
  margin-right: 24px;
  /* CSS3 properties */
  -moz-border-radius: 6px;
  -webkit-border-radius: 6px;
  border-radius: 6px;
}

.whitem {
  background-color: #FFF;
  color: #000;
  margin-left: 12px;
  margin-right: 12px;
  margin-top: 8px;
  margin-bottom: 8px;
  padding-left: 12px;  
  padding-right: 12px;
  padding-top: 12px;
  padding-bottom: 12px;
}

.nb {
  border: none;
}

.fine {
  vertical-align: top;
  font-size: smaller;
}

.rfloat {
  float: right;
  padding-left: 8px;
}

.lfloat {
  float: left;
  padding-right: 8px;
}

.right {
  text-align: right;
}

.center {
  text-align: center;
}