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;
}