BODY { background: rgb(255,255,255); color: rgb(0,0,0); font-family: sans-serif; }
A:link { color: rgb(0,0,240); }
A:visited { color: rgb(81,24,142); }
A:active { color: rgb(255,0,0); }
P { color: black; font-family: sans-serif; background: rgb(255,255,255); }
EM { color: red; background: rgb(255,255,255); }
H1 { font-size: 150%; }
ADDRESS { font-size: 80%; }
.note { color: yellow; margin-left: 3em; margin-right: 5em; font-size: 70%; background: rgb(255,255,255); }
.highlight { background: rgb(255,255,192); color: rgb(0,0,0); }
.highlight A:link { color: rgb(0,0,240); background: rgb(255,255,192); }
.highlight A:visited { color: rgb(81,24,142); background: rgb(255,255,192); }
.highlight A:active { color: rgb(255,0,0); background: rgb(255,255,192); }
.code { color: rgb(0,0,0); background: rgb(240,240,240); margin-left: 1em; margin-right: 1em; font-family: monospace; border-style: none }
.monocode { color: rgb(0,0,0); background: rgb(240,240,240); margin-left: 0em; margin-right: 0em; font-family: monospace; border-style: solid; border-color: rgb(0,0,0); border-width: 1; padding: 6 }

pre.literal {
 font-family: sans-serif;
 background: #f7f7f7;
 border: 1px solid #d7d7d7;
 margin: 1em 1.75em;
 padding: .25em;
 overflow: auto;
}

p.auptext{
	background-color: #f0f0f0;
}
div#NavFrame1 {
	font-weight: lighter; 
}

.NavHead {
	font-weight: bolder; 
}

.NavContent {
	font-weight: 100; 
	font-style: italic; 
}