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; 
}

input.changeformbutton {
    /* height: 100px; */
    width: 200px;
    font-size: 100%;
    font-weight: bold;
}

input.sendbutton {
    height: 140%;
    font-size: 200%;
    font-weight: bold;
    background-color: #c0c0c0;
    color: #008000;
}

td.descr {
    background-color: #d0d0d0;
    width: 25%;

}

td.cellcontent {
    background-color: #ffffff;
    width: 75%;
}