img.tex {
  vertical-align: middle;
}

.defn {
  margin: 1em 5em;
  padding: 0.2em;
  background-color: #e0e0e0;
  border: 1pt solid #505050;
}

div.math {
  margin: 0em 5em;
}

.example {
  margin: 1em 5em;
  padding: 0.2em;
  background-color: #ffffe0;
  border: 1pt solid #505050;
}

div.typeset {
  margin: 0em 5em;
}

h2 {
  margin: 1em 0 0 0;
  font: bold 1.3em Helvetica,sans-serif;
}

h1 {
  margin: 1em 0 1em 0;
  font: bold 2.0em Helvetica,sans-serif;
}

h1 {
  display: inline;
}
.byline {
  font-size: 0.8em;
  display: inline;
  margin-left: 4em;
}

p {
  margin: 0 0 0.6em 0;
}

a.uplink {
  font-size: 0.7em;
}