BODY {
   font-family: Georgia, serif;
   margin-left: .35in;
   color: #600;
   background-color: #CCC8C8;
   }

H1 {
   font-family: Verdana, Tahoma, "Arial Bold", serif;
   text-align:center; text-decoration: underline;
   }

H2 { 
   font-family: Verdana, Tahoma, "Arial Bold", serif;
   margin-left:-0.25in
   }

H3 { 
   font-family: Verdana, Tahoma, "Arial Bold", serif;
   }

H4 {
   font-family: "Lucida Sans", serif;
   text-decoration: underline;
   }

.bit { font-family: monospace;
  color: green
  }
.definition {
  color: red
  }
.rational {
  font-style: italic;
  font-size: smaller;
  }
.note {
  font-style: italic;
  font-size: smaller;
  color: blue
  }
.mono {
   font-family: monospace;
  }
.footnoter {
	vertical-align: super;
	font-size: smaller
	}
.hover {
	border-bottom: thin dashed blue;
	}
.superscript {
	font-size: 50%;
	vertical-align: super;
	}
.subscript {
	font-size: 50%;
	vertical-align: sub;
	}
.strike {
	text-decoration: line-through;
	}
.revision {
	text-align: right;
	font-family: sans-serif;
	font-size: xx-small;
	}
.bigintro {
	font-size: 175%;
	}