body {
  font-family: georgia, arial, sans-serif;
  background-color: MintCream; /*honeydew; #e8e8ff; #e9ffe9; */
/*  color: DarkSlateGray; */
/*#404040;*/
}

tt {
  font-family: monospace, courier;
/*  font-size: 120%; */
}

/* div.contents, td, th, ul, p { } */

table { border-collapse: collapse; }
dt { font-weight: bolder; color:  #206040; }
th { color: white; background-color: gray; }
hr { color: #d0d0d0; background-color: #d0d0d0; height: 1px; border: none; }
tr.solid { border: 1pt dotted gray; }
a:hover { background: #f0f0a0; }

pre { background-color: #f2f8f2; border: dotted 1pt black; overflow: auto;
white-space: pre-wrap;                 /* CSS3 browsers  */
	white-space: -moz-pre-wrap !important; /* 1999+ Mozilla  */
	white-space: -pre-wrap;                /* Opera 4 thru 6 */
	white-space: -o-pre-wrap;              /* Opera 7 and up */
	word-wrap: break-word;                 /* IE 5.5+ and up */ }
.excerpt { background-color: #f2f8f2; border: dotted 1pt black; width: 90%; }

h1 { color: #206040; }
h2 { color: #206040; }

.small { font-size: smaller; }
.emph { color: tomato; background-color: yellow; font-weight: bolder; }
.extra { color: tomato }
/* .light { background-color: #d0d0f0 ; } */
.light { background-color: #d0f0d0; margin-bottom: 3pt;}
.dark { background-color: DarkSeaGreen /*#c0e0c0*/; font-weight: bolder; }
.foot { font-size: 50%; background-color: #c0c0c0; }
.deadline { font-size: smaller; color: #e0b000; }