body {
  background-color: #e0e0e0;
  color: #030303;
  font-family: sans-serif;
  margin: 16pt;
}
p {
}
a {
  color: #606060;
}
h1 {
    font-size: 1.3em;
}
h2 {
    font-size: 1.1em;
}
h3 {
    font-size: 1.05em;
}

pre {
  font-size: 9pt;
}
em {
  font-family: monospace;
  font-weight: bold;
  font-style: normal;
  padding-left: 1px;
  padding-right: 1px;
}
img {
  border: 2px solid #909090;
}