body {
	font-family: sans-serif;
	padding: 0;
	margin: 0;
	font-size: 16px;
}
pre, code {
	margin: 0;
	font-size: 100%;
}
pre {
	padding: 1ch;
	overflow-x: auto;
}
blockquote, pre, code {
	background-color: #eee;
}
a {
	color: #ac3232;
}
#nav a, #menu a {
	text-decoration: none;
}
#nav a:hover {
	background-color: #ddd;
}
blockquote::before {
	float: left;
	width: 1ch;
	margin-right: 1ch;
	content: ">";
}
#menu {
	clear: both;
	color: #ac3232;
	overflow: hidden;
	background-color: #ac3232;
	padding: 0.7ex;
	border-top: 1px solid #ccc;
	border-bottom: 1px solid #ac3232;
}
#menu a {
	padding: 0.5ex 1ex;
	color: #fff;
}
#menu a:hover {
	background-color: #871d1d;
}
h1, h2, h3, h4 {
	margin: 1em 1ex 0.5ex 0;
}
h2 ~ *:not(h2) {
    margin-left: 1ch;
}
#content {
	clear: both;
	margin: 0;
	padding: 0;
}
#nav {
	float: left;
	margin: 0 1px 0 0;
	padding: 1em 0;
	border-right: 1px dotted #ccc;
	width: 200px;
}
#nav ul {
	margin: 0;
	padding: 0;
}
#nav li {
	list-style: none;
	padding: 0;
	margin: 0;
}
#nav li ul {
	padding-left: 0.6em !important;
}
#nav li a {
	display: block;
	margin: 0;
	padding: 0.8ex 2em 0.8ex 1em;
}
#main {
	margin: 0 0 0 200px;
	max-width: 50em;
	padding: 1.5em;
}
.left {
	float: left;
	margin: 0;
	padding: 0;
}
.right {
	float: right;
	margin: 0;
	padding: 0;
}
img {
    max-width: 100%;
}
@media (max-width: 999px) {
	#nav {
		float: none;
		margin: 0;
		width: 100%;
		border: none;
	}
	#main {
		margin: 0;
	}
}
@media (prefers-color-scheme: dark) {
	body {
		background-color: #000;
		color: #fff;
	}
	#menu {
		border-top: 1px solid #222;
	}
	#nav a:hover {
		background-color: #222;
	}
	blockquote, pre, code {
		background-color: #111;
	}
	a {
		color: #f88;
	}
}