body {
	font-family: system-ui, sans-serif;
	min-height: 100vh;
	display: flex;
	flex-direction: column;
}

.page-content {
	justify-content: center;
	display: flex;
	flex-direction: column;
	max-width: 1000px;
	margin-right: auto;
	margin-left: auto;
}

body, h1, h2, h3, h4, h5, h6, p, pre {
	margin: 0;
	padding: 0;
}

h1, h2, h3, h4, h5, h6, p, pre, ul, ol {
	margin-bottom: 15px;
}

section > h1, h2, h3, h4, h5, h6 {
	background-color: lightgrey;
	padding-left: 2px;
}

.external-links ul {
	margin-top: 0;
}
.external-links > h3 {
	background-color: inherit;
	font: inherit;
	margin: 0;
}