body {
  font-family: sans-serif;
  margin-left: 2em;
  margin-right: 2em;
  margin-top: 2em;
  font-size: 0.9em;
}
h1 {
  font-size: 14pt;
}
h2 {
  font-size: 13pt;
}
td.format {
  padding-right: 0.6em;
}
span.kb {
  color: #404040;
  margin-left: 0.1em;
  margin-right: 0.6em;
  font-size: 0.9em;
}
a {
  color: #000066;
}
a:hover {
  color: #000099;
  background-color: #d0d0d0;
}
a:active {
  background-color: #f0f0f0;
}
a:visited {
  color: #000099;
}
#main {
  margin-top: 1em;
}