a {
	text-decoration: none;
	border-bottom-style: dotted;
	border-bottom-color: #8888ff;
	border-bottom-width: 1px;
}
a:hover { background-color: #ffff99 }
a:visited { color: #303050 }

body{
	width: 42em;
	margin: 0.5em auto 0.5em auto;
	background: #eeeeee;
	color: black;
}
p {
	line-height: 130%;
}

code {
	margin: auto 0.3em auto 0.3em;
	color: #102040;
	font-size: 110%;
}

h1 {
	padding: 0.5em;
	background: #ccccff;
	color: #808080;
	font-family: monospace;
	font-size: 130%;
	text-align: center;
}

h2 {
	padding: 0.5em;
	background: #cccccc;
	color: #606060;
	font-family: monospace;
	font-size: 120%;
	text-align: center;
}

h3 {
	padding: 0.5em;
	background: #dddddd;
	color: #606060;
	font-family: monospace;
	font-size: 110%;
}

img.toplogo { vertical-align: middle; horizontal-align: middle}
img.arrow {width: 30; height: 30; border: 0 }

pre {
	color: #102040;
	font-size: 110%;
	line-height: 130%;
}

td {
	padding: 0.3em;
	line-height: 130%;
}