body {
	background-color: rgb(0,0,150);
	font-family: sans-serif;
}

.main {
	background-color: white;
	padding: 0.3em 0.3em 0.3em 0.3em
}

.header {
	border-style: solid;
	/* border-width: thin; */
	border-width: 1px 0px;
	border-color: rgb(100,100,255);
	background-color: rgb(223,223,223);
	text-align: center;
	font-family: monospace;
}

.center {
	text-align: center;
}

.margin {
	padding-left: 3em;
	padding-right: 5em;
}

.cap {
	font-size: 0.5em;
	font-style: italic;
}

ul {
	list-style-type: none;
}

dt {
	color: rgb(0,0,200);
	font-size: 1.5em
}

hr {
	background-color: rgb(0,0,150);
	width: 95%;
}

table th {
	text-align: left;
	color: white;
	background-color: rgb(100,100,255);
}

img.noborder {
	border-style: none;
	float: right;
}

pre {
	background-color: rgb(223,223,223);
}
a:link { 
	color: rgb(0,0,200);
}
a:visited {
	color: rgb(120,0,120);
}
a:hover { 
	background-color: rgb(245,245,245);
}
a:active {
	color: orange;
}