div {  overflow: hidden }
/* p {  overflow: hidden } */

body {background: #cccccc; color: black}
div.bottom { color: black}
a:link { color: rgb(0,0,196) }
a:visited { color: rgb(196,0,0) }
a:hover { color: rgb(0,196,0) }
a:active { color: rgb(0,128,256) }

div.pagebody { position: relative; }

div.sidebar { background: #99ccff; color: black; 
              position: absolute; left: 0; top: 0; bottom: 0;
              width: 15ex;
              padding: 1ex; }
div.sidebar li {color: black; list-style-type: disc}
div.sidebar a {color: rgb(0,0,196); text-decoration: none}
div.sidebar a:hover {color: #ccff33}
#currentpage {color: #006600}

div.maintext { padding-left: 18ex }

div.footer { font-size: 75%; font-style: italic; }

.pad4 { padding: 4px }
.pad8 { padding: 8px }

.red { color:#cc0000 }
.center { text-align: center }
.indentquote { width: 80%; margin-left: 10%; }
.bigbold {  font-size: 150%; font-weight: bold;  }
.bigbold a {  text-decoration: none }
.lineout { text-decoration: line-through }
.clear { clear: both }

span.subscript {  font-size: 60%; }

img.floatleft {  float: left; margin: 1em; }
img.floatright {  float: right; margin: 1em; }
div.thumbnail {  padding: 1em; border-width: medium; border-style: outset;
                text-align: center; margin: 1em; float: left; 
                height: 200px; }
img.thumbnail {  border: 0; margin-left: auto; margin-right: auto; 
                padding: 0 }