body[a="dark"] {
	background-color: #0f0e0e;
	color: #aaa
}

body[a="dark"] a {
	color: #ddd
}

body[a="dark"] a:visited {
	color: #ddd
}

body[a="dark"] details {
	border: thin solid #aaa
}

body[a="dark"] details summary {
	color: #aaa
}

body[a="dark"] details[open] summary {
	border-bottom: 1px solid #aaa
}

body[a="dark"] pre {
	background: #0f0e0e
}

body[a="dark"] code:not(pre>code) {
	background-color: #aaa;
	color: #0f0e0e
}

body[a="dark"] *:target {
	background: #2f3849;
	color: #aaa
}

body[a="dark"] table,
body[a="dark"] th,
body[a="dark"] td {
	border: thin solid #aaa
}

body[a="dark"] tr:nth-child(even) {
	background-color: #eeeeee
}

body[a="dark"] .toc {
	border: thin solid #aaa;
	padding: 1rem
}

body[a="dark"] figcaption {
	color: #000
}

body[a="dark"] blockquote {
	border: thin solid #aaa
}

body[a="light"] {
	background-color: #f9f9f9;
	color: #4a4a4a
}

body[a="light"] a {
	color: #5690AF
}

body[a="light"] a:visited {
	color: #5690AF
}

body[a="light"] details {
	border: thin solid #4a4a4a
}

body[a="light"] details summary {
	color: #4a4a4a
}

body[a="light"] details[open] summary {
	border-bottom: 1px solid #4a4a4a
}

body[a="light"] pre {
	background: #f9f9f9
}

body[a="light"] code:not(pre>code) {
	background-color: #4a4a4a;
	color: #f9f9f9
}

body[a="light"] *:target {
	background: #dae5ec;
	color: #4a4a4a
}

body[a="light"] table,
body[a="light"] th,
body[a="light"] td {
	border: thin solid #4a4a4a
}

body[a="light"] tr:nth-child(even) {
	background-color: #eeeeee
}

body[a="light"] .toc {
	border: thin solid #4a4a4a;
	padding: 1rem
}

body[a="light"] figcaption {
	color: #595959
}

body[a="light"] blockquote {
	border: thin solid #4a4a4a
}

@media (prefers-color-scheme: dark) {
	body[a="auto"] {
		background-color: #0f0e0e;
		color: #aaa
	}

	body[a="auto"] a {
		color: #ddd
	}

	body[a="auto"] a:visited {
		color: #ddd
	}

	body[a="auto"] details {
		border: thin solid #aaa
	}

	body[a="auto"] details summary {
		color: #aaa
	}

	body[a="auto"] details[open] summary {
		border-bottom: 1px solid #aaa
	}

	body[a="auto"] pre {
		background: #0f0e0e
	}

	body[a="auto"] code: not(pre>code) {
		background-color: #aaa;
		color: #0f0e0e
	}

	body[a="auto"] *:target {
		background: #2f3849;
		color: #aaa
	}

	body[a="auto"] table,
	body[a="auto"] th,
	body[a="auto"] td {
		border: thin solid #aaa
	}

	body[a="auto"] tr:nth-child(even) {
		background-color: #eeeeee
	}

	body[a="auto"] .toc {
		border: thin solid #aaa;
		padding: 1rem
	}

	body[a="auto"] figcaption {
		color: #000
	}

	body[a="auto"] blockquote {
		border: thin solid #aaa
	}
}

@media (prefers-color-scheme: light) {
	body[a="auto"] {
		background-color: #f9f9f9;
		color: #4a4a4a
	}

	body[a="auto"] a {
		color: #5690AF
	}

	body[a="auto"] a:visited {
		color: #5690AF
	}

	body[a="auto"] details {
		border: thin solid #4a4a4a
	}

	body[a="auto"] details summary {
		color: #4a4a4a
	}

	body[a="auto"] details[open] summary {
		border-bottom: 1px solid #4a4a4a
	}

	body[a="auto"] pre {
		background: #f9f9f9
	}

	body[a="auto"] code:not(pre>code) {
		background-color: #4a4a4a;
		color: #f9f9f9
	}

	body[a="auto"] *:target {
		background: #dae5ec;
		color: #4a4a4a
	}

	body[a="auto"] table,
	body[a="auto"] th,
	body[a="auto"] td {
		border: thin solid #4a4a4a
	}

	body[a="auto"] tr:nth-child(even) {
		background-color: #eeeeee
	}

	body[a="auto"] .toc {
		border: thin solid #4a4a4a;
		padding: 1rem
	}

	body[a="auto"] figcaption {
		color: #595959
	}

	body[a="auto"] blockquote {
		border: thin solid #4a4a4a
	}
}

html {
	height: 100%
}

body {
	font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, "Noto Sans", sans-serif;
	font-size: 1.2rem;
	line-height: 1.5;
	margin: 0;
	min-height: 100%;
	overflow-wrap: break-word
}

h2,
h3,
h4,
h5,
h6 {
	margin-top: 1.5rem
}

p {
	margin: 1rem 0
}

h1 {
	font-size: 2em
}

li {
	margin: 0.4rem 0
}

li span {
	font-family: monospace
}

ul a {
	text-decoration: none
}

ul a:hover {
	text- decoration: underline
}

li a {
	text-decoration: none
}

li a:hover {
	text-decoration: underline
}

a {
	text-decoration: none
}

a:hover {
	text-decoration: underline
}

pre {
	padding: 1em;
	overflow-x: auto
}

table {
	width: 100%
}

table,
th,
td {
	border-collapse: collapse;
	padding: 0.4rem
}

code {
	font-family: Courier, monospace;
	font-size: 80%;
	-ms-text-size-adjust: 100%;
	-moz-text-size-adjust: 100%;
	-webkit-text-size-adjust: 100%
}

code:not(pre>code) {
	padding: 0.1em 0.2em;
	font-size: 90%
}

code.has-jax {
	-webkit-font-smoothing: antialiased;
	background: inherit !important;
	border: none !important;
	font-size: 100%
}

blockquote {
	padding: 1rem
}

blockquote p {
	margin: 0
}

img {
	max-width: 100%;
	display: block
}

figcaption {
	text-align: center;
	opacity: 0.5
}

details {
	padding: 1rem
}

details summary {
	text-decoration: none
}

details[open] summary {
	margin-bottom: 0.5em;
	padding-bottom: 0.5em
}

.w {
	max-width: 1000px;
	margin: 0 auto;
	padding: 2rem 2rem
}

.toc {
	padding: 1rem
}

.ascii-header {
  font-family: "Courier New", Courier, monospace;
  white-space: pre;             /* preserves spaces and line breaks */
  line-height: 1;               /* lock line spacing — adjust if needed */
  font-size: 12px;              /* choose a fixed size */
  letter-spacing: 0;            /* avoid variable spacing */
  display: block;
  margin: 0;
  padding: 0;
  #line-height: 16px;
  overflow-y: auto;         /* or 'hidden' if you never want scroll */
  -ms-overflow-style: none; /* IE/Edge */
  scrollbar-width: none;
}