@font-face {
	font-family: "BerkeleyMono";
	font-style: normal;
	font-weight: normal;
	src: local("BerkeleyMono"), local("BerkeleyMono-Regular"), url("BerkeleyMono-Regular.woff2") format("woff2"), url("BerkeleyMono-Regular.woff") format("woff");
}

@font-face {
	font-family: "BerkeleyMono";
	font-style: italic;
	font-weight: normal;
	src: local("BerkeleyMono"), local("BerkeleyMono-Italic"), url("BerkeleyMono-Italic.woff2") format("woff2"), url("BerkeleyMono-Italic.woff") format("woff");
}

@font-face {
	font-family: "BerkeleyMono";
	font-style: normal;
	font-weight: bold;
	src: local("BerkeleyMono"), local("BerkeleyMono-Bold"), url("BerkeleyMono-Bold.woff2") format("woff2"), url("BerkeleyMono-Bold.woff") format("woff");
}

@font-face {
	font-family: "BerkeleyMono";
	font-style: italic;
	font-weight: bold;
	src: local("BerkeleyMono"), local("BerkeleyMono-BoldItalic"), url("BerkeleyMono-BoldItalic.woff2") format("woff2"), url("BerkeleyMono-BoldItalic.woff") format("woff");
}

* {
	font-family: BerkeleyMono, monospace;
	font-size: 15px;
}

body {
	max-width: 600px;
	margin: auto;
	padding: 16px;
}

nav a {
	padding: 0 8px 0 0;
}

a {
	text-decoration-thickness: 1px;
}

h1 {
	font-size: 1.5rem;
}

h3 {
	font-style: italic;
}

.columns {
	display: flex;
}

.column {
	display: block;
	flex-basis: 0;
	flex-grow: 1;
	flex-shrink: 1;
}

code {
	font-family: BerkeleyMono, monospace;
}

@media print {
	body {
		max-width: 100%;
		width: 100%;
		margin: 0;
		padding: 0;
	}

	nav {
		display: none;
	}

	.samepage {
		page-break-inside: avoid;
	}

	a:link, a:visited, a {
		background: transparent;
		color: black;
		font-weight: bold;
		text-decoration: underline;
		text-align: left;
	}

	a {
		page-break-inside: avoid
	}

	a[href^=http]:after {
		content: " < " attr(href) " > ";
	}
}