body {
  font-size: small;
  font-family: "lucida sans" sans-serif;
/*  padding: 1em; */
  padding-left: 5em;
  padding-right: 5em;
}

* {
  line-height: 140%;
}

#content {
  float: left;
}

#links {
  position:fixed;
  top:0px;
  right:0px;
  padding:3em;
  width:15em;
  border-left-style:dotted;
  border-left-width:1px;
}

#content * {
  width: 40em;
}

h1 {
  font-size: 150%;
  font-style: normal;
  font-weight: normal;
  font-variant:small-caps;
  color: darkslategray;
  margin-top: 4em;
}

h2 {
  font-size: 130%;
  font-style: normal;
  font-weight: bold;
  color: #777;
}

h2.date {
  margin-top: 4em;
}

h3 {
  font-size: 130%;
  font-style: normal;
  font-weight: normal;
  margin-top: 1.5em;
  color: #777;
}


p, div {
  margin-top: .5em;
  margin-bottom: .5em;
}

a, a:link, a:visited, a:active, a:hover {
  color: darkslategray;
}

#content pre {
  margin: 1em;
  padding-left: 0.5em;
  border-left-style: solid;
  border-left-width: 1px;
  width: 100%;
  font-family: monospace;
}