h1 {
  font-size:2.0em;
  padding: 1px 0px 2px 1px;
  border-top:1px solid green;
  border-bottom:none;
  background-color:#C6FFC6;
  color:#000;
}

h2 {
font-size:120%;
 padding-top:0px;
  border-top:1px solid green;
 margin-top:0px;
}

h3 { font-size: 110%; text-decoration:underline  }
h4 { font-size: 100%; }
h5 { font-size: 83%; }

ul.spaced li {
  margin-bottom:12px;
}

ul.history-index {
  margin-left:0px;
}

div.right-highlight-box {
  float:right;
  border:1px solid #006633;
  
  padding:10px;
  margin-left:10px;
}


div.nav ul {
  margin:0px;
  padding:0px;
  list-style-type: none;
}
li.header {
  font-weight:bold;
}
li.header li {
  font-weight:normal;
}

div.nav ul li { padding-bottom:12px;}
div.nav ul.child li {
  padding-left:10px;
  padding-top:0px;
  padding-bottom:0px;
}

.sidebox {
  margin:4px 0px 14px 0px;
  padding:3px;
  border:1px solid #006633;
}
.sidebox h3 {
  font-size:100%;
  border:none;
  margin:0px;
  padding:0px;
}
  .sidebox p {
    padding:0px 0px 0px 10px;
    margin:0px;
  }

.side-search {
  border:1px solid #999;
  background-color: #efefef;
  text-align:center;
  font-size:70%;
  padding:3px;
  margin-bottom:10px;
}

.side-search form {
  display:inline;
}
.side-search p {
  padding:0px;
  margin:0px;
  display:inline;
}