a {
	text-decoration: none;
}

a:hover {
	text-decoration: underline;
}

body {
	background: #dae4ff;
	color: #000000;
	font-family: sans-serif;
	font-size: 14pt;
}

div#content {
	border-left: 6px dotted #000000;
	margin: 0px 50px 50px 215px;
	padding-left: 26px;
}

div#menu {
	font-size: 14pt;
	font-weight: bold;
	left: 0px;
	padding: 5px;
	position: absolute;
	top: 100px;
	width: 200px;
}

div#menu li {
	margin: 0.4em;
}

div#menu ul {
	margin: 0.5em 0em;
	padding: 0em 0.5em;
}

h1#title {
	border-bottom: 6px dotted #000000;
	padding-bottom: 10px;
}

table {
	border: 1px dashed #808080;
	border-collapse: collapse;
}

td {
	border: 1px dashed #808080;
	border-collapse: collapse;
	padding: 0.05em 0.5em 0.05em 0.5em;
}