@font-face {
  font-family: valkyrie_a;
  font-style: normal;
  font-weight: normal;
  font-stretch: normal;
  font-display: swap;
  src: url(/fonts/valkyrie/valkyrie_a_regular.woff2), url(/fonts/valkyrie/valkyrie_a_regular.woff);
}
@font-face {
  font-family: valkyrie_a;
  font-style: italic;
  font-weight: normal;
  font-stretch: normal;
  font-display: swap;
  src: url(/fonts/valkyrie/valkyrie_a_italic.woff2), url(/fonts/valkyrie/valkyrie_a_italic.woff);
}
@font-face {
  font-family: valkyrie_a;
  font-style: normal;
  font-weight: bold;
  font-stretch: normal;
  font-display: swap;
  src: url(/fonts/valkyrie/valkyrie_a_bold.woff2), url(/fonts/valkyrie/valkyrie_a_bold.woff);
}
@font-face {
  font-family: valkyrie_a;
  font-style: italic;
  font-weight: bold;
  font-stretch: normal;
  font-display: swap;
  src: url(/fonts/valkyrie/valkyrie_a_bold_italic.woff2), url(/fonts/valkyrie/valkyrie_a_bold_italic.woff);
}
@font-face {
  font-family: valkyrie_a_caps;
  font-style: normal;
  font-weight: normal;
  font-stretch: normal;
  font-display: swap;
  src: url(/fonts/valkyrie/valkyrie_a_caps_regular.woff2), url(/fonts/valkyrie/valkyrie_a_caps_regular.woff);
}
@font-face {
  font-family: valkyrie_a_caps;
  font-style: normal;
  font-weight: bold;
  font-stretch: normal;
  font-display: swap;
  src: url(/fonts/valkyrie/valkyrie_a_caps_bold.woff2), url(/fonts/valkyrie/valkyrie_a_caps_bold.woff);
}
@font-face {
  font-family: valkyrie_a_tab;
  font-style: normal;
  font-weight: normal;
  font-stretch: normal;
  font-display: auto;
  src: url(/fonts/valkyrie/valkyrie_a_tab_caps_regular.woff2), url(/fonts/valkyrie/valkyrie_a_tab_caps_regular.woff);
}
@font-face {
  font-family: triplicate_a;
  font-style: normal;
  font-weight: normal;
  font-stretch: normal;
  font-display: auto;
  src: url(/fonts/triplicate/triplicate_ot_a_regular.woff2);
}
@font-face {
  font-family: triplicate_a;
  font-style: italic;
  font-weight: normal;
  font-stretch: normal;
  font-display: auto;
  src: url(/fonts/triplicate/triplicate_ot_a_italic.woff2);
}
@font-face {
  font-family: triplicate_a;
  font-style: normal;
  font-weight: bold;
  font-stretch: normal;
  font-display: auto;
  src: url(/fonts/triplicate/triplicate_ot_a_bold.woff2);
}
@font-face {
  font-family: triplicate_a;
  font-style: italic;
  font-weight: bold;
  font-stretch: normal;
  font-display: auto;
  src: url(/fonts/triplicate/triplicate_ot_a_bold_italic.woff2);
}
:root {
  --header-font: valkyrie_a_caps, Noto Serif SC, Palatino, Palatino Linotype, Palatino LT STD, Book Antiqua, Georgia, serif, Noto Emoji;
  --paragraph-font: valkyrie_a, Noto Serif SC, Palatino, Palatino Linotype, Palatino LT STD, Book Antiqua, Georgia, serif, Noto Emoji;
  --tab-font: valkyrie_a_tabs, monospace;
  --code-font: Consolas, "Liberation Mono", Menlo, Courier, monospace, "Noto Emoji";
  --monospace: triplicate_a, monospace;
}

:root {
  --background: #ffffff;
  --text: #000000;
  --colour-dim: #1a11a;
  --hyperlink: #0044cc;
  --hyperlink-active: #bb1122;
  --hyperlink-visited: #884488;
}

eode span {
  font-size: 0.8rem;
}

html, body, div, span, object, iframe,
h1, h2, h3, h4, h5, h6, p, blockquote, pre,
a, abbr, acronym, address, code, figure picture,
del, dfn, em, img, q, dl, dt, dd, ol, ul, li,
fieldset, form, label, legend, figure, figcaption,
table, caption, tbody, tfoot, thead, tr, th, td {
  margin: 0;
  padding: 0;
  border: 0;
  font-weight: inherit;
  font-style: inherit;
  font-size: 100%;
  font-family: inherit;
  vertical-align: baseline;
  max-width: 100%;
}

html, body {
  text-rendering: optimizeLegibility;
}

body {
  color: var(--text);
  background: var(--background);
  font-family: var(--paragraph-font);
  font-size: 1rem;
  line-height: 1.5;
  padding: 1rem;
  position: relative;
}

.thumbnail {
  width: 100%;
  height: auto;
  margin-left: auto;
  margin-right: auto;
  margin-top: 0;
}
.thumbnail img {
  width: 100%;
  height: auto;
  margin: 0;
}

main {
  max-width: 60rem;
  margin-left: auto;
  margin-right: auto;
}

p.subtitle,
em,
i {
  font-style: italic;
}

h1 {
  font-size: 1.375rem;
  /* margin-top: 3rem; */
  margin-bottom: 1rem;
  line-height: 1.15;
}

h1,
h2,
h3,
h4,
h5,
h6,
strong,
b {
  font-weight: bold;
}

h2 {
  font-size: 1.25rem;
  margin-top: 2.25rem;
  margin-bottom: 1rem;
}

h3 {
  font-size: 1.125rem;
  margin-top: 1.5rem;
  margin-bottom: 0.75rem;
}

h4 {
  font-size: 1rem;
}

h4, h5, h6 {
  margin-top: 1rem;
  margin-bottom: 0.5rem;
}

hr {
  margin-top: 3rem;
  margin-bottom: 3rem;
}

p.subtitle {
  font-size: 1.125rem;
  margin-top: 1.3rem;
  margin-bottom: 2rem;
  display: block;
}

@media only screen and (max-width: 750px) {
  .page-title {
    margin-bottom: 2rem;
  }
}
p {
  margin-bottom: 1rem;
}

p, li, dd, blockquote, td {
  hyphens: auto;
  hyphenate-limit-chars: 10 3 4;
  -webkit-hyphenate-limit-before: 3;
  -webkit-hyphenate-limit-after: 4;
  -ms-hyphenate-limit-chars: 10 3 4;
}

dl {
  gap: 0.25rem;
  margin-top: 1.5rem;
  margin-bottom: 1.5rem;
}

dt {
  display: inline;
  font-weight: bold;
}

dt::after {
  content: ", ";
  font-weight: bold;
}

dd {
  display: inline;
  margin: 0;
}

dd::after {
  content: "\a";
  white-space: pre;
  display: block;
  font-size: 0.5rem;
}

ol,
ul {
  margin-top: 1rem;
  margin-bottom: 1rem;
}
ol ol, ol ul,
ul ol,
ul ul {
  margin-top: 0.5rem;
  margin-bottom: 0.5rem;
}

li {
  margin-bottom: 0.5rem;
  margin-left: 1.5rem;
}

ol {
  list-style-type: disk;
}

ol {
  list-style-type: decimal;
}

img {
  display: block;
  max-width: 100%;
  width: auto;
  height: auto;
  margin-left: auto;
  margin-right: auto;
}

video {
  display: block;
  margin: 1.5rem auto;
  max-width: 100%;
  width: auto;
  max-height: 80vh;
  height: auto;
  padding: 0.2rem;
}

figure {
  margin-top: 2rem;
  margin-bottom: 2rem;
  text-align: center;
}

figcaption {
  font-size: 0.95rem;
  font-style: italic;
  margin-top: 0.5rem;
}

table {
  margin-top: 2rem;
  margin-bottom: 2rem;
  width: auto;
  max-width: 100%;
  font-size: 1rem;
}

table, th, td {
  border: 1px solid var(--text);
}

th, td {
  padding: 0.4rem 0.9rem;
}

th {
  font-weight: bold;
}

pre, code {
  font-family: var(--monospace);
}

pre, code {
  font-size: 0.8rem;
}

blockquote {
  margin: 1rem 2rem;
  padding: 0.5rem 1rem;
  font-style: italic;
}

blockquote footer {
  margin-top: 0;
  margin-bottom: 0;
  text-align: right;
}

cite {
  font-style: normal;
  font-size: 0.9rem;
}

sup {
  font-size: 0.75rem;
  vertical-align: super;
}

.footnotes {
  font-size: 0.9rem;
  margin-top: 2rem;
  padding-top: 1rem;
}

a {
  color: var(--hyperlink);
  text-decoration: underline;
}

a:hover {
  text-decoration: none;
}

.external {
  text-decoration-style: dotted;
}

footer {
  margin-top: 2rem;
  margin-bottom: 2rem;
  text-align: center;
}

/* Generated using: hugo gen chromastyles --style=algol */
.highlight {
  border: 1px solid #ddd;
  padding: 0.1rem 0.35rem;
}

figure.highlight {
  text-align: left;
  overflow-x: auto;
  max-width: 100%;
  width: auto;
}
figure.highlight figcaption {
  font-style: normal;
  font-weight: bold;
}

code {
  background-color: #efefef;
  padding: 0.1rem 0.35rem;
}

.chrome {
  margin-bottom: 1rem;
}
.chrome code {
  padding: 0;
}

pre table {
  margin-top: 0;
  margin-bottom: 0;
}

/* Background */
.bg {
  background-color: #efefef;
}

/* PreWrapper */
.chroma {
  background-color: #efefef;
}

/* Other */
/* Error */
/* CodeLine */
/* LineLink */
.chroma .lnlinks {
  outline: none;
  text-decoration: none;
  color: inherit;
}

/* LineTableTD */
.chroma .lntd {
  vertical-align: top;
  padding: 0;
  margin: 0;
  border: 0;
}

/* LineTable */
.chroma .lntable {
  border-spacing: 0;
  padding: 0;
  margin: 0;
  border: 0;
}

/* LineHighlight */
.chroma .hl {
  background-color: #e5e5e5;
}

/* LineNumbersTable */
.chroma .lnt {
  white-space: pre;
  -webkit-user-select: none;
  user-select: none;
  margin-right: 0.4em;
  padding: 0 0.4em 0 0.4em;
  color: #7f7f7f;
}

/* LineNumbers */
.chroma .ln {
  white-space: pre;
  -webkit-user-select: none;
  user-select: none;
  margin-right: 0.4em;
  padding: 0 0.4em 0 0.4em;
  color: #7f7f7f;
  font-size: 0.8rem;
}

/* Line */
.chroma .line {
  display: flex;
}

/* Keyword */
.chroma .k {
  font-weight: bold;
  text-decoration: underline;
}

/* KeywordConstant */
.chroma .kc {
  font-weight: bold;
  text-decoration: underline;
}

/* KeywordDeclaration */
.chroma .kd {
  font-weight: bold;
  font-style: italic;
  text-decoration: underline;
}

/* KeywordNamespace */
.chroma .kn {
  font-weight: bold;
  text-decoration: underline;
}

/* KeywordPseudo */
.chroma .kp {
  font-weight: bold;
  text-decoration: underline;
}

/* KeywordReserved */
.chroma .kr {
  font-weight: bold;
  text-decoration: underline;
}

/* KeywordType */
.chroma .kt {
  font-weight: bold;
  text-decoration: underline;
}

/* Name */
/* NameAttribute */
/* NameClass */
.chroma .nc {
  color: #666;
  font-weight: bold;
  font-style: italic;
}

/* NameConstant */
.chroma .no {
  color: #666;
  font-weight: bold;
  font-style: italic;
}

/* NameDecorator */
/* NameEntity */
/* NameException */
/* NameLabel */
/* NameNamespace */
.chroma .nn {
  color: #666;
  font-weight: bold;
  font-style: italic;
}

/* NameOther */
/* NameProperty */
/* NameTag */
/* NameBuiltin */
.chroma .nb {
  font-weight: bold;
  font-style: italic;
}

/* NameBuiltinPseudo */
.chroma .bp {
  font-weight: bold;
  font-style: italic;
}

/* NameVariable */
.chroma .nv {
  color: #666;
  font-weight: bold;
  font-style: italic;
}

/* NameVariableClass */
.chroma .vc {
  color: #666;
  font-weight: bold;
  font-style: italic;
}

/* NameVariableGlobal */
.chroma .vg {
  color: #666;
  font-weight: bold;
  font-style: italic;
}

/* NameVariableInstance */
.chroma .vi {
  color: #666;
  font-weight: bold;
  font-style: italic;
}

/* NameVariableMagic */
.chroma .vm {
  color: #666;
  font-weight: bold;
  font-style: italic;
}

/* NameFunction */
.chroma .nf {
  color: #666;
  font-weight: bold;
  font-style: italic;
}

/* NameFunctionMagic */
.chroma .fm {
  color: #666;
  font-weight: bold;
  font-style: italic;
}

/* Literal */
/* LiteralDate */
/* LiteralString */
.chroma .s {
  color: #666;
  font-style: italic;
}

/* LiteralStringAffix */
.chroma .sa {
  color: #666;
  font-style: italic;
}

/* LiteralStringBacktick */
.chroma .sb {
  color: #666;
  font-style: italic;
}

/* LiteralStringChar */
.chroma .sc {
  color: #666;
  font-style: italic;
}

/* LiteralStringDelimiter */
.chroma .dl {
  color: #666;
  font-style: italic;
}

/* LiteralStringDoc */
.chroma .sd {
  color: #666;
  font-style: italic;
}

/* LiteralStringDouble */
.chroma .s2 {
  color: #666;
  font-style: italic;
}

/* LiteralStringEscape */
.chroma .se {
  color: #666;
  font-style: italic;
}

/* LiteralStringHeredoc */
.chroma .sh {
  color: #666;
  font-style: italic;
}

/* LiteralStringInterpol */
.chroma .si {
  color: #666;
  font-style: italic;
}

/* LiteralStringOther */
.chroma .sx {
  color: #666;
  font-style: italic;
}

/* LiteralStringRegex */
.chroma .sr {
  color: #666;
  font-style: italic;
}

/* LiteralStringSingle */
.chroma .s1 {
  color: #666;
  font-style: italic;
}

/* LiteralStringSymbol */
.chroma .ss {
  color: #666;
  font-style: italic;
}

/* LiteralNumber */
/* LiteralNumberBin */
/* LiteralNumberFloat */
/* LiteralNumberHex */
/* LiteralNumberInteger */
/* LiteralNumberIntegerLong */
/* LiteralNumberOct */
/* Operator */
/* OperatorWord */
.chroma .ow {
  font-weight: bold;
}

/* Punctuation */
/* Comment */
.chroma .c {
  color: #888;
  font-style: italic;
}

/* CommentHashbang */
.chroma .ch {
  color: #888;
  font-style: italic;
}

/* CommentMultiline */
.chroma .cm {
  color: #888;
  font-style: italic;
}

/* CommentSingle */
.chroma .c1 {
  color: #888;
  font-style: italic;
}

/* CommentSpecial */
.chroma .cs {
  color: #888;
  font-weight: bold;
}

/* CommentPreproc */
.chroma .cp {
  color: #888;
  font-weight: bold;
}

/* CommentPreprocFile */
.chroma .cpf {
  color: #888;
  font-weight: bold;
}

/* Generic */
/* GenericDeleted */
/* GenericEmph */
/* GenericError */
/* GenericHeading */
/* GenericInserted */
/* GenericOutput */
/* GenericPrompt */
/* GenericStrong */
/* GenericSubheading */
/* GenericTraceback */
/* GenericUnderline */
/* TextWhitespace */
.site-nav {
  max-width: 60rem;
  margin-left: auto;
  margin-right: auto;
  color: #8a8a8a;
}
.site-nav ul {
  display: flex;
  flex-wrap: wrap;
  overflow-y: auto;
  white-space: nowrap;
  align-items: center;
  list-style: none;
}
.site-nav li {
  display: flex;
  align-items: center;
  font-size: 0.75rem;
  text-transform: uppercase;
  letter-spacing: 1.7325px;
  margin-left: 0;
}
.site-nav li a {
  color: #8a8a8a;
}
.site-nav h1 a {
  color: var(--text);
}
.site-nav a {
  text-decoration: none;
}
.site-nav a:hover {
  color: var(--text);
  font-weight: bold;
  border-bottom: none;
}
.site-nav .separator {
  margin: 0 0.5rem;
}

.active {
  font-style: italic;
}

.heading-anchor {
  display: none;
  visibility: collapse;
}

h2:hover .heading-anchor,
h3:hover .heading-anchor,
h4:hover .heading-anchor,
h5:hover .heading-anchor {
  display: inline-block;
  visibility: visible;
  text-decoration: none;
}

.loc {
  display: none;
  visibility: hidden;
}

.volumes {
  color: var(--colour-dim);
}

.rounded img {
  border-radius: 50%;
}

.lines {
  color: var(--text);
  font-family: var(--sans-serif);
}

.break {
  height: 3rem;
}

.break {
  border: none;
  text-align: center;
  margin: 1.5rem 0;
  font-size: 1rem;
}

.break::after {
  content: "***";
  display: inline-block;
}

.toc {
  background-color: #fafafa;
  border: 1px solid #ddd;
  width: 30%;
  float: right;
  margin-left: 1rem;
  margin-bottom: 0.5rem;
  padding: 1em 1.25em;
  z-index: 999;
  position: relative;
  box-sizing: border-box;
}

.toc nav > ul {
  margin: 0;
  padding-left: 0.5rem;
}

.toc ul a {
  font-size: 0.8rem;
}

.toc ul > li {
  line-height: 1.5;
}

.toc ul ul {
  margin: 0 !important;
}

.toc h2 {
  margin: 0 0 0.6rem 0 !important;
  font-size: 1rem;
  font-weight: normal;
}

@media screen and (max-width: 900px) {
  .toc {
    display: none !important;
  }
}
body {
  counter-reset: h2;
}

h2 {
  counter-reset: h3;
}

h3 {
  counter-reset: h4;
}

h4 {
  counter-reset: h5;
}

.autonumbering h2:before {
  counter-increment: h2;
  content: counter(h2) ". ";
}
.autonumbering h3:before {
  counter-increment: h3;
  content: counter(h2) "." counter(h3) ". ";
}
.autonumbering h4:before {
  counter-increment: h4;
  content: counter(h2) "." counter(h3) "." counter(h4) ". ";
}
.autonumbering .toc ul {
  counter-reset: item;
}
.autonumbering .toc li a:before {
  content: counters(item, ".") ". ";
  counter-increment: item;
}

/*# sourceMappingURL=style.css.map */