body {
	background: #f8f8f8;
	color: #333;
}

main {
	padding-left: 5rem;
}

main p, main li, main dd {
	max-width: 44rem;
}

header {
	float: right;
	max-width: 20rem;
	font-size: 66%;
	background: #fff;
	padding: 1rem;
	margin: 1rem;
}

header dt {
	font-weight: bold;
}

header dd {
	margin-left: 1rem;
}

header ul {
	padding-left: 0;
}

h1, h2 {
	padding-bottom: 2pt;
	border-bottom: 1pt solid #ccc;
}

a.header-local-anchor {
	color: #ccc;
	font-weight: normal;
	padding-left: 0.5em;
	text-decoration: none;
}