body {
	background-color: #f5f5dc;
	margin: 5px;
	padding: 5px;
}
a {
	text-decoration: none;
	color: #4169e1;
}
a:hover {
	text-decoration: underline;
}
h1 {
	margin-top: 5px;
	margin-bottom: 5px;
}
hr {
	border-style: none;
	height: 1px;
	color: #000;
	background-color: #000;
	margin-left: 0;
	margin-right: 0;
	margin-top: 5px;
	margin-bottom: 5px;
}
.w3c {
	border-style: none;
	width: 88px;
	height: 31px;
}
.pre {
	font-family: "Courier New", Courier, monospace;
	font-size: smaller;
}