body {
	color: black;
	background: white;
	font-size: 77%;
	padding: 0.5em 1em;
	margin: 0;
}

body {
	font-family: arial, helvetica, sans-serif;
}

h1 {
	color: blue;
}

h2 {
	color: blue;
}

table {
	font-size: 100%;
}

:link {
	color: #00c;
}

:visited {
	color: #609;
}

a:active {
	color: #c00
}

a:hover {
	color: #00c;
	background-color: yellow;
}

/* Special classes */

.key {
	font-style: italic;
	text-align: center;
	line-height: 250%;
}

.warning {
	color: red;
	font-weight: bold;
}

.revision {
	font-style: italic;
	text-align: right;
}