/* The default styles */
a:link { color: #00c; text-decoration: none }
a:hover, a:active { background: #ff0; color: #c00 }
a:visited { color: #000 }
body { background: #9cc; color: #000; padding: 0; 
 text-align: left; font-size: medium
 font-family: Garamond, "Times New Roman", Times, serif }
blockquote { font-size: 70%;
 font-family: Verdana, Arial, Helvetica, sans-serif }
dl { padding: 2em; color: #066 }
em { font-weight: bold }
h1 { color: #c00; padding: 0; word-spacing: 0.5em; font-variant: small-caps;
 font-weight: bold; font-size: x-large; font-family: Georgia, Garamond, serif }
h2 { color: #690; margin: 1em 2%; letter-spacing: 0.25em; clear: both;
 font-weight: bold; font-variant: small-caps; font-size: large; 
 font-family: Palatino, Times, serif }
h3, h4, h5, h6 { color: #690; margin: 1em 3%; letter-spacing: 0.25em;
 word-spacing: 0.5em; font-variant: small-caps; font-size: 90%;
 font-weight: bold; font-family: Palatino, Times, serif }
img.left { float: left }
img.right { float: right }
p, ol, ul { margin: 1em 4em 0.1em 3em }
p.cite { font-size: small }

/* Special treatment */
em.foreign { font-weight: normal }
span.deadlink { text-decoration: line-through }
sup.tag { color: #c00; font-size: 50%; font-weight: bold }


/* The main text */
/* div.mainbody { background: #ed9; padding: 0; margin: 0 20%} */
div.mainbody { background: #ed9; padding: 0; border: 0; width: 75%; float: left }
div.mainbody h1 {background: #e0cc65 }
div.mainbody h2, div.mainbody h3, div.mainbody dt {background: #ff9 }
div.mainbody h2 a:visited, div.mainbody h3  a:visited {color: #690 }


/* The navigation bar */
/* div.navbar { padding: 0; margin: 0 80% 0 0; position: fixed;
 font-size: 75%; font-weight: bold} */
div.navbar { background: #e0cc65; border-bottom: medium solid blue;
 font-family: Geneva, Helvetica, sans-serif; }
div.navbar h1 { background: #9cc; color: #993e59; font-size: 125% }
div.navbar h2 { font-weight: bold; font-size: 100% }
div.navbar ul, div.navbar ol { margin: 0.1em; padding: 0 }
div.navbar li { display: inline; list-style-type: none; 
 padding-right: 0.5em; margin-right: 0.5em; border-right: thin solid blue }

/* Bottom matter */
/* div.extrainfo  { padding: 0; margin: 0 0 0 80%; position: fixed;
 background: #e0cc65; font-size: 75%} */
div.extrainfo  { padding: 0; border: 0; width: 25%; float: right; font-size: 75% }
div.extrainfo p { margin: 0.5em }
div.extrainfo h1, div.extrainfo h2 { background: #e0cc65; 
 color: #993e59; margin: 0.5em; font-size: 125% }
div.extrainfo ul, div.extrainfo ol { padding: 0; margin: 0.1em;
 list-style: decimal inside }
div.extrainfo ol ol {margin: 0 0.1em; padding: 0}
div.extrainfo ol ol li {display: inline; list-style-type: none;
 padding-right: 0.1em; margin-right: 0.1em; border-right: thin dotted blue }