body {
	font: 92%/144% Constantia, "Palatino Linotype", Palatino, Georgia, serif;
	background: #fff;
	color: #4C1B1B;
	padding-top: 2em;
}
p {
	text-indent: 2em;
	margin-bottom: 2em;
	text-align: justify;
	line-height: 144%;
	clear: left;
}
h2 {
	font-size: 159%;
	line-height: 197%;
	margin-bottom: 2em;
}
a {
	color: #B9121B;
	text-decoration: none;
	font-weight: bold;
}
a:hover {
	background: #B9121B;
	color: #fff;
}
strong {
	font-weight: bold;
}
.small {
	font-size: 60%;
	margin-top: -0.85em;
	color: #69f;
}
pre {
	float: left;
	margin: 0.5em 0.5em 0 0;
	padding: 0.5em;
	overflow: auto;
}
.wrong, .right {
	float: left;
	margin: 0.5em 0;
}
.wrong, .right {
	width: 480px;
}
.right {
	margin-left: 3em;
}
.number {
	height: 1em;
	line-height: 1em;
	font-size: 197%;
	float: left;
	color: #fff;
	padding: 0 0.5em;
	background: #B9121B;
	margin: 1.1em 1em 0 -2.3em;
}
.wrong pre {
	background: #fee;
}
pre, .right pre {
	background: #efe;
}
.right pre, .wrong pre {
	width: 480px;
}
.desc {
	text-indent: 0;
	margin-left: 0.5em;
}
.double {
	padding: 0 0.35em;
}
.update {
	font-weight: bold;
}