body { 
/* font-size: 0.8em;  */
font-family: Verdana, sans-serif;
margin-left: 10%; 
margin-right: 5%; 
color: black;
/* background: white; */
background: top left no-repeat url(WD.gif) #FFFFFF;
}
h1 { margin-left: -8%; }
h2 { margin-left: -6%; }
h3 { margin-left: -4%; }
h4,h5,h6 { margin-left: -2%; }
:link { color: rgb(0, 0, 153) }
:visited { color: rgb(153, 0, 153) }
:active { color: rgb(255, 0, 102) }
:hover { color: rgb(0, 0, 255) }
em { font-style: italic; font-weight: bold; }
strong { text-transform: uppercase; font-weight: bold; }
u,ins {text-decoration: underline; color: rgb(192, 0, 0);}
s,del {text-decoration: line-through; color: rgb(192, 192, 0);}
span.term { font-style: italic; color: rgb(0, 0, 192) }
.note {
color: rgb(192, 101, 101);
font-family: "Comic Sans MS", sans-serif;
}
.greenmono {
color: #006600;
font-family: monospace;
font-weight: bold;
}
pre {
white-space: pre;
color: #006600;
font-family: monospace;
font-weight: bold;
margin-right: 0;
margin-left: 0;
}
pre.bad {
border: solid;
border-width: 2px;
border-color: red;
margin-right: 5%;
color: rgb(192, 101, 101);
}
.good {
border: solid;
border-width: 2px;
border-color: green;
color: #006600;
font-weight: bold;
margin-right: 5%;
margin-left: 0;
margin-bottom: 10px;
}
.bad  {
border: solid;
border-width: 2px;
border-color: red;
margin-right: 5%;
color: rgb(192, 101, 101);
margin-bottom: 10px;
}
p.caption { font-weight: bold; font-style: italic; }
blockquote {
color: navy;
font-family: "Comic Sans MS", sans-serif;
}
.figure { text-align: center }
table {
font-family: sans-serif;
font-size: 80%;
background: rgb(255,255,153);
}
td {
font-size: 80%
}
div.box { border: solid; border-width: thin }
div.color {
background: rgb(204,204,255);
padding: 0.5em;
border: none;
}

div.contents {
background-color: rgb(204,204,255);
padding: 0.5em;
border: none;
margin-right: 5%;
}
code {
font-family: monospace;
font-weight: bold;
}