body {
  padding-left: 3em;
  padding-right: 3em;
  color: #000000;
  line-height: 135%;
  background-color: #FFFFFF }

dt {
  padding-top: 5px;
  letter-spacing: 1px;
  font-weight: bold;
  font-family: sans-serif }

dd {
  padding-top: 10px;
  padding-bottom: 15px;
  line-height: 130%;
  padding-right: 3em }

.updated {
  font-size: xx-small }

h1, h2, h3, h4, h5, h6 {
  letter-spacing: 2px;
  line-height: 150%;
  font-family: sans-serif;
  color: #444444  }

strong {
  font-variant: small-caps;
  font-weight: bold;
  letter-spacing: 2px }

p.examples {
  text-align: center;
  font-weight: bold;
  font-variant: small-caps;
  letter-spacing: 2px }

p.glossary {
  text-align: center;
  font-size: small;
  font-weight: bold }

li {
  padding-top: 7 }

a:link, a:visited, a:active {
  font-weight: bold;
  font-variant: small-caps;
  color: #770000 }

div.headnote {
  padding-left: 2em;
  padding-right: 2em;
  font-family: sans-serif }

.wide {
  font-family: sans-serif;  
  line-height: 1.8;
  padding-left: 3em;
  padding-right: 3em }

div.examples {
  padding-left: 2em;
  padding-right: 2em;
  font-family: sans-serif;
  background-color: #FFEECC;
  border: 2px #770000 dotted;
  margin: 2em 2em 2em 2em;
  text-indent: -1em }