body {
  margin: 0;
  font-family: Arial,sans-serif;
  font-size: 12pt;
  line-height: 1.5em;
  color: #000;
}

body {
  margin: 0 auto;
  width: 600px;
  font-size: 96%;
}

h1 {
  font-size: 280%;
  margin: 0;
  padding: 0.5em 0 0.2em 0;
}

h2 {
  font-size: 120%;
  margin: 0;
  padding: 0 0 0.4em 0;
}

h3 {
  font-size: 180%;
  margin: 0;
  padding: 1em 0 0.5em 0;
}

h4 {
  margin: 0;
  padding: 10px 0;
}

ul {
  list-style-type: none;
  padding: 0;
  margin: 0.8em 0 0 0;
}

ul li span.title {
  font-weight: bold;
}

p {
  margin: 0;
  padding: 0.5em 0;
}

#notice {
  display: none;
}

/* print URLs after link text */
p a:link:after, p a:visited:after {
  content: " (" attr(href) ") ";
}