body {
	background-color: #ffffe0;
	color: black;
	font: 12px Tahoma, Arial, sans-serif;
	margin: 10;
	padding: 0 0 1em;
	text-align: left
}
a:link,a:visited {
	color: #2478a4;
	font-weight: bold;
	text-decoration: none
}
a:hover,a:active,a:focus {
	color: #ff8080;
	font-weight: bold;
	text-decoration: underline
}
blockquote {
	color: #404040;
	font-weight: bold
}
pre {
	color: #000080
}
.vertical {
	display: block;
	width: 160px;
	height: 600px;
	margin: 2em;
	float: right
}
.bigred {
	color: #ff0000;
	font-size: 300%
}
.bigf {
	color: #ff0000;
	font-size: 200%
}
.big {
	color: #800080;
	font-size: 150%
}
.normf {
	color: #ff0000;
}
.norm {
	color: #800080;
}