@import url(fonts.css);
@import url(base16.css);
html {
  box-sizing: border-box;
  min-height: 100%;
  height: 100%; }

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

body {
  background-color: var(--base16-00);
  color: var(--base16-05);
  margin: 0;
  min-height: 100%;
  image-rendering: pixelated;
  image-rendering: crisp-edges;
  font-family: "Linux Libertine", "Linux Libertine O", "Garamond", "Georgia", "Times New Roman", "Times", serif;
  font-size: 12pt;
  line-height: 1.45;
  margin-bottom: 64px; }

main {
  position: relative;
  min-width: 496px;
  max-width: 496px;
  padding: 16px;
  margin: 0; }

#palette {
  position: fixed;
  top: 4px;
  left: 4px;
  opacity: 0.5; }

.asciiart {
  line-height: 1em;
  font-weight: 800; }

.fr {
  margin: 0 auto 2em auto;
  width: 256px; }

@media print, (min-width: 496px) {
  main {
    margin: 0 auto;
    width: 496px; } }

@media print, (min-width: 768px) {
  main {
    width: 496px;
    margin-left: auto;
    margin-right: 272px; }
  .fr {
    float: right;
    clear: both;
    padding-right: 16px;
    width: 272px;
    margin-right: -288px; } }

@media print, (min-width: 1040px) {
  main {
    margin: 0 auto; } }

@media print {
  #palette {
    display: none; }
  main > nav {
    display: none; } }

@page {
  margin: 64px 0;
  size: 1024px 1280px; }

main > header {
  margin-left: -0.8ch; }

h1, h2, h3, .subtitle {
  font-family: "Linux Biolinum", "Linux Biolinum O", "Libertinus Sans", "Open Sans", sans-serif;
  text-align: left;
  hyphens: none;
  line-height: 1; }

h1, h2, h3 {
  margin-bottom: 0; }

h1 {
  font-size: 400%; }

.subtitle {
  margin-left: 0.2ch;
  font-size: 200%; }

h2 {
  font-size: 240%;
  margin-top: 36pt;
  margin-bottom: 12pt; }

h3 {
  font-size: 100%;
  font-weight: bold; }

.fr figcaption {
  text-align: center;
  font-style: italic; }

hr {
  border: none;
  height: 1px;
  width: 80%;
  margin: 18pt auto;
  background-color: var(--base16-05); }

.h3hr {
  font-variant: small-caps;
  display: flex;
  margin-left: 10%;
  margin-right: 10%;
  margin: 24pt 10% 12pt 10%; }

.h3hr::before, .h3hr::after {
  content: '';
  height: 1px;
  background-color: var(--base16-05);
  flex-grow: 1;
  position: relative;
  top: 1ex; }

.h3hr::before {
  margin-right: 1ch; }

.h3hr::after {
  margin-left: 1ch; }

main > nav:first-of-type {
  margin-bottom: 1em; }

ul {
  margin: 0; }

p {
  margin-top: 0;
  margin-bottom: 12pt;
  text-align: justify;
  hyphens: auto; }

center p {
  text-align-last: center; }

code, pre, samp {
  font-family: "Comic Code", "Inconsolata", monospace; }

pre {
  white-space: pre-wrap; }

.ipa {
  cursor: help;
  text-decoration: underline dashed var(--base16-03); }

.sc {
  font-variant: small-caps; }

a:visited, a:link {
  color: var(--base16-05); }
  a:visited:hover, a:visited:active, a:link:hover, a:link:active {
    background-color: var(--base16-05);
    color: var(--base16-00); }

::selection {
  color: var(--base16-00);
  background-color: var(--base16-05); }

.fg00::selection {
  background-color: var(--base16-00); }

.bg00::selection {
  color: var(--base16-00); }

.fg01::selection {
  background-color: var(--base16-01); }

.bg01::selection {
  color: var(--base16-01); }

.fg02::selection {
  background-color: var(--base16-02); }

.bg02::selection {
  color: var(--base16-02); }

.fg03::selection {
  background-color: var(--base16-03); }

.bg03::selection {
  color: var(--base16-03); }

.fg04::selection {
  background-color: var(--base16-04); }

.bg04::selection {
  color: var(--base16-04); }

.fg05::selection {
  background-color: var(--base16-05); }

.bg05::selection {
  color: var(--base16-05); }

.fg06::selection {
  background-color: var(--base16-06); }

.bg06::selection {
  color: var(--base16-06); }

.fg07::selection {
  background-color: var(--base16-07); }

.bg07::selection {
  color: var(--base16-07); }

.fg08::selection {
  background-color: var(--base16-08); }

.bg08::selection {
  color: var(--base16-08); }

.fg09::selection {
  background-color: var(--base16-09); }

.bg09::selection {
  color: var(--base16-09); }

.fg0a::selection {
  background-color: var(--base16-0a); }

.bg0a::selection {
  color: var(--base16-0a); }

.fg0b::selection {
  background-color: var(--base16-0b); }

.bg0b::selection {
  color: var(--base16-0b); }

.fg0c::selection {
  background-color: var(--base16-0c); }

.bg0c::selection {
  color: var(--base16-0c); }

.fg0d::selection {
  background-color: var(--base16-0d); }

.bg0d::selection {
  color: var(--base16-0d); }

.fg0e::selection {
  background-color: var(--base16-0e); }

.bg0e::selection {
  color: var(--base16-0e); }

.fg0f::selection {
  background-color: var(--base16-0f); }

.bg0f::selection {
  color: var(--base16-0f); }