BODY {
    margin: 3em;
    color: black;
    background: white;
    font-family: sans-serif;
  }

  TABLE {
    font-family: sans-serif;
  }

  P {
    text-align: justify;
  }

  H1 {
    font-size: 140%;
    font-weight: bold;
  }

  H2 {
    font-size: 120%;
    font-weight: bold;
  }

  H3, H4 {
    font-size: 100%;
    font-weight: bold;
  }

  H4 {
    font-style: italic;
  }

  ADDRESS {
    font: 100%/100% monospace;
  }

  PRE {
    font-family: monospace;
  }

DIV.abstract {
  margin-left: 2em;
  margin-right: 2em;
  font-style: italic;
}