html {
  color-scheme: dark light;
  font-family: 'Iosevka Aile', 'Iosevka Fixed', Iosevka, Consolas, Menlo, 'DejaVu Sans Mono', ui-monospace, monospace;
  line-height: 1.5;
}
@media (prefers-reduced-motion: no-preference) {
  html {
    scroll-behavior: smooth;
  }
}

body {
  max-width: 50em;
  margin: 0 auto;
}

header, main {
  display: block;
}

main {
  padding: 0.5em;
}

:target {
  color: HighlightText;
  background-color: Highlight;
}

p, li {
  overflow-wrap: break-word;
}

pre, code, kbd, samp {
  font-family: 'Nimbus Mono PS', 'Courier New', monospace;
  background: ButtonFace;
  color: ButtonText;
  padding: 0 0.3em;
}

pre {
  overflow-x: auto;
}

blockquote {
  font-style: italic;
}

th, td {
  padding: 0.5em;
}

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

input, button, textarea, select, table, caption {
  font: inherit;
}

/* Quick links */

nav {
  float: right;
}

h1 span {
  display: inline-block; /* avoid wrapping around float */
}

/* Header */

header {
  color: white;
  font-weight: bold;
}

header table {
  border-collapse: collapse;
  width: 100%;
}

header td {
  padding: 0;
  width: 1px;
  white-space: nowrap;
}

header td:empty {
  width: auto;
  /* fix old Chrome bug: https://issues.chromium.org/issues/41127395#comment3 */
  padding: 1px 0;
}

header a {
  padding: 1em 0;
  color: inherit;
  text-decoration: none;
  display: inline-block;
}

header td:nth-child(1) a {
  padding-left: 0.5em;
}

header a:hover {
  background-color: white; /* fallback */
  background-color: Canvas;
  text-decoration: underline;
}

header td:nth-child(1) {
  background-color: #E63939;
}
header td:nth-child(1) a:hover {
  color: #E63939;
}
header td:nth-child(2) {
  background-color: #C40390;
}
header td:nth-child(2) a:hover {
  color: #C40390;
}
header td:nth-child(3) {
  background-color: #730FD6;
}
header td:nth-child(3) a:hover {
  color: #730FD6;
}
header td:nth-child(4) {
  background-color: #2155E2;
}
header td:nth-child(4) a:hover {
  color: #2155E2;
}
header td:nth-child(5) {
  background-color: #00ACAC;
}
header td:nth-child(5) a:hover {
  color: #00ACAC;
}
header td:nth-child(6) {
  background-color: #21E255;
}
header td:nth-child(6) a:hover {
  color: #21E255;
}
header td:nth-child(7) {
  background-color: #73D60F;
}
header td:nth-child(7) a:hover {
  color: #73D60F;
}
header td:nth-child(8) {
  background-color: #C49003;
}
header td:nth-child(8) a:hover {
  color: #C49003;
}