* {
  font-family: sans-serif;
}

pre {
  font-family: monospace;
}

h1 {
  font-size: 190%;
  font-weight: normal;
  border-bottom: 3px #777 solid;
  line-height: 1.2;
  margin-bottom: 1.5em;
}

h2 {
  font-size: 150%;
}

h3 {
  font-size: 120%;
  margin-top: 1.5em;
}

h4 {
  font-size: 110%;
}

a img {
  border: none;
}

table {
  font-size: 95%;
  border-collapse: collapse;
  border: solid gray 1px;
  margin-bottom: 1em;
}

th, td {
  border: solid #bbb 1px;
  padding: 0.2em 0.4em 0;
}

th {
  background-color: #e9e9e9;
  font-weight: normal;
}

td.num {
  text-align: right;
}

.note {
  font-size: 75%;
}

.mono {
  font-family: monospace;
  font-size: 87%;
}

ul, ol {
  margin: 1em 0 1em 40px;
  padding: 0;
}

li {
  line-height: 1.3em;
  margin: 0.3em auto;
}

hr {
  border: none;
  border-top: solid #777 1px;
  height: 0;
}

em {
  font-weight: normal;
  font-style: normal;
  border: none;
  background-color: #e9e9e9;
}

small {
  font-size: 80%;
}