@font-face {
	/*
	 * Define "DejaVuSansMono" font face to use local version if the user already has it, or provide the .ttf if
	 * they don't.
	 *
	 * Source tarballs and associated files for the DejaVu font available from https://spragg-ssl.co.uk/src
	 *
	 * More information available from https://spragg-ssl.co.uk/about
	 */
	font-family: "DejaVuSansMono";
	src: local("DejaVu Sans Mono"),
		url("/style/DejaVuSansMono.ttf") format("truetype");
}

html {
	font-family: sans-serif;
}

body {
	margin: 0;
}

a,
a:hover,
a:visited {
	color: inherit;
}

.hidden {
	display: none;
}

/* * * Header * * */
body > header {
	padding-top: 1px; /* Don't allow child element top margins to extend out of the header element */
}

h1 {
	font-family: "DejaVuSansMono", monospace;
	/*font-variant: small-caps;*/
	text-align: center;
}

nav ul {
	max-width: 80em;
	margin: 0 auto 0;
}

nav ul li {
	display: inline-block;
	padding: 0.2em 1em;
	border-right: 1px #000000 solid;
}

nav ul li:first-child {
	border-left: 1px #000000 solid;
}

nav a,
nav a:visited {
	text-decoration: none;
}

nav a:hover {
	text-decoration: underline;
}


/* * * Main * * */

main {
	max-width: 80em;
	margin: 0 auto 0;
	padding: 2em;
	background-color: #ffffff;
	color: #404040;
}

h2 {
	margin-bottom: 0;
}

h2 img {
	display: inline-block;
	vertical-align: middle;
}

img.inline-icon {
	display: inline-block;
	vertical-align: middle;
	height: 32px;
	width: auto;
}

.commit li {
	font-family: monospace;
}

p {
	margin-top: 0.5em;
}

/* * * Footer * * */

footer {
	max-width: 80em;
	margin: 0 auto 0;
	padding: 2em;
	background-color: #ffffff;
}

footer p {
	font-size: 70%;
	text-align: center;
}