body {
	font-family: arial;
	width: 700px;
	margin: 10px 20px;
}
h1, h2, h3 {
	font-family: Georgia,'Times New Roman',serif;
	font-weight: normal;
}
pre {
	border: 1px solid #ccc;
	border-left-width: 3px;
	background-color: #eee;
	margin: 10px;
	margin-left: 0px;
	padding: 5px 10px;
	font-family: monospace;
}
code.n {
	font-family: monospace;
	font-size: 1.2em;
}
code.c {
	background-color: #ff0;
}
div.centered {
	text-align: center;
}
.bar-span-box {
	width: 650px;
	text-align: center;
	border-left: 1px solid #999;
	border-right: 1px solid #999;
}
.l-range-end,
.r-range-end {
	border-bottom: 1px solid #999;
	height: 0.6em;
	width: 15%;
}
.l-range-end {
	float: left;
}
.r-range-end {
	float: right;
}
.bar {
	width: 650px;
	background-color: #eee;
	border: 1px solid #ccc;
	margin: 3px 0px;
}
.bar-progress {
	width: 1in;
	text-align: center;
	background-color: #dfd;
	border-right: 1px solid #ccc;
}
.bar-span-progress {
	width: 1in;
	text-align: center;
	border-left: 1px solid #999;
	border-right: 1px solid #999;
}
.bar-caption {
	width: 650px;
	text-align: center;
	font-weight: bold;
}
.footer {
	text-align: right;
	color: #999;
}
.footer a {
	color: #99f !important;
}
.i-found-it {
	border: 1px solid #9c9;
	background-color: #efe;
	margin: 10px 0px;
	padding: 10px;
}
.i-found-it h2 {
	margin-top: 0px;
}
.i-found-it pre {
	border-color: #6c6;
	background-color: #cec;
	font-weight: bold;
}