html {
	scroll-behavior: smooth;
}

body {
	margin: 0;
	padding: 0;
	font-size: 1.1em;
	font-family: "industry", Arial, sans-serif;
	color: #111;
	scroll-behavior: smooth;
}

a {
	color: #0B6BB6;
	text-decoration: none;
}
a:hover,
a:focus,
a:active {
	color: #0B6BB6;
	outline: none;
	text-decoration: underline;	
}

header {
	background-color: #222;
	color: white;
	position: -webkit-sticky;
	position: sticky;
	top: 0;
	z-index: 2;
}

header ul {
	list-style-type: none;
	margin: 0;
	padding: 0;
	overflow: hidden;
	background-color: #222;
	margin-left: auto;
	margin-right: auto;
}

header ul li {
	float: left;
}

header ul li.title {
	display: inline-block;
	width: calc(20% + 33px);
	padding: 12px 4px;
	color: #FFA500;
	font-weight: bold;
	text-shadow: 2px 2px black;	
	text-align: center;
}

header ul li a {
	display: block;
	color: white;
	text-align: center;
	padding: 12px 16px;
	min-width: 64px;
	text-decoration: none;
	outline: none;
}

header ul li a:hover:not(.active),
header ul li a:focus:not(.active) {
	background-color: #444;
	text-decoration: none;
}

header ul li a:hover:not(.active),
header ul li a:focus:not(.active),
header ul li a:active:not(.active) {
	color: white;
	text-decoration: none;
}

header ul li a.active {
	background-color: #FFA500;
	color: #222;
	text-decoration: none;
}

header ul li a.active:hover,
header ul li a.active:focus,
header ul li a.active:active {
	color: #222;
	text-decoration: none;
}

main {
	display: block;
	padding: 2em;
	margin-left: auto;
	margin-right: auto;
	line-height: 1.4;
}

main nav a {
	color: #0B6BB6;
	text-decoration: none;
}

main nav a:hover,
main nav a:focus,
main nav a:active {
	color: #0B6BB6;
	text-decoration: underline;
}

main div.tile-container {
	display: block;
	width: 100%;
	text-align: center;
}

main div.tile {
	display: inline-block;
	background-color: #063663;
	padding: 16px;
	margin: 8px;
	margin-left: 6px;
	margin-right: 6px;
	width: calc(33% - 48px);
	color: white;
	vertical-align: top;
	text-align: left;
}

main div.tile h2 {
	margin: 0;
}

main div.tile h2 a {
	color: white;
}

main pre {
	border: 1px solid #666;
	padding: 8px;
	background-color: #0D0D0D;
	color: #EEE;
	text-align: left;
	tab-size: 4;
	overflow-x: auto;
}

main code {
	background-color: #CCC;
	padding: 2px;
	font-size: 1.1em;
}

main aside {
	display: inline-block;
	vertical-align: top;
	width: 20%;
	margin-right: 16px;
	position: -webkit-sticky;
	position: sticky;
	top: calc(3em + 36px);
	font-size: initial;
}

main aside h2 {
	margin-top: 0;
}

main aside div {
	max-height: calc(100vh - 7.5em - 36px);
	overflow-y: auto;
	overflow-x: clip;
	word-wrap: break-word;
}

main aside a,
main aside a:hover,
main aside a:focus,
main aside a:active {
	display: block;
	color: #111;
	padding: 4px;
}

main aside a.active {
	background-color: #CCC;
}

main article {
	display: inline-block;
	vertical-align: top;
	width: 60%;
	text-align: justify;
}

main article h1,
main article h2,
main article h3,
main article h4,
main article h5,
main article h6 {
	text-align: left;
}

footer {
	font-size: medium;
	text-align: center;
	padding-top: 1em;
	margin-bottom: 2em;
	margin-left: auto;
	margin-right: auto;
	max-width: calc(100% - 8em);
	border-top: 1px solid #222;
}

@media (prefers-color-scheme: dark) {
	html {
		background-color: #111;
	}
	aside,
	main,
	main nav,
	footer {
		color: #DDD;
	}
	main code {
		background-color: #333;
	}
	main aside a,
	main aside a:hover,
	main aside a:focus,
	main aside a:active {
		color: white;
	}
	main aside a.active {
		background-color: #333;
	}
	footer {
		border-top: 1px solid #DDD;
	}
}

@media only screen and (max-width: 1280px) {
	main div.tile {
		width: calc(50% - 48px);
	}
	main article {
		width: calc(80% - 1.5em);
	}
}

@media only screen and (max-device-width: 640px) {
	header ul li.title {
		width: 100%;
	}
	header ul li:not(.title) {
		display: none;
	}
	main div.tile {
		display: block;
		width: auto;
	}
	main aside {
		display: none;
	}
	main article {
		display: block;
		width: 100%;
	}
}