body {
  font-size: 12px;
  font-family: sans-serif;
  margin: 10px;
  background-color: #BBF;
}

pre { 
  padding-left: 4px;
}

p {
  text-align: left;
  line-height: 130%;
}

h1 {
   font-size: 14px;
   font-style: italic;
}

h2 {
   font-size: 12px;
}

h3 {
   font-size: 11px;
}

h4 {
   font-size: 10px;
}

ul {
   padding-left: 6px;
}

li {
  font-family: sans-serif;
  font-size: 8pt;
}

div#banner {
  top: 0px;
  text-align: center;
}

div#nav {
  float: left;
  width: 180px;
  margin-top: 6px;
}

div#content {
  background-color: #FAF5E0;
  padding-top: 12px;
  margin-top: 0px;
  margin-left: 185px;
  border: 1px solid black;
}

div.box {
  margin: 6px;
}

div.box-body {
  padding: 1px 2px 6px 0px;
  margin: 0px;
}

div.box-head {
  padding: 2px 6px 2px 6px;
}

div.nav-button {
  margin: 6px;
  padding: 0px;
}

div.nav-button > div.box-head {
  padding: 1px;
  margin: 1px;
}

div.nav-button > div.box-body {
  padding: 2px;
}

ul {
  margin-left: 12px;
}

ul.buttons {
  margin: 2px 0px 0px 0px;
  list-style-type: none;
}

a.button, a.button > img {
  border: none;
}

div.box {
  border: 1px solid;
}

div.box-body {
  background: #CCF;
}

div.box-head {
  background: #AAA;
}

div.entry {
  margin: 2px 2px 12px 2px;
  padding: 2px;
  border: 1px dashed black;
  background-color: white;
}

div.entry-head {
  padding: 2px;
}

div.entry-contents {
}

div#banner {
  top: 0px;
  text-align: right;
}

h1, h2, h3, h4 {
   padding: 0px;
   margin: 0px;
}

div.sidebar ul {
  padding-left: 6px;
}

pre.codewindow-unrestricted,
pre.codewindow {
  overflow: auto;
  border: 1px solid black;
  background-color: #EEE;
}

pre.codewindow {
  height: 180px;
}

span.footnote {
  font-size: 10px;
  font-style: italic;
}

span.footnote:before {
  content: "(";
}

span.footnote:after {
  content: ")";
}