.dottedtable {
	padding: 3px;
	border: dashed #99CCCC;
	padding-left: 3em;
	padding-right: 3em;
}
body      { margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;
            scrollbar-face-color: white;
            scrollbar-shadow-color: powderblue;
            scrollbar-darkshadow-color: whitesmoke;
            scrollbar-highlight-color:  powderblue;
            scrollbar-3dlight-color: whitesmoke;
            scrollbar-track-color: white;
            scrollbar-arrow-color:  powderblue;
            overflow: auto; }
.keyword {
	font-weight: bold;
	color: #0033CC;
}
.resulttext {
	font-weight: bold;
	color: #555555;
}
.note {
	color: #CC9999;
}
.onepointfive {
	line-height: 150%;
}