body { background: white }
h1 { text-align: center }
h2 {
  font-size: medium;
  font-weight: bold;
  margin: 1em 0em 0em 0em;
  padding: 0.2em 0.5em;
  border-width: thin;
  border-color: white;
  background-color: #FF9;
}
h3 { background-color: #9F9; margin-right: 25%}
h4 { background-color: #F99; margin-right: 50%}
pre { color: maroon; margin-left: 2em }
tt { color: maroon }
strong { color: red }
em { font-style: normal; color: blue }
small { color: green }
a:hover { color: red }
a[name]:hover { color: black }