:root {
  --page-bg: #eee;
  --paper-bg: #fff;
  --code-bg: #eee;
  --nav-bg: #ddd;
  --nav-fg: #888;
  --border: #ccc;
  --footer-bg: #ddd;
  --footer-fg: #555;
  --shadow: 0 0 1em #aaa;

  --outer-pad: 1rem;
  --page-width: 50rem;
  --page-pad-block: 0.5rem;
  --page-pad-inline: 2rem;
  --footer-pad-block: 0.5rem;
  --footer-pad-inline: 2rem;
}

*,
*::before,
*::after {
  box-sizing: border-box;
}

html {
  background: var(--page-bg);
  -webkit-text-size-adjust: 100%;
}

body {
  margin: 0;
  padding: var(--outer-pad);
  font-family: "Liberation Sans Narrow", sans-serif;
  line-height: 1.2;
}

pre {
  margin: 1.1em 0;
  padding: 0.5em 1em;
  border: 1px solid var(--border);
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  background: var(--code-bg);
  font-family: "Liberation Mono", monospace;
  font-size: 0.9rem;
  line-height: 1.3;
}

code {
  background: var(--code-bg);
  padding: 0.15em;
  overflow-wrap: anywhere;
}

pre > code {
  padding: 0;
}

main,
footer {
  max-width: var(--page-width);
  margin: 0 auto;
}

main {
  padding: var(--page-pad-block) var(--page-pad-inline);
  background: var(--paper-bg);
  border: 1px solid var(--border);
  box-shadow: var(--shadow);
}

nav {
  margin:
    calc(-1 * var(--page-pad-block))
    calc(-1 * var(--page-pad-inline))
    calc(2em + var(--page-pad-block));
  padding: var(--page-pad-block) var(--page-pad-inline);
  background: var(--nav-bg);
  border-bottom: 1px solid var(--border);
  container-type: inline-size;
}

nav a {
  color: var(--nav-fg);
  text-decoration: none;
  font-family: "Liberation Mono", monospace;
  font-size: clamp(1.5rem, 5cqw, 2.5rem);
  line-height: 1.1;
  overflow-wrap: anywhere;
}

footer {
  margin-top: 2em;
  padding: var(--footer-pad-block) var(--footer-pad-inline);
  background: var(--footer-bg);
  color: var(--footer-fg);
  border: 1px solid var(--border);

  display: flex;
  justify-content: space-between;
  align-items: baseline;
  gap: 1em;

  font-size: smaller;
}

footer a {
  color: var(--footer-fg);
}

footer p {
  margin: 0;
}

footer .copyright {
  margin-left: auto;
}

li {
  margin: 0.25em 0;
}

h1 {
  border-bottom: 1px solid var(--border);
  padding-bottom: 0.25em;
}

h1, h2, h3 {
  break-after: avoid;
}

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

@media (max-width: 700px) {
  :root {
    --outer-pad: 0;
    --page-pad-inline: 1rem;
    --footer-pad-inline: 1rem;
    --page-pad-block: 0.75rem;
    --footer-pad-block: 0.75rem;
  }

  html {
    background: #fff;
  }

  body {
    padding: 0;
  }

  main,
  footer {
    max-width: none;
  }

  main {
    border: none;
    box-shadow: none;
  }

  nav {
    margin:
      calc(-1 * var(--page-pad-block))
      calc(-1 * var(--page-pad-inline))
      1.5rem;
  }

  nav a {
    font-size: clamp(1.1rem, 7vw, 1.75rem);
  }

  footer {
    flex-direction: column;
    align-items: flex-start;
    gap: 0.25rem;
    border-left: none;
    border-right: none;
    border-bottom: none;
  }

  footer .copyright {
    margin-left: 0;
  }

  pre {
    margin-left: 0;
    margin-right: 0;
    padding: 0.75em;
    font-size: 0.85rem;
  }
}

@media print {
  html {
    background: white;
  }

  body {
    padding: 0;
    line-height: 1.1;
  }

  main {
    border: none;
    box-shadow: none;
  }

  nav, footer {
    display: none;
  }

  pre > span { text-indent: -5em; padding-left: 5em; }
}

/* Syntax highlighting */

pre.sourceCode {
  border-left: 3em solid #666;
}
pre.sourceCode code {
  counter-reset: source-line 0;
}
pre.sourceCode code > span {
  position: relative;
  counter-increment: source-line;
}
pre.sourceCode code > span > a:first-child::before {
  display: inline-block;
  position: absolute;
  left: -5em;
  width: 3.5em;
  border: none;
  content: counter(source-line);
  text-align: right;
  vertical-align: baseline;
  user-select: none;
  color: #bbb;
}
@media screen {
  pre > code.sourceCode > span > a:first-child::before {
    text-decoration: underline;
  }
}

code span.al { color: #ff0000; font-weight: bold; } /* Alert */
code span.an { color: #60a0b0; font-weight: bold; font-style: italic; } /* Annotation */
code span.at { color: #7d9029; } /* Attribute */
code span.bn { color: #40a070; } /* BaseN */
code span.bu { color: #008000; } /* BuiltIn */
code span.cf { color: #007020; font-weight: bold; } /* ControlFlow */
code span.ch { color: #4070a0; } /* Char */
code span.cn { color: #880000; } /* Constant */
code span.co { color: #60a0b0; font-style: italic; } /* Comment */
code span.cv { color: #60a0b0; font-weight: bold; font-style: italic; } /* CommentVar */
code span.do { color: #ba2121; font-style: italic; } /* Documentation */
code span.dt { color: #902000; } /* DataType */
code span.dv { color: #40a070; } /* DecVal */
code span.er { color: #ff0000; font-weight: bold; } /* Error */
code span.ex { } /* Extension */
code span.fl { color: #40a070; } /* Float */
code span.fu { color: #06287e; } /* Function */
code span.im { color: #008000; font-weight: bold; } /* Import */
code span.in { color: #60a0b0; font-weight: bold; font-style: italic; } /* Information */
code span.kw { color: #007020; font-weight: bold; } /* Keyword */
code span.op { color: #666666; } /* Operator */
code span.ot { color: #007020; } /* Other */
code span.pp { color: #bc7a00; } /* Preprocessor */
code span.sc { color: #4070a0; } /* SpecialChar */
code span.ss { color: #bb6688; } /* SpecialString */
code span.st { color: #4070a0; } /* String */
code span.va { color: #19177c; } /* Variable */
code span.vs { color: #4070a0; } /* VerbatimString */
code span.wa { color: #60a0b0; font-weight: bold; font-style: italic; } /* Warning */