body { background: white }
.right { float: right }
.left { float: left }
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: #99F;
}
pre { color: maroon; margin-left: 2em }
tt { color: maroon }
em { font-style: normal; color: #F30 }
a:hover { color: red }
a[name]:hover { color: black }