body {
  width:80%;
  position:absolute;
  right:10%;
  line-height:150%;
}

#header {
  border-bottom:1px dashed #d50000;
}

#header img {
  padding:2em;
  display:block;
  margin:auto;
}

h2 {
  border:none;
  margin:0.5em;
}

h3 {
  border:none;
  font-size:120%;
}

.section {
  margin:0;
}

a.reference, #navigators a {
  color:#d50000;
  }

a.reference:visited {
  color:#800;
  }

a.reference:hover, #navigators a:hover {
  text-decoration:underline;
  }

#navigators {
  padding-right:1%;
  padding-top:1.5em;
  padding-bottom:1em;
  width:21%;
  border-right:1px dashed #d50000;
}

#notnavmenu {
  padding-left:1%;
  padding-top:1.5em;
  width:76%;
}

#navigators ul li {
  margin:1em;
  text-align:right;
}