/* the default class */
div.mainbody h2 { clear: both }
div.mainbody h3 { clear: both }
div.mainbody h4 { clear: both }
div.mainbody p:first-letter { font-size: xx-large; font-weight: bold;
      background: #fd9; vertical-align: text-top; float: left; color: #990 }
div.mainbody p.thm { margin-left: 10%; margin-right: 10% }
div.mainbody p.thm:first-letter { font-size: normal; font-weight: normal;
      background: #990; color: #fd9 }
div.mainbody dt { color: #055; font-size: normal; font-family: sans-serif;
      font-weight: bold; margin-left: 1em; margin-top: 1em; font-variant: small-caps }
div.mainbody dd { margin-left: 3em; margin-right: 3em }

/* the page navigation */
span.pagenav { background: #99a; margin: 0; 
       font-variant: small-caps;  font-weight: bold; font-size: 10pt }

/* the basic picture box */
div.picture { width: 35%; float: left; padding: 0.25em }
div.altpic { width: 35%; float: right; padding: 0.25em }
div.smlpicl { width: 20%; float: left; padding: 0.25em }
div.smlpicr { width: 20%; float: right; padding: 0.25em }
div.bigpicl { width: 55%; float: left; padding: 0.25em }
div.bigpicr { width: 55%; float: right; padding: 0.25em }

/* small tables */
div.smltabl { width: 35%; float: left; padding: 0.25em }