/* Page section */
body {
  font-family: "Times New Roman", Times, serif;
}

h1 {
  margin: 0;
  color: #d88079;
  font-family: Arial, Helverica, sans-serif;
  font-size: 2em;
}

h2 {
  margin: 0;
  color: #595959;
  font-family: Arial, Helverica, sans-serif;
  font-size: 1.1em;
}

tr {
  vertical-align: top;
}

a:link    { /* unvisited links */
  color: #2e2e2e;
}

a:visited { /* visited links */
  color: #b8b8b8;
}

a:hover   { /* user hovers */
  color: #d88079;
}

a:active  { /* active links */
  font-style: italic;
}

h2, p {
  margin-top: 0.1em;
  margin-bottom: 0.1em;
}

pre {
  margin: 0em;
}

.mono {
  font-family: "Courier New", Courier, monospace;
  font-size: 0.9em;
  white-space: pre;
}