body {
	color: black;
	background-color: #4682B4;
	font-family: Helvetica, sans-serif;
}
.title {
	font-family: Helvetica, sans-serif;
	text-align: left;
	background-color: #4682B4;
	color: black;
}
.address {
	font-size: 80%;
	font-style: italic;
	margin-right: 5%;
	margin-left: 5%;
	margin-top: 1%;
	padding-right: 1em;
	padding-left: 1em;
	padding-top: 0.5em;
	padding-bottom: 0.5em;
	background-color: white;
	border: 1px solid #000;
	color: black;
}
#content {
	margin-right: 5%;
	margin-left: 5%;
	padding: 1em;
	color: black;
	background: white;
	border: 1px solid #000;
	min-width: 500px;
}
#example {
	margin-top: 1em;
	margin-bottom: 1em;
	white-space: pre;
	font-family: courier, monospace;
	padding: 1em;
	color: black;
	background: white;
	border: 1px solid #000;
}
h1, h2, h3, h4, h5 {
	font-family: Helvetica, sans-serif;
	border-style: none;
	background-color: #CCCCCC;
	color: black;
}
#default {background-color: white;
}
/* For Netscape 4 in Linux */
h1.title {
	font-size: x-large;
}
a:link {
	color: blue; 
	background-color: white;
	text-decoration: none;
}
a:visited {
	color: green; 
	background-color: white;
	text-decoration: none;
}
a:active {
	color: red;
	background-color: white;
	text-decoration: underline;
}
a:hover {
	text-decoration: underline;
}