div.source pre,
pre.code {
	overflow: auto;
	max-height: 20em;
	font-size: 80%;
	background-color: #346;
	color: white;
	padding: 1em;
	line-height: 130%;
}
div.source {
	margin-top: 1em;
}
div.quote {
	margin: 1em 0;
	padding: 1em;
	font-size: 80%;
	border: 1px solid #CCC;
}

table.stats {
	width: 100%;
	border: 1px solid #CCC;
}

table.stats th, table.stats td {
	padding: 0.1em 0.4em;
	font-weight: normal;
}
table.stats th {
	padding: 0.2em 0.4em;
	background-color: #369;
	color: white;
}

table.stats td {
	border-top: 1px solid #CCC;
	font-size: 90%;
}
table.stats a {
	color: inherit;
}
div.html_center {
	margin-top: 1em;
}
h1.journal_calendar_month_link {
	padding-top: 1em;
}
table.calendar_year {
	margin-top: 0;
}