body {
	font-family: monospace, Courier;
	font-size: 16px;

	max-width: 700px;

	padding-left: 2ch;
	padding-right: 3ch;
	margin: 0 auto;

	color: #d8d8d8;
	background: black;
}

a {
	color: #d8d8d8;
	text-decoration: underline dotted;
}

a:hover {
	color: red;
}

p {
	text-align: justify;
}

hr {
	width: 100%;
	border-top: 0.1px solid white;
}

img {
	max-width: 100%;
}

header {
	text-align: center;
	margin-bottom: 20px;
}

footer {
	text-align: center;
}

h1, h2, h3, h4 {
	font-size: 17px;
}

h1 {
	color: red;
}

h1 a {
	color: red;
	text-decoration: none;
}

h2 {
	font-weight: bold;
	text-transform: uppercase;
	margin-top: 0.5em;
	margin-bottom: 0.5em;
}

h3 {
	font-weight: bold;
	margin-top: 2em;
}

h4 {
	font-weight: normal;
}

article {
	hyphens: auto;
	line-height: 1.5;
}

.index ol {
	list-style: none;
	padding: 0;
}

.index ol li {
	white-space: nowrap;
	overflow: hidden;
	text-overflow: ellipsis;
}

.index ol li a {
	font-weight: bold;
	text-decoration: none;
}

ul li, ol li {
	margin-top: 6px;
	margin-bottom: 6px;
}

code {
	display: block;
	white-space: pre;

	font-family: monospace, Courier;
	font-size: 16px;

	line-height: 1.3;

	color: #22aa00;

	border: 1px solid grey;

	padding: 1ch;
	margin: 1ch;

	overflow: scroll;
}

@media (max-width: 500px) {
	body {
		font-size: 13px;
	}

	code {
		font-size: 13px;
	}

	h1, h2, h3, h4 {
		font-size: 14px;
	}

	.index ol li {
		margin-top: 15px;
		margin-bottom: 15px;
	}
}