body { font-family: Verdana, Arial, sans-serif; font-size: smaller;
  color: black; background: #f4f2f7; }

div.maketitle { text-align: center; margin-bottom: 3em; }
div.maketitle div.title { font-size: 150%; font-weight: bold; margin-bottom: 1em; }
div.maketitle div.author { font-size: 110%; margin-bottom: 1.3em; }
div.maketitle div.date { font-size: 110%; }

h3 { margin-top: 2em; }
h4 { margin-top: 2em; }

li { margin-bottom: 1em; }
li.toc { margin-bottom: 0em; }

pre { font-family: Monaco, Courier, monospace; font-size: 100%; margin-left: 2em; }
.verb { font-family: Monaco, Courier, monospace; }

table { font-size: 100%; margin-left: 2em; }
tr { vertical-align: baseline; }
td { padding: 0; }

a.internal:link { color: #336666 ; }
a.internal:active { color: #669999 ; }
a.internal:visited { color: #003333 ; }

a.external:link { color: #996666 ; }
a.external:active { color: #cc9999 ; }
a.external:visited { color: #663333 ; }

span.TeX { letter-spacing: -0.1667em; }
span.TeX span.E { letter-spacing: -0.125em; position: relative; top: 0.5ex; }
span.TeX span.X { letter-spacing: 0; }
span.LaTeX { letter-spacing: -0.36em; }
span.LaTeX span.A { letter-spacing: -0.15em; position: relative; bottom: 0.5ex; font-size: 70%; }
span.OzTeX { letter-spacing: -0.03em; }
span.OzTeX span.z { letter-spacing: -0.15em; }