@charset "UTF-8";
@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_tab;
  font-style: normal;
  font-weight: normal;
  font-stretch: normal;
  font-display: auto;
  src: url(/fonts/valkyrie/valkyrie_a_tab_regular.woff2), url(/fonts/valkyrie/valkyrie_a_tab_regular.woff);
}
@font-face {
  font-family: valkyrie_a_tab;
  font-style: italic;
  font-weight: normal;
  font-stretch: normal;
  font-display: auto;
  src: url(/fonts/valkyrie/valkyrie_a_italic.woff2), url(/fonts/valkyrie/valkyrie_a_italic.woff);
}
@font-face {
  font-family: valkyrie_a_tab;
  font-style: normal;
  font-weight: bold;
  font-stretch: normal;
  font-display: auto;
  src: url(/fonts/valkyrie/valkyrie_a_bold.woff2), url(/fonts/valkyrie/valkyrie_a_bold.woff);
}
@font-face {
  font-family: valkyrie_a_tab;
  font-style: italic;
  font-weight: bold;
  font-stretch: normal;
  font-display: auto;
  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);
}
:root {
  --body-font: valkyrie_a, Valkyrie, "Times New Roman", Georgia, Times, "Liberation Serif", "DejaVu Serif", serif;
  --header-font: valkyrie_a_caps;
  --table-font: valkyrie_a_tab;
}

html {
  font-family: var(--body-font);
  -webkit-font-smoothing: subpixel-antialiased;
  font-feature-settings: "kern", "liga", "clig", "calt";
  font-variant-numeric: oldstyle-nums;
}

h1,
h2 a,
h3 a,
.archive-post a {
  font-family: var(--header-font), var(--body-font);
}

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

h1,
h2,
h3,
h4,
th,
dt {
  font-weight: bold;
}

table,
.archive-post span {
  font-family: var(--table-font), var(--body-font);
}

code,
pre,
kbd {
  font-family: monospace;
}

kbd {
  font-size: 0.75em;
  font-weight: bold;
}

:root {
  --body-color: black;
  --body-bg-color: #fafafa;
  --link: black;
  --link-hover: rgb(130 130 130);
  --link-active: rgb(130 130 130);
  --color-dim: rgb(130 130 130);
  --border: 0.125rem solid var(--body-color);
  --cite: #ddd;
  --code:;
  --code-background: #ddd;
  --pre-background: #f5f5f5;
  --kbd-background: #eee;
  --kbd-border: #ccc;
  --body-filter: none;
  --media-filter: none;
  --shadow: 5px 5px 5px #eee;
  --kbd-shadow: 3px 3px 5px #ddd;
  --image-border: #ddd;
  --warning: #f8d7da;
  --normal: #fdf8e4;
}

html {
  background: var(--body-bg-color);
}

.chroma code {
  color: var(--code);
}

body {
  color: var(--body-color);
}

h2 a,
h3 a {
  display: block;
  border-bottom: var(--border);
  padding-bottom: 0.3em;
  text-decoration: none;
}

blockquote {
  background: var(--pre-background);
  border-left: var(--border);
}
blockquote footer::before {
  color: var(--body-text);
}

a {
  color: var(--link);
}
a:hover {
  color: var(--link-active);
}

code {
  background-color: var(--body-color);
  color: var(--body-bg-color);
}

pre code {
  color: var(--body-color);
}

kbd {
  background: var(--kbd-background);
  border: 0.063em solid var(--kbd-border);
}

#site-header {
  border-bottom: var(--border);
}

#site-footer {
  border-top: var(--border);
}

img,
video,
iframe {
  border: var(--border);
}

.blank {
  pointer-events: none;
  border: none;
}

pre {
  border: var(--body-color);
}

.special,
.toc {
  border: var(--border);
}

.special,
.toc,
figure.left,
figure.right {
  background: var(--pre-background);
}

table thead,
table tr:hover {
  background: var(--pre-background) !important;
}
table td,
table th {
  border: 0.006em solid var(--body-color);
}

.normal {
  background: var(--normal);
  border: var(--border);
}
.normal blockquote {
  background: var(--normal);
}

.warning {
  background: var(--warning);
  border: var(--border);
}

body,
h1,
h2,
h3,
h4,
p,
ul,
ol,
li,
figure,
figcaption,
dl,
dd {
  margin: 0;
}

@media (prefers-reduced-motion: no-preference) {
  html {
    scroll-behavior: smooth;
  }
}
div.clearfix::after {
  content: "";
  display: table;
  clear: both;
}

body {
  max-width: 80rem;
  width: 100%;
  width: 100%;
  margin: 0 auto;
  padding: 2rem 2rem;
  min-height: 100vh;
  overflow: visible;
  box-sizing: border-box;
}

@media screen and (max-width: 864px) {
  body {
    padding: 2rem 1rem;
  }
}
html, body, main, article {
  overflow: visible !important; /* Use !important to override any inherited styles */
}

prose.article {
  max-width: 60rem !important;
  margin: auto;
}

#site-header {
  padding: 1.25em 0em;
}
#site-header .logo {
  display: block;
}
#site-header .logo p {
  margin: 0 !important;
  font-size: 1.8em;
  font-weight: bold;
}

ul.menu {
  margin: 0 auto;
  padding: 0;
  text-align: left;
}
ul.menu li {
  padding: 0.25em 0.625em;
  display: inline-block;
  vertical-align: middle;
  transform: translateZ(0);
  backface-visibility: hidden;
  position: relative;
  overflow: hidden;
}
ul.menu li:first-child {
  padding-left: 0;
}
ul.menu button {
  border: none;
  background: none;
  font-size: 1em;
  padding: 0;
  margin-right: 0;
  cursor: pointer;
  color: var(--body-color);
  text-decoration: none;
}
ul.menu button:hover {
  font-weight: bold;
}

main,
article {
  overflow: auto;
}

#site-footer {
  padding-top: 2em;
}

.rss {
  padding: 0.125em 0;
  float: right;
  text-align: right;
  display: none;
}
.rss .icon {
  width: 2em;
  height: 2em;
  display: inline-block;
  margin: 0 0.25em;
}

@media screen and (max-width: 800px) {
  .rss {
    display: none;
  }
}
.archive-list {
  margin-top: 1em;
}

.archive-post {
  display: flex;
  align-items: baseline;
  border-bottom: var(--border);
  padding: 1em;
  margin: 0;
}
.archive-post span {
  margin: 0;
  opacity: 0.6;
  width: 5em;
}
.archive-post a {
  margin: 0;
  flex: 1;
  text-decoration: none;
}
.archive-post svg {
  margin: 0;
  opacity: 0.6;
  width: 1.5em;
  height: 1.5em;
  align-self: center;
  flex: 0 0 auto;
  margin-left: 0.5em;
}

@media screen and (max-width: 800px) {
  .archive-post span {
    width: 4.063em;
  }
}
@media screen and (max-width: 700px) {
  .archive-post svg {
    display: none;
  }
}
div.terms::after {
  clear: both;
}
div.terms a {
  padding: 0.625em;
  background-color: var(--pre-background);
  display: block;
  float: left;
  margin: 0.938em 0.938em 0 0;
  color: var(--body-color);
  border: var(--border);
}
div.terms a:hover {
  background-color: var(--body-color);
  color: var(--pre-background);
  font-weight: bold;
}
div.terms a en {
  float: right;
  margin: -0.625em -0.625em -0.625em 0.625em;
  padding: 0.625em;
  display: inline;
  position: relative;
  overflow: hidden;
  background-color: var(--body-color);
  color: var(--body-bg-color);
}

nav.section-list {
  margin: 1.5em 0;
  padding: 1em;
  width: 100%;
  border: var(--border);
  background: var(--pre-background);
  box-sizing: border-box;
}
nav.section-list ul {
  padding: 0;
  margin: 0;
}
nav.section-list ul li {
  display: inline;
  padding: 0 0.625em 0 0;
}

.posts a span {
  color: var(--body-color);
}

.home-grid article section.posts {
  list-style: none;
  width: 100%;
  display: grid;
  grid-template-columns: repeat(6, 1fr);
  gap: 1em;
  margin-top: 1rem;
}
.home-grid article section.posts div.featured-post {
  grid-column: span 6 !important;
}
.home-grid article section.posts div.post {
  grid-column: span 2;
  margin: 0;
}
.home-grid article section.posts div.post a {
  text-decoration: none;
}
.home-grid article section.posts div.post a:hover {
  font-weight: normal;
}

@media screen and (min-width: 640px) {
  div.featured-post a {
    display: grid;
    grid-template-columns: repeat(4, 1fr);
    gap: 1rem;
    width: 100%;
  }
  div.featured-post a div.text {
    grid-column: span 2;
  }
  div.featured-post a div.featured-cover-image {
    grid-column: span 2;
  }
}
@media screen and (min-width: 960px) {
  div.featured-post a {
    display: grid;
    grid-template-columns: repeat(4, 1fr);
    gap: 1rem;
    width: 100%;
  }
  div.featured-post a div.text {
    grid-column: span 1;
  }
  div.featured-post a div.featured-cover-image {
    grid-column: span 3;
  }
}
@media screen and (max-width: 960px) {
  .home-grid article section.posts div.post {
    grid-column: span 3;
  }
}
@media screen and (max-width: 600px) {
  .home-grid article section.posts div.post {
    grid-column: span 6;
  }
}
div.featured-cover-image,
div.featured-image {
  margin-bottom: 0.5em;
  width: 100%;
  height: 210px;
  background-repeat: no-repeat;
  background-size: cover;
  background-position: center;
  mix-blend-mode: multiply;
}

div.featured-cover-image {
  height: 350px !important;
}

h2.index-title,
h3.index-title {
  font-family: var(--header-font), var(--body-font);
  margin: 0;
}

time.index-published {
  font-size: 0.85em;
  color: var(--color-dim);
}

@media screen and (min-width: 800px) {
  .col-2 > ul {
    columns: 2;
  }
  .col-3 > ul {
    columns: 3;
  }
}
footer#site-footer {
  text-align: left;
}
footer#site-footer div.left p.title {
  font-weight: bold;
  font-size: 1.25em;
}
@media screen and (min-width: 800px) {
  footer#site-footer {
    display: grid;
    grid-template-columns: repeat(3, 1fr);
  }
  footer#site-footer div.left {
    grid-column: span 2;
  }
  footer#site-footer div.right {
    grid-column: span 1;
  }
}
main {
  margin: auto;
}

@media screen and (min-width: 1100px) {
  main.prose {
    width: 100%;
  }
  main.prose div.prose-wrapper {
    display: grid;
    grid-template-columns: 50rem auto;
    gap: 2rem;
    width: 100%;
  }
  main.prose div.prose-wrapper div.meta {
    margin-top: 0;
  }
}
@media screen and (max-width: 1099px) {
  aside.toc {
    display: none;
  }
}
main.prose article {
  max-width: 60rem;
  width: 100%;
}
main.prose div.meta {
  width: 100%;
  font-size: 0.9em;
}

main.full {
  width: 100%;
}

body {
  line-height: 1.45;
  text-rendering: optimizeLegibility;
  font-size: 1rem;
}

main * + *,
footer * + *,
div.footnotes {
  margin: 0.5em 0 1em 0;
  box-sizing: border-box;
}

h1, h2, h3, h4, h5, h6 {
  display: block;
  line-height: 1.35;
}

h2, h3, h4, h5, h6 {
  padding-top: 0.5em;
  padding-bottom: 0.17em;
  margin: 1.25em 0 0.25em 0;
}

@media screen and (max-width: 640px) {
  h2, h3, h4, h5, h6 {
    margin: 0.25em 0 0.25em 0;
  }
}
h1 {
  font-size: 1.8em;
  margin-top: 1em;
  margin-bottom: 1em;
}

h2 {
  font-size: 1.5em;
}

h3 {
  font-size: 1.125em;
}

h4 {
  font-size: 1em;
}

@media screen and (max-width: 680px) {
  body {
    font-size: 0.91rem !important;
  }
  h1 {
    font-size: 1.5em !important;
  }
  h2 {
    font-size: 1.25em !important;
  }
  h3 {
    font-size: 1.125em !important;
  }
  p.subtitle {
    font-size: 1.1em !important;
  }
}
h2 a,
h3 a,
h4 a {
  font-weight: normal;
}

p.subtitle {
  font-size: 1.25em;
}

h1 + p.subtitle {
  margin-top: -1em;
}

p.published {
  margin-top: -1em;
  font-style: italic;
  color: var(--color-dim);
}

header {
  margin-bottom: 2em;
}

.break + p,
#meta + * {
  margin-top: 2.5em;
}

a {
  text-decoration-thickness: 0.006em;
  text-decoration: underline;
}
a:hover {
  font-weight: bold;
}
a .external {
  text-decoration-style: dotted;
}

.active {
  font-weight: italic;
}

ul,
ol {
  /*  margin-left: 1.6em;
    margin-right: 0;
    margin-inline-start: 1.6em; */
}

dl {
  margin-top: 0.2em;
  margin-bottom: 0.5em;
}

dt {
  margin-top: 0.4em;
  margin-bottom: 0.1em;
}

dd {
  margin-top: 0.4em;
  margin-bottom: 0.4em;
  margin-left: 1em;
}

li {
  margin-top: 0.1em;
  margin-bottom: 0;
}

ol ol,
ol ul,
ul ol,
ul ul {
  margin-top: 0;
}

blockquote {
  width: 100%;
  margin-left: 0em;
  box-sizing: border-box;
  padding: 0.625em;
}

blockquote footer {
  padding-top: 0.5em;
  margin: 0;
  text-align: left;
  display: block;
  font-size: 0.9em;
}
blockquote footer::before {
  content: "↳";
  padding-right: 0.5em;
}

cite {
  font-style: normal;
}

sup, sub {
  font-size: 0.75em;
}

sup {
  vertical-align: super;
  line-height: 0;
  position: relative;
}

figcaption {
  font-size: 0.9em;
  text-align: left;
  margin-top: 0.25em;
}

figure.left figcaption {
  margin-left: 0 !important;
}

figure.right figcaption {
  margin-right: 0 !important;
}

details summary {
  font-weight: bold;
}

.footnote-ref {
  text-decoration: none;
}

.footnotes ol {
  font-size: 0.9em;
}

hr {
  border: 0;
  border-bottom: var(--border);
  text-align: center;
}

footer {
  margin: 2em 0;
  text-align: center;
}

.center {
  text-align: center;
}

.center-margin {
  margin-left: auto;
  margin-right: auto;
}

.highlight {
  line-height: 1;
  text-align: left;
}

.hidden {
  display: none !important;
}

.normal,
.warning {
  font-size: 0.9em;
}

.chroma * + * {
  margin: 0;
}

figure.highlight {
  border: var(--border);
  display: block;
}

pre {
  padding: 0.5rem 0.8rem;
  max-width: 100%;
  overflow: auto;
}
pre code {
  position: relative;
  line-height: 1.5;
  padding: 0;
  background-color: transparent !important;
}
pre code span {
  margin-top: 0;
}

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

code {
  font-style: normal;
  padding: 0.1em 0.35em;
}

.notify code {
  padding: 0;
  background: none;
}

kbd {
  border-radius: 0.25em;
  display: inline-block;
  margin: 0 0.1em;
  overflow-wrap: break-word;
  padding: 0.1em 0.6em;
}

/* Generated using: hugo gen chromastyles --style=algol */
/* Background */
.bg {
  background-color: var(--body-bg-color);
}

/* PreWrapper */
.chroma {
  background-color: var(--body-bg-color);
}

/* 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;
}

/* 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;
}

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

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

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

/* 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;
}

/* 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;
}

/* OperatorWord */
.chroma .ow {
  font-weight: bold;
}

/* 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;
}

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

figure a {
  display: inline-block;
}

video {
  display: block;
  max-width: 100%;
  max-height: 80vh;
  height: auto;
}

iframe {
  display: block;
  margin: 1.5em auto;
  max-width: 100%;
  max-height: 80vh;
}

figure {
  display: table;
  margin-left: auto;
  margin-right: auto;
}
figure img {
  max-width: 100%;
  height: auto;
}
figure figcaption {
  display: table-caption;
  caption-side: bottom;
}

figure.left {
  text-align: left !important;
}

figure.right {
  text-align: right !important;
}

.thumbnail {
  width: 100%;
  height: auto;
  margin: 2em auto;
}
.thumbnail img {
  width: 100%;
  height: auto;
  margin: 0;
}

@media only screen and (min-width: 640px) {
  .float-right {
    width: 30%;
    max-width: 15em;
    float: right;
    margin-left: 1em;
    margin-bottom: 1em;
    margin-top: 1em;
    z-index: 999;
    position: relative;
    box-sizing: border-box;
    border: 1px solid var(--body-color);
    margin-top: 0;
    padding: 0.5rem;
  }
}
table {
  max-width: 100%;
  width: 100%;
  border-spacing: 0;
  border-collapse: collapse;
}
table th {
  text-align: left;
}
table td,
table th {
  padding: 0.313em 0.938em;
}

table tr th:rempty {
  display: none;
}

.taglist {
  text-align: center;
  clear: both;
}

#type_directory:before {
  content: "📁 ";
}

#type_paper:before {
  content: "📄 ";
}

#type_image:before {
  content: "📷 ";
}

#type_program:before {
  content: "💾 ";
}

.notify {
  position: relative;
  padding: 0.625em;
}
.notify .item {
  margin: 0;
}
.notify .item .title {
  display: inline-block;
  min-width: 5em;
  margin-right: 0.5em;
  text-align: right;
  font-weight: bold;
}
.notify .item a {
  word-wrap: break-word;
}

.prevnext .title {
  text-align: left !important;
  display: block !important;
  min-width: 100% !important;
  margin-right: 0 !important;
}
.prevnext div.contents {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 1em;
}
.prevnext div.contents p#prevart {
  text-align: left;
}
.prevnext div.contents #nextart {
  text-align: right !important;
}
.prevnext div.contents #nextart .title {
  text-align: right !important;
}

.toc {
  padding: 1em 1.25em;
}
.toc h2 {
  padding-bottom: 0.25em;
  margin: 0 0 0.625em 0 !important;
  padding: 0;
  font-size: 1em;
}
.toc ul {
  padding-left: 1em;
}

.pagination {
  margin-top: 2em;
  margin-bottom: 1em;
}
.pagination ul {
  list-style-type: none;
  text-align: center;
  margin: 0 !important;
  padding: 0 !important;
}
.pagination li {
  display: inline-block;
  margin-right: 4px;
  background-color: var(--kbd-background);
  border-radius: 3em;
}
.pagination li a {
  display: inline-block;
  color: var(--body-color);
  border-radius: 2em;
  margin: 5px;
  text-align: centre;
  text-decoration: none;
  transition: background-color 0.3s, border-color 0.3s;
  padding: 0 10px;
}
.pagination li a:hover,
.pagination li a:focus {
  background-color: var(--code-background);
}
.pagination li.current a {
  background-color: var(--code-background);
}

/* Pagination list */
/* Responsive design for smaller screens */
@media (max-width: 600px) {
  .pagination ul {
    gap: 5px;
  }
  .pagination li a {
    padding: 6px 10px;
    font-size: 14px;
  }
  .pagination li strong {
    font-size: 14px;
    padding: 6px 10px;
  }
}
.js textarea {
  width: 100%;
  height: 18.75rem;
  padding: 1rem;
  font-family: monospace;
  font-size: 0.9rem;
  box-sizing: border-box;
  resize: vertical;
  background: var(--pre-background);
  color: var(--body-color);
  border: var(--border);
}
.js textarea:focus {
  outline: none;
}
.js fieldset legend {
  padding: 0 0.625rem;
  font-weight: normal;
}
.js fieldset input {
  background-color: var(--kbd-background);
  width: 100%;
}
.js fieldset dl {
  font-size: 0.875rem;
}
.js fieldset dl, .js fieldset p, .js fieldset ul {
  margin: 0;
}
.js dl dt {
  float: left;
  margin-right: 0.625rem;
  padding: 0.313rem;
  width: 7.5rem;
}
.js .toolbar {
  clear: both;
}
.js dl dd {
  margin: 0.125rem 0;
  padding: 0.313rem 0;
}
.js input, .js select, .js button {
  padding: 0.125rem 0.625rem;
  text-align: center;
  font-size: 1rem;
  background-color: var(--pre-background);
  color: var(--body-color);
  border: var(--border);
  font-family: var(--header-font), var(--body-font);
  cursor: pointer;
}
.js input:hover, .js select:hover, .js button:hover {
  font-weight: bold;
}
.js select {
  padding: 0.5rem 0.625rem;
  border: 0;
  background-color: var(--body-color);
  color: var(--body-bg-color);
}
.js select.small {
  width: 5rem;
}
.js input.small {
  width: 3.75rem;
}
.js input.usmall {
  width: 1.75rem;
  float: right;
}
.js input.medium {
  width: 6.25rem;
}
.js input.large {
  width: 18.75rem;
  text-align: left;
}
.js input.readonly {
  border: solid var(--border);
  background-color: var(--code-background);
  color: var(--body-color);
}
.js .column {
  width: 48%;
  float: left;
  box-sizing: border-box;
}
.js .column.left {
  float: left;
}
.js .column.right {
  float: right;
}
.js .column.normal {
  float: none;
}
.js .column.onehalf {
  width: 50%;
}
.js .column.onethird {
  width: 33%;
}
.js .column:last-of-type {
  margin-right: 0 !important;
}
.js .drop-area {
  height: 12.5rem;
  width: 100%;
  align-itrems: center;
  padding: 2rem;
  font-family: monospace;
  border: 0.25rem dashed var(--body-color);
  display: flex;
  flex-direction: column;
  overflow-wrap: break-word;
  box-sizing: border-box;
}
.js .drop-area .dragover {
  border: 0.25rem dashed var(--body-color) !important;
}
.js .drop-area button {
  font-family: monospace;
}
.js ul.tabs {
  margin: 0rem;
  padding: 0rem;
  list-style: none;
}
.js ul.tabs li {
  background: none;
  list-style-type: none;
  display: inline-block;
  padding: 0.25rem 0.938rem;
  cursor: pointer;
  border-bottom: none;
  border-right: none !important;
}
.js ul.tabs li:last-child {
  border-right: var(--border);
}
.js ul.tabs li:before {
  content: "" !important;
  position: relative;
}
.js .tab-content {
  display: none;
  padding: 0.938rem;
}
.js .tab-content.current {
  display: inherit;
}

@media screen and (max-width: 800px) {
  .js ul.tabs li {
    display: block !important;
  }
}
@media screen and (max-width: 680px) {
  .js .column {
    width: 100% !important;
    float: none !important;
    margin: 0 !important;
    margin-top: 1rem !important;
  }
  .js .desktop-margin-remover {
    margin-top: 1rem !important;
  }
}
@media screen and (min-width: 681px) {
  .js .desktop-margin-remover {
    margin-top: 0rem !important;
  }
}
.js fieldset,
.js ul.tabs li,
.js .tab-content {
  border: var(--border);
}

.page-list ul li img {
  height: 1rem;
}

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

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