:root {
	--bg: #fcfcfc;
	--bg-alt: #ddd;
	--fg: #111;
	--fg-alt: #565151;
	--accent: #134799;
	--link-visited: #551a8b;
	--tr: #eee;
}
@media (prefers-color-scheme: dark) {
	:root {
		--bg: #444;
		--bg-main: #222;
		--bg-alt: #333;
		--fg: #c8c8c8;
		--fg-alt: var(--fg);
		--accent: #85b8c4;
		--link-visited: #ff90ad;
		--tr: #333;
	}
	#icons {
		filter: invert(85%)
	}
}
html {
	background-color: var(--bg);
}
body {
	background-color: var(--bg-main);
	color: var(--fg);
	max-width: 40em;
	margin: 1em auto;
	padding: 0.5em 2em;
	box-shadow: 5px 5px 0 var(--fg);
	border: 1px solid var(--fg);
	font-family: "IBM Plex Sans", system-ui, sans-serif;
}
sub, sup {
	line-height: 0;
}
sub:before, sup:before {
	content: "[";
}
sub:after, sup:after {
	content: "]";
}
header {
	text-align: center;
	margin: 0.2em;
	font-size: 2em;
	font-weight: bold;
}
h1, h2, h3, h4, h5, h6 {
	margin: 1em 0 -0.1em;
	line-height: 1.1em;
	text-decoration: double underline;
}
h1 {
	font-style: oblique;
	font-size: 1.75em;
	margin-top: 0.75em;
}
nav {
	text-align: center;
}
nav a {
	padding: 0 0.5em;
	font-size: 1.1em;
	font-weight: bold;
	text-decoration: none;
}
nav a:hover {
	text-decoration: underline;
}
a, nav a:visited {
	color: var(--accent);
}
a:hover {
	text-decoration: none;
}
a:visited {
	color: var(--link-visited);
}
img, video {
	display: block;
	margin: 0 auto;
	max-width: 100%;
	border: 1px solid var(--fg);
}
.emoji {
	display: inline;
	height: 1.25em;
	border: none;
	vertical-align: middle;
	margin: -0.3em 0 0;
	user-select: none;
}
figure {
	margin: 0 0 1em;
}
figcaption {
	text-align: center;
}
blockquote {
	border-left: 3px solid var(--accent);
	padding-left: 0.5em;
}
cite {
	display: inline-block;
	margin-left: 40px;
}
summary:hover {
	cursor: pointer;
	background-color: var(--bg-alt);
}
table {
	max-width: 100%;
	min-width: 50%;
	margin: auto;
	text-align: left;
}
table, td, th {
	border-collapse: collapse;
	border: 1px solid var(--fg);
	margin-top: 1em;
	padding: 2px 4px;
	vertical-align: top;
}
th {
	background-color: var(--bg-alt);
}
tr:nth-child(even) {
	background-color: var(--tr);
}
pre {
	background-color: var(--bg-alt);
	overflow: auto;
	padding: 0.5em;
	border: 1px var(--fg) solid;
}
code {
	font-family: "IBM Plex Mono", monospace;
}
.note {
	border: 3px solid var(--accent);
	margin: 0.7em 0;
}
.note p {
	margin: 0.5em 1em;
}
.date, figcaption {
	font-size: smaller;
	color: var(--fg-alt);
}
#icons {
	float: right;
}
@media print {
	pre {
		white-space: pre-wrap;
	}
	nav {
		display: none;
	}
}
@media only screen and (max-width: 700px) {
	html {
		background-color: var(--bg-main);
	}
	body {
		border: none;
		box-shadow: none;
	}
	#icons {
		float: none;
	}
}
@font-face {
	font-family: 'IBM Plex Sans';
	font-style: normal;
	font-weight: 400;
	font-display: optional;
	src: url("/IBMPlexSans-Regular-Cyrillic.woff2") format("woff2");
	unicode-range: U+0400-045F, U+0462-0463, U+046A-046B, U+0472-0475, U+0490-04C2, U+04CF-04D9, U+04DC-04E9, U+04EE-04F9, U+0524-0525;
}
@font-face {
	font-family: 'IBM Plex Sans';
	font-style: normal;
	font-weight: 400;
	font-display: optional;
	src: url("/IBMPlexSans-Regular-Greek.woff2") format("woff2");
	unicode-range: U+037E, U+0386-038A, U+038C, U+038E-03A1, U+03A3-03CE;
}
@font-face {
	font-family: 'IBM Plex Sans';
	font-style: normal;
	font-weight: 400;
	font-display: optional;
	src: url("/IBMPlexSans-Regular-Latin1.woff2") format("woff2");
	unicode-range: U+0000, U+000D, U+0020-007E, U+00A0-00FF, U+0131, U+0152-0153, U+02C6, U+02DA, U+02DC, U+2013-2014, U+2018-201A, U+201C-201E, U+2020-2022, U+2026, U+2030, U+2039-203A, U+2044, U+20AC, U+2122, U+2212, U+FB01-FB02;
}
@font-face {
	font-family: 'IBM Plex Sans';
	font-style: normal;
	font-weight: 400;
	font-display: optional;
	src: url("/IBMPlexSans-Regular-Latin2.woff2") format("woff2");
	unicode-range: U+0100-0101, U+0104-0130, U+0132-0151, U+0154-017F, U+018F, U+0192, U+01A0-01A1, U+01AF-01B0, U+01FA-01FF, U+0218-021B, U+0237, U+0259, U+1E80-1E85, U+1E9E, U+20A1, U+20A4, U+20A6, U+20A8-20AA, U+20AD-20AE, U+20B1-20B2, U+20B4-20B5, U+20B8-20BA, U+20BD, U+20BF;
}
@font-face {
	font-family: 'IBM Plex Sans';
	font-style: normal;
	font-weight: 400;
	font-display: optional;
	src: url("/IBMPlexSans-Regular-Latin3.woff2") format("woff2");
	unicode-range: U+0102-0103, U+01CD-01DC, U+1EA0-1EF9, U+20AB;
}
@font-face {
	font-family: 'IBM Plex Sans';
	font-style: normal;
	font-weight: 400;
	font-display: optional;
	src: url("/IBMPlexSans-Regular-Pi.woff2") format("woff2");
	unicode-range: U+0E3F, U+2000-200D, U+2015, U+2028-2029, U+202F, U+2032-2033, U+2070, U+2074-2079, U+2080-2089, U+2113, U+2116, U+2126, U+212E, U+2150-2151, U+2153-215E, U+2190-2199, U+21A9-21AA, U+21B0-21B3, U+21B6-21B7, U+21BA-21BB, U+21C4, U+21C6, U+2202, U+2206, U+220F, U+2211, U+2215, U+221A, U+221E, U+222B, U+2248, U+2260, U+2264-2265, U+25CA, U+2713, U+274C, U+2B0E-2B11, U+ECE0, U+EFCC, U+FEFF, U+FFFD;
}
@font-face {
	font-family: 'IBM Plex Sans';
	font-style: italic;
	font-weight: 400;
	font-display: optional;
	src: url("/IBMPlexSans-Italic-Cyrillic.woff2") format("woff2");
	unicode-range: U+0400-045F, U+0462-0463, U+046A-046B, U+0472-0475, U+0490-04C2, U+04CF-04D9, U+04DC-04E9, U+04EE-04F9, U+0524-0525;
}
@font-face {
	font-family: 'IBM Plex Sans';
	font-style: italic;
	font-weight: 400;
	font-display: optional;
	src: url("/IBMPlexSans-Italic-Greek.woff2") format("woff2");
	unicode-range: U+037E, U+0386-038A, U+038C, U+038E-03A1, U+03A3-03CE;
}
@font-face {
	font-family: 'IBM Plex Sans';
	font-style: italic;
	font-weight: 400;
	font-display: optional;
	src: url("/IBMPlexSans-Italic-Latin1.woff2") format("woff2");
	unicode-range: U+0000, U+000D, U+0020-007E, U+00A0-00FF, U+0131, U+0152-0153, U+02C6, U+02DA, U+02DC, U+2013-2014, U+2018-201A, U+201C-201E, U+2020-2022, U+2026, U+2030, U+2039-203A, U+2044, U+20AC, U+2122, U+2212, U+FB01-FB02;
}
@font-face {
	font-family: 'IBM Plex Sans';
	font-style: italic;
	font-weight: 400;
	font-display: optional;
	src: url("/IBMPlexSans-Italic-Latin2.woff2") format("woff2");
	unicode-range: U+0100-0101, U+0104-0130, U+0132-0151, U+0154-017F, U+018F, U+0192, U+01A0-01A1, U+01AF-01B0, U+01FA-01FF, U+0218-021B, U+0237, U+0259, U+1E80-1E85, U+1E9E, U+20A1, U+20A4, U+20A6, U+20A8-20AA, U+20AD-20AE, U+20B1-20B2, U+20B4-20B5, U+20B8-20BA, U+20BD, U+20BF;
}
@font-face {
	font-family: 'IBM Plex Sans';
	font-style: italic;
	font-weight: 400;
	font-display: optional;
	src: url("/IBMPlexSans-Italic-Latin3.woff2") format("woff2");
	unicode-range: U+0102-0103, U+01CD-01DC, U+1EA0-1EF9, U+20AB;
}
@font-face {
	font-family: 'IBM Plex Sans';
	font-style: italic;
	font-weight: 400;
	font-display: optional;
	src: url("/IBMPlexSans-Italic-Pi.woff2") format("woff2");
	unicode-range: U+0E3F, U+2000-200D, U+2015, U+2028-2029, U+202F, U+2032-2033, U+2070, U+2074-2079, U+2080-2089, U+2113, U+2116, U+2126, U+212E, U+2150-2151, U+2153-215E, U+2190-2199, U+21A9-21AA, U+21B0-21B3, U+21B6-21B7, U+21BA-21BB, U+21C4, U+21C6, U+2202, U+2206, U+220F, U+2211, U+2215, U+221A, U+221E, U+222B, U+2248, U+2260, U+2264-2265, U+25CA, U+2713, U+274C, U+2B0E-2B11, U+ECE0, U+EFCC, U+FEFF, U+FFFD;
}
@font-face {
	font-family: 'IBM Plex Sans';
	font-style: normal;
	font-weight: 500;
	font-display: optional;
	src: url("/IBMPlexSans-Medium-Cyrillic.woff2") format("woff2");
	unicode-range: U+0400-045F, U+0462-0463, U+046A-046B, U+0472-0475, U+0490-04C2, U+04CF-04D9, U+04DC-04E9, U+04EE-04F9, U+0524-0525;
}
@font-face {
	font-family: 'IBM Plex Sans';
	font-style: normal;
	font-weight: 500;
	font-display: optional;
	src: url("/IBMPlexSans-Medium-Greek.woff2") format("woff2");
	unicode-range: U+037E, U+0386-038A, U+038C, U+038E-03A1, U+03A3-03CE;
}
@font-face {
	font-family: 'IBM Plex Sans';
	font-style: normal;
	font-weight: 500;
	font-display: optional;
	src: url("/IBMPlexSans-Medium-Latin1.woff2") format("woff2");
	unicode-range: U+0000, U+000D, U+0020-007E, U+00A0-00FF, U+0131, U+0152-0153, U+02C6, U+02DA, U+02DC, U+2013-2014, U+2018-201A, U+201C-201E, U+2020-2022, U+2026, U+2030, U+2039-203A, U+2044, U+20AC, U+2122, U+2212, U+FB01-FB02;
}
@font-face {
	font-family: 'IBM Plex Sans';
	font-style: normal;
	font-weight: 500;
	font-display: optional;
	src: url("/IBMPlexSans-Medium-Latin2.woff2") format("woff2");
	unicode-range: U+0100-0101, U+0104-0130, U+0132-0151, U+0154-017F, U+018F, U+0192, U+01A0-01A1, U+01AF-01B0, U+01FA-01FF, U+0218-021B, U+0237, U+0259, U+1E80-1E85, U+1E9E, U+20A1, U+20A4, U+20A6, U+20A8-20AA, U+20AD-20AE, U+20B1-20B2, U+20B4-20B5, U+20B8-20BA, U+20BD, U+20BF;
}
@font-face {
	font-family: 'IBM Plex Sans';
	font-style: normal;
	font-weight: 500;
	font-display: optional;
	src: url("/IBMPlexSans-Medium-Latin3.woff2") format("woff2");
	unicode-range: U+0102-0103, U+01CD-01DC, U+1EA0-1EF9, U+20AB;
}
@font-face {
	font-family: 'IBM Plex Sans';
	font-style: normal;
	font-weight: 500;
	font-display: optional;
	src: url("/IBMPlexSans-Medium-Pi.woff2") format("woff2");
	unicode-range: U+0E3F, U+2000-200D, U+2015, U+2028-2029, U+202F, U+2032-2033, U+2070, U+2074-2079, U+2080-2089, U+2113, U+2116, U+2126, U+212E, U+2150-2151, U+2153-215E, U+2190-2199, U+21A9-21AA, U+21B0-21B3, U+21B6-21B7, U+21BA-21BB, U+21C4, U+21C6, U+2202, U+2206, U+220F, U+2211, U+2215, U+221A, U+221E, U+222B, U+2248, U+2260, U+2264-2265, U+25CA, U+2713, U+274C, U+2B0E-2B11, U+ECE0, U+EFCC, U+FEFF, U+FFFD;
}
@font-face {
	font-family: 'IBM Plex Sans';
	font-style: italic;
	font-weight: 500;
	font-display: optional;
	src: url("/IBMPlexSans-MediumItalic-Cyrillic.woff2") format("woff2");
	unicode-range: U+0400-045F, U+0462-0463, U+046A-046B, U+0472-0475, U+0490-04C2, U+04CF-04D9, U+04DC-04E9, U+04EE-04F9, U+0524-0525;
}
@font-face {
	font-family: 'IBM Plex Sans';
	font-style: italic;
	font-weight: 500;
	font-display: optional;
	src: url("/IBMPlexSans-MediumItalic-Greek.woff2") format("woff2");
	unicode-range: U+037E, U+0386-038A, U+038C, U+038E-03A1, U+03A3-03CE;
}
@font-face {
	font-family: 'IBM Plex Sans';
	font-style: italic;
	font-weight: 500;
	font-display: optional;
	src: url("/IBMPlexSans-MediumItalic-Latin1.woff2") format("woff2");
	unicode-range: U+0000, U+000D, U+0020-007E, U+00A0-00FF, U+0131, U+0152-0153, U+02C6, U+02DA, U+02DC, U+2013-2014, U+2018-201A, U+201C-201E, U+2020-2022, U+2026, U+2030, U+2039-203A, U+2044, U+20AC, U+2122, U+2212, U+FB01-FB02;
}
@font-face {
	font-family: 'IBM Plex Sans';
	font-style: italic;
	font-weight: 500;
	font-display: optional;
	src: url("/IBMPlexSans-MediumItalic-Latin2.woff2") format("woff2");
	unicode-range: U+0100-0101, U+0104-0130, U+0132-0151, U+0154-017F, U+018F, U+0192, U+01A0-01A1, U+01AF-01B0, U+01FA-01FF, U+0218-021B, U+0237, U+0259, U+1E80-1E85, U+1E9E, U+20A1, U+20A4, U+20A6, U+20A8-20AA, U+20AD-20AE, U+20B1-20B2, U+20B4-20B5, U+20B8-20BA, U+20BD, U+20BF;
}
@font-face {
	font-family: 'IBM Plex Sans';
	font-style: italic;
	font-weight: 500;
	font-display: optional;
	src: url("/IBMPlexSans-MediumItalic-Latin3.woff2") format("woff2");
	unicode-range: U+0102-0103, U+01CD-01DC, U+1EA0-1EF9, U+20AB;
}
@font-face {
	font-family: 'IBM Plex Sans';
	font-style: italic;
	font-weight: 500;
	font-display: optional;
	src: url("/IBMPlexSans-MediumItalic-Pi.woff2") format("woff2");
	unicode-range: U+0E3F, U+2000-200D, U+2015, U+2028-2029, U+202F, U+2032-2033, U+2070, U+2074-2079, U+2080-2089, U+2113, U+2116, U+2126, U+212E, U+2150-2151, U+2153-215E, U+2190-2199, U+21A9-21AA, U+21B0-21B3, U+21B6-21B7, U+21BA-21BB, U+21C4, U+21C6, U+2202, U+2206, U+220F, U+2211, U+2215, U+221A, U+221E, U+222B, U+2248, U+2260, U+2264-2265, U+25CA, U+2713, U+274C, U+2B0E-2B11, U+ECE0, U+EFCC, U+FEFF, U+FFFD;
}
@font-face {
	font-family: 'IBM Plex Mono';
	font-style: normal;
	font-weight: 400;
	font-display: optional;
	src: url("/IBMPlexMono-Regular-Cyrillic.woff2") format("woff2");
	unicode-range: U+0400-045F, U+0462-0463, U+046A-046B, U+0472-0475, U+0490-04C2, U+04CF-04D9, U+04DC-04E9, U+04EE-04F9, U+0524-0525;
}
@font-face {
	font-family: 'IBM Plex Mono';
	font-style: normal;
	font-weight: 400;
	font-display: optional;
	src: url("/IBMPlexMono-Regular-Latin1.woff2") format("woff2");
	unicode-range: U+0020-007E, U+00A0-00FF, U+0131, U+0152-0153, U+02C6, U+02DA, U+02DC, U+2013-2014, U+2018-201A, U+201C-201E, U+2020-2022, U+2026, U+2030, U+2039-203A, U+2044, U+20AC, U+2122, U+2212, U+FB01-FB02;
}
@font-face {
	font-family: 'IBM Plex Mono';
	font-style: normal;
	font-weight: 400;
	font-display: optional;
	src: url("/IBMPlexMono-Regular-Latin2.woff2") format("woff2");
	unicode-range: U+0100-0101, U+0104-0130, U+0132-0151, U+0154-017F, U+018F, U+0192, U+01A0-01A1, U+01AF-01B0, U+01FA-01FF, U+0218-021B, U+0237, U+0259, U+1E80-1E85, U+1E9E, U+20A1, U+20A4, U+20A6, U+20A8-20AA, U+20AD-20AE, U+20B1-20B2, U+20B4-20B5, U+20B8-20BA, U+20BD, U+20BF;
}
@font-face {
	font-family: 'IBM Plex Mono';
	font-style: normal;
	font-weight: 400;
	font-display: optional;
	src: url("/IBMPlexMono-Regular-Latin3.woff2") format("woff2");
	unicode-range: U+0102-0103, U+01CD-01DC, U+1EA0-1EF9, U+20AB;
}
@font-face {
	font-family: 'IBM Plex Mono';
	font-style: normal;
	font-weight: 400;
	font-display: optional;
	src: url("/IBMPlexMono-Regular-Pi.woff2") format("woff2");
	unicode-range: U+03C0, U+0E3F, U+2000-200D, U+2028-2029, U+202F, U+2032-2033, U+205F, U+2070, U+2074-2079, U+2080-2089, U+2113, U+2116, U+2126, U+212E, U+2150-2151, U+2153-215E, U+2190-2199, U+21A9-21AA, U+21B0-21B3, U+21B6-21B7, U+21BA-21BB, U+21C4, U+21C6, U+2202, U+2206, U+220F, U+2211, U+2215, U+221A, U+221E, U+222B, U+2248, U+2260, U+2264-2265, U+2500-259F, U+25CA, U+2713, U+274C, U+2B0E-2B11, U+3000, U+FEFF, U+FFFD;
}