body {
	font-family: 'Georgia', serif;
	font-size: 16px;
}
h1 {
	font-size: 32px;
	font-weight: normal;
	line-height: 40px;
	margin-top: 40px;
}
h2 {
	font-size: 16px;
	font-weight: bold;
	margin-top: 24px;
}
body {
	/* 75-character width helps reading easier. */
	max-width: 75ch;
	margin-inline: auto;

	/* Add some spaces around the page so it looks less crowded on mobile screens. */
	padding: 1rem;
}
.table-of-contents ul {
	margin: 0;
	list-style: none;
	padding: 0;
}
pre, code {
	font-size: 14px;
	line-height: 18px;
	font-family: monospace;
	background-color: #f0f0f0;
	
	/* Enable scrolling on mobile screens if the code is too long. */
	overflow: auto;
}
pre {
	padding: 8px;
}
p code {
	padding: 2px;
}
a, a:visited {
	color: #4070a0;
	text-decoration: none;
}
p.footer {
	font-size: 75%;
	color: #808080;
}
p.footer a,
p.footer a:visited {
	color: inherit;
}

/* syntax highlighting */
code span.bu { color: #008000; } /* BuiltIn */
code span.cf { color: #007020; } /* ControlFlow */
code span.ch { color: #4070a0; } /* Char */
code span.cn { color: #880000; } /* Constant */
code span.co { color: #60a0b0; } /* Comment */
code span.cv { color: #60a0b0; } /* CommentVar */
code span.do { color: #ba2121; } /* Documentation */
code span.dt { color: #902000; } /* DataType */
code span.dv { color: #40a070; } /* DecVal */
code span.er { color: #40a070; } /* Error */
code span.fl { color: #40a070; } /* Float */
code span.fu { color: #06287e; } /* Function */
code span.im { color: #008000; } /* Import */
code span.in { color: #60a0b0; } /* Information */
code span.kw { color: #007020; } /* Keyword */
code span.op { color: #666666; } /* Operator */
code span.ot { color: #007020; } /* Other */
code span.pp { color: #bc7a00; } /* Preprocessor */
code span.sc { color: #4070a0; } /* SpecialChar */
code span.ss { color: #bb6688; } /* SpecialString */
code span.st { color: #4070a0; } /* String */
code span.va { color: #19177c; } /* Variable */
code span.vs { color: #4070a0; } /* VerbatimString */
code span.wa { color: #60a0b0; } /* Warning */