a {
	font-weight: bold;
}

a.op {
	font-family: monospace;
}

a:active {
	color: #4444AA;
}

a:hover {
	color: #4444AA;
}

a:link {
	color: #4444AA;
}

a:visited {
	color: #4444AA;
}

body {
	background: #CCCCEE;
	color: #4444AA;
	font-family: sans-serif;
	font-size: 100%;
	margin-left: 2em;
	margin-right: 2em;
	margin-top: 1em;
	text-align: justify;
}

h1 {
	font-size: 130%;
	margin-bottom: 2em;
	text-align: center;
}

h2 {
	background: #AAAADD;
	font-size: 115%;
	margin-top: 2em;
}

h3 {
	font-size: 85%;
}

table {
	margin-bottom: 2em;
}

td {
	font-size: 100%;
}

th {
	font-size: 100%;
	text-align: left;
}