BODY {background-color: white; margin-left: 10%;}
UL {background-color: white; margin-left: 5%; margin-right: 5%;}
OL {background-color: white; margin-left: 5%; margin-right: 5%;}
P {
  margin-left: 10%; margin-right: 15%;}
P.warning { color: red;}
IMG.logo {
  width: 15em; right-margin: 0pt;
  float: right;}
DIV.section { margin-top: 5em; }
DIV.appendix { margin-top: 5em; }
P.title {
  font-size: 2em; font-family: helvetica,sans-serif; font-weight: bold;
  margin-left: 10pt; margin-right: 40%; margin-top: 2pt; }
P.gloss {
  font-family: times,serif; font-style: italic; font-size: 1em; 
  margin-left: 10pt; clear: right; text-align: left;}
DIV.section H1 {
  text-align: left; float: left; margin-left: 10pt; margin-top: 3em;
  font-family: helvetica; font-size: 2em; font-weight: bold;
  background-color: silver; clear: right;}
H2 {
  text-align: right; margin-left: 10pt; margin-top: 2em;
  font-family: helvetica, sans-serif; font-weight: bold;
  background-color: ivory;}
DL {margin-left: 3em; padding-top: 0.5em; font-size: smaller;}
DL.fcntable DT { font-family: monospace; white-space: pre;}
PRE.typescript {
  margin-left: 5%; margin-right: 5%;
  margin-top: 5pt; margin-bottom: 5pt;
  font-size: smaller;}
PRE.typescript + P { margin-top: 1pt; }
PRE.markup {
  font-family: courier;
  margin-left: 5%; margin-right: 5%;
  margin-top: 5pt; margin-bottom: 5pt;
  font-size: smaller;}
TT.symbol { font-weight: bold; white-space: pre; }
TT.expr { font-size: smaller; white-space: pre; }
TABLE.header {
 background-color: ivory; cell-spacing: 4em; width: 100%;}
TH.bigtitle { font-family: sans-serif; font-size: 24pt;}
TH.bigtitle .author {
  font-weight: normal; font-family: serif; font-size: 18pt;}
TH.title { 
  font-style: strong; font-family: sans-serif;
  font-size: 1.5em; width: 50%; text-align: left; }
TD.gloss { font-style: italic; width: 50%; }
TD.file { font-family: fixed; text-align: left; }
TD.ccode { font-family: fixed; font-size: small; text-align: left; }
TT.lcode { font-family: fixed; font-size: small; text-align: left; }
P.quickref { font-family: sans-serif; margin-left: 0pt; }
P.quickref A { font-size: smaller; white-space: pre; }
SPAN.quickref { font-family: sans-serif; font-size: small; }
SPAN.quickref A { font-family: sans-serif; font-size: small; white-space: pre; }
A.bibref { font-size: large; font-weight: bold; }
DT.fcn { font-family: fixed; }