body {
  margin: 3em;
  font-family: Verdana;
  background-color: white;
  color: #333333; }
  body .logo {
    margin: 0.5em;
    background-color: white;
    font-size: xx-large;
    text-align: right; }
    body .logo em {
      font-family: serif;
      font-style: italic; }
    body .logo code {
      font-family: monospace;
      font-weight: bold; }
  body .index {
    margin: 0;
    padding: 0;
    background-color: white; }
    body .index ul {
      margin: 0;
      padding: 0;
      white-space: nowrap;
      list-style-type: none; }
      body .index ul li {
        display: inline;
        border: 1px solid white;
        border-bottom: 2px  solid white;
        background-color: grey;
        padding-left: 0.5em;
        padding-right: 0.5em; }
        body .index ul li a {
          text-decoration: none;
          color: #b9dcff; }
          body .index ul li a:hover {
            color: yellow; }
      body .index ul li.selected {
        background-color: #b9dcff;
        border-bottom-color: #b9dcff; }
        body .index ul li.selected a {
          text-decoration: none;
          color: #333333; }
          body .index ul li.selected a:hover {
            color: yellow; }
  body .content {
    background-color: #b9dcff;
    padding: 1.5em;
    padding-top: 2.5em;
    border: 1px solid white; }
    body .content dt {
      padding-right: 0.5em;
      float: left;
      clear: left; }
  body .footer {
    background-color: white; }