@font-face {
  font-family: 'Roboto';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(//worker.jart.workers.dev/fonts/Roboto.woff2) format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}

@font-face {
  font-family: 'Roboto';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(//worker.jart.workers.dev/fonts/Roboto-LatinExt.woff2) format('woff2');
  unicode-range: U+0100-024F, U+0259, U+1E00-1EFF, U+2020, U+20A0-20AB, U+20AD-20CF, U+2113, U+2C60-2C7F, U+A720-A7FF;
}

@font-face {
  font-family: 'Roboto';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(//worker.jart.workers.dev/fonts/Roboto-Cyrillic.woff2) format('woff2');
  unicode-range: U+0400-045F, U+0490-0491, U+04B0-04B1, U+2116;
}

@font-face {
  font-family: 'Roboto';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(//worker.jart.workers.dev/fonts/Roboto-CyrillicExt.woff2) format('woff2');
  unicode-range: U+0460-052F, U+1C80-1C88, U+20B4, U+2DE0-2DFF, U+A640-A69F, U+FE2E-FE2F;
}

@font-face {
  font-family: 'Roboto';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(//worker.jart.workers.dev/fonts/Roboto-Greek.woff2) format('woff2');
  unicode-range: U+0370-03FF;
}

@font-face {
  font-family: 'Roboto';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(//worker.jart.workers.dev/fonts/Roboto-GreekExt.woff2) format('woff2');
  unicode-range: U+1F00-1FFF;
}

@font-face {
  font-family: 'Roboto';
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url(//worker.jart.workers.dev/fonts/Roboto-Italic-CyrillicExt.woff2) format('woff2');
  unicode-range: U+0460-052F, U+1C80-1C88, U+20B4, U+2DE0-2DFF, U+A640-A69F, U+FE2E-FE2F;
}

@font-face {
  font-family: 'Roboto';
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url(//worker.jart.workers.dev/fonts/Roboto-Italic-LatinExt.woff2) format('woff2');
  unicode-range: U+0100-024F, U+0259, U+1E00-1EFF, U+2020, U+20A0-20AB, U+20AD-20CF, U+2113, U+2C60-2C7F, U+A720-A7FF;
}

@font-face {
  font-family: 'Roboto';
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url(//worker.jart.workers.dev/fonts/Roboto-Italic.woff2) format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}

@font-face {
  font-family: 'Roboto';
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url(//worker.jart.workers.dev/fonts/Roboto-Italic-Cyrillic.woff2) format('woff2');
  unicode-range: U+0400-045F, U+0490-0491, U+04B0-04B1, U+2116;
}

@font-face {
  font-family: 'Roboto';
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url(//worker.jart.workers.dev/fonts/Roboto-Italic-GreekExt.woff2) format('woff2');
  unicode-range: U+1F00-1FFF;
}

@font-face {
  font-family: 'Roboto';
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url(//worker.jart.workers.dev/fonts/Roboto-Italic-Greek.woff2) format('woff2');
  unicode-range: U+0370-03FF;
}

@font-face {
  font-family: 'Roboto Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(//worker.jart.workers.dev/fonts/RobotoMono.woff2) format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}

@font-face {
  font-family: 'Roboto Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(//worker.jart.workers.dev/fonts/RobotoMono-LatinExt.woff2) format('woff2');
  unicode-range: U+0100-024F, U+0259, U+1E00-1EFF, U+2020, U+20A0-20AB, U+20AD-20CF, U+2113, U+2C60-2C7F, U+A720-A7FF;
}

@font-face {
  font-family: 'Roboto Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(//worker.jart.workers.dev/fonts/RobotoMono-Cyrillic.woff2) format('woff2');
  unicode-range: U+0400-045F, U+0490-0491, U+04B0-04B1, U+2116;
}

@font-face {
  font-family: 'Roboto Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(//worker.jart.workers.dev/fonts/RobotoMono-CyrillicExt.woff2) format('woff2');
  unicode-range: U+0460-052F, U+1C80-1C88, U+20B4, U+2DE0-2DFF, U+A640-A69F, U+FE2E-FE2F;
}

@font-face {
  font-family: 'Roboto Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(//worker.jart.workers.dev/fonts/RobotoMono-Greek.woff2) format('woff2');
  unicode-range: U+0370-03FF;
}

@font-face {
  font-family: 'Cinzel';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url(//worker.jart.workers.dev/fonts/Cinzel.woff2) format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}

@font-face {
  font-family: 'Cinzel';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url(//worker.jart.workers.dev/fonts/Cinzel-LatinExt.woff2) format('woff2');
  unicode-range: U+0100-024F, U+0259, U+1E00-1EFF, U+2020, U+20A0-20AB, U+20AD-20CF, U+2113, U+2C60-2C7F, U+A720-A7FF;
}

@font-face {
  font-family: "Virgil";
  src: url(//worker.jart.workers.dev/fonts/Virgil.woff2);
}

@font-face {
  font-family: "Cascadia";
  src: url(//worker.jart.workers.dev/fonts/Cascadia.woff2);
}

input,
html {
  font-family: 'Roboto', sans-serif;
  font-size: 14pt;
}

body {
  max-width: 960px;
  min-width: 960px;
  margin: 2em auto 0 auto;
  text-rendering: optimizeLegibility;
}

pre,
code {
  font-size: 12pt;
  font-family: monospace;
}

code {
  font-family: 'Roboto Mono', monospace;
  padding: 2px 4px;
  background: #ecefef;
  border-radius: 3px;
}

pre {
  overflow: auto;
  margin-left: 2em;
}

td pre:first-child {
  margin-top: 0;
}

td pre:last-child {
  margin-bottom: 0;
}

.indent {
  margin-left: 1em;
}

header {
  text-align: center;
  margin: 4em 4em 2em 6em;
}

header h1 {
  margin-top: 0.25em;
  margin-bottom: 0;
}

abbr {
  cursor: help;
  text-decoration: none;
  border-bottom: 1px solid #ccc;
}

blockquote {
  font-style: italic;
}

blockquote p {
  text-indent: -.2325em;
}

h1,
h2 {
  margin: 1.5em 0 1.5em 0;
}

footer {
  margin-top: 12em;
  margin-bottom: 3em;
  font-size: 12pt;
}

.keys {
  margin-left: 1em;
}

.keys th {
  text-align: left;
  padding-right: 1em;
  font-family: monospace;
}

li {
  line-height: 1.5em;
}

.tabul {
  margin: 0;
}

.nav {
  margin: 1.5em 0;
}

.nav ul {
  list-style-type: none;
  margin: 0;
  padding: 0;
  overflow: hidden;
  background-color: #282828;
}

.nav li {
  float: left;
}

.nav li a {
  display: block;
  color: #f8f8f8;
  text-align: center;
  padding: 8px 16px;
  text-decoration: none;
  text-shadow: -1px -1px 0px rgba(0,0,0,0.3);
  border-right: 1px solid #000;
  border-left: 1px solid #666;
}

.nav li:first-child a {
  border-left: none;
}

.nav li a:hover {
  background-color: #111;
}

.nav li a:hover.active {
  background-color: #e1391e;
}

.nav li a.active {
  background-color: #f1492e;
}

.nav li.right {
  float: right;
}

.nav li.right a {
  font-size: small;
}

.link {
  margin: .5em 1em;
}

.sublink {
  margin: .3em 1em .3em 2em;
}

.num { color: #000000; } /* number */
.str { color: #67580c; } /* string */
.esc { color: #80216b; } /* escape sequence */
.ipl { color: #008080; } /* string interpolation */
.ppc { color: #685809; } /* preprocessor */
.pps { color: #273122; } /* preprocessor string */
.com { color: #0e6729; } /* multiline comment */
.slc { color: #0e6729; } /* single line comment */
.lin { color: #75715e; } /* wut */
.opt { color: #000000; } /* operator */
.kwa { color: #5332d8; } /* keyword */
.kwb { color: #8c1a94; } /* type */
.kwc { color: #6b2c75; } /* builtin */
.kwd { color: #9609a7; } /* constant */

@media print {
  .nav { display: none; }
}