body {
	font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
	margin: 0 5%;
}

a[href] {
	text-decoration: inherit;
	color: #337ab7;
}
a[href]:visited {
	color: #034a87;
}
a[href]:hover {
	text-decoration: underline;
}

[small] {
	font-size: small;
}


div[contents] {
	margin: 0 0 1em;
}
ul {
	margin: 0;
}
[heading] {
	margin: 2em 0 0.6em;
	color: #233E93;
}

h4 code {
	font-size: 1.4em;
	font-weight: normal;
}