@charset "UTF-8";

:root {
	color-scheme: light dark;
}

@media (prefers-color-scheme: dark) {
	a:link { color: skyblue; }
	a:visited { color: orchid; }
	a:active { color: red; }
}

body {
	margin-left: 2%;
	margin-right: 2%;
	max-width: 900px;
	font-family: Arial, Helvetica, sans-serif;
}

header {
	font-size: 1.2em;
	margin-top: 1.2em;
	margin-bottom: 1.2em;
}

nav {
	text-align: right;
}

pre {
	margin-left: 2.0em;
	margin-right: 2.0em;
	overflow-x: auto;
}