body {
  font-family: Helvetica, Arial, Sans-Serif;
  background-color: #ffffff;
  color: #111111;
  margin-left: 200px;
  width: 80ex;
}

/* hack to visually align utool.png with left margin */
div.imagebar {
  margin-left: -15px;
  margin-bottom: 10px;
}

div.navigation {
  position: absolute;
  left: 10px;
  width: 180px;
  font-size: smaller;
  line-height: 150%;
  color: #666666;
}

div.navigation-section {
  margin-left: 10px;
  margin-bottom: 1ex;
}

span.navigation-item {
}
  
span.navigation-header {
  font-weight: bold;
}

div.main {
  line-height: 125%;
}

div.footer {
  margin-top: 20px;
  font-size: smaller;
  color: #666666;
}

/* hack to visually align navigation bar and heading */
h1 {
  margin-top: -5px;
}

h1, h2, h3 {
  line-height: 125%;
}

span.highlight {
  color: #cc0000;
}