div.heading {
	font-weight: bold;
	font-size: 125%;
}

div.text {
	position: relative;
	margin-left: auto;
	margin-right: auto;
	width: 90%;
	text-align: left;
	font-size: larger;
}

div.text:first-letter {
	font-size: x-large;
}

hr.separator {
	width: 80%;
	margin: 20px auto;
}

img {
	margin: 5px;
	border: 2px solid #000;
	vertical-align: middle;
}

a {
	color: #000066;
	text-decoration: none;
	font-weight: bold;
}

a.doclink {
	color: #000000;
}

a.doclink:hover {
	color: #000000;
}

a:hover {
	text-decoration: none;
	color: #0000DD;
}

a:visited {
	text-decoration: none;
}