body {
	background-color: #003;
	color: #5bf;
	margin:auto;
	/*max-width: 500px;
	 */
	padding-left: 20px;
	padding-right: 20px;
}

a {
	color: #8df;
	text-decoration-color: rgb(0, 209, 140);
}

h1, h2, h3, h4, h5, h6 {
	font-family: sans-serif;
}

main {
	border-radius: 0pt 15pt 0pt 0pt;
	border-top: 1px solid;
	border-right: 1px solid;
	order: 1;
	/* Four times wider than <nav>, at base-size 300px*/
	flex: 4 300px;
}

main > * {
	margin: auto;
	max-width: 700px;
}

nav {
	order: 2;
	float: right;
	flex: 1 75px;
}

nav > * {
	padding: 8px;
	margin: 6px;
	background-color: rgb(31, 18, 81);
	border-radius: 12pt;
}

nav h2 {
	font-size: 14pt;
}

#main {
	display: flex;
	flex-wrap: wrap;
}

footer {
	text-align: right;
}

pre, tt {
	background-color: rgba(255, 255, 255, 0.2);
	border-radius: 2pt;
}

pre {
	padding: 3pt;
	overflow-y: scroll;
}

tt {
	padding-left: 1pt;
	padding-right: 1pt;
}