body { 
  font-family: "bitstream vera sans", verdana, sans-serif;
  color: silver;
  background: black;
  margin: 0;
  font-size: 0.9em;
}

a:link {
  color: white;
}

a:hover {
  color: yellow;
}

a:visited {
  color: silver;
}

div.menu {
  float: right;
  padding-top: 1em;
  padding-right: 1em;
  margin-left: 2em;
  font-size: small;
}

div.menu ul {
  list-style: none;
  padding-left: 0;
}

h1, #title { 
  margin-top: 0;
  padding-left: 0.4em;
  padding-top: 0.4em;
  padding-bottom: 0.2em;
  font-size: 1.5em;
}

h2 {
font-size: 1.2em;
margin-left: 1.0em;
}

h3 {
font-size: 1.0em;
margin-left: 1.0em;
}

p {
  margin-top: 1.2em;
  margin-left: 1.2em;
  margin-right: 1.2em;
}