@charset "UTF-8";
@import url(/vendor/normalize.css);
@font-face {
  font-family: "Iosevka Type";
  src: local("Iosveka Type"), url("/vendor/iosevka-type/iosevka-type-regular.woff2") format("woff2"), url("/vendor/iosevka-type/iosevka-type-regular.woff") format("woff");
  font-style: normal;
  font-weight: normal;
  font-display: swap; }
@font-face {
  font-family: 'Iosveka Type';
  src: local("Iosevka Type"), url("/vendor/iosevka-type/iosevka-type-oblique.woff2") format("woff2"), url("/vendor/iosevka-type/iosevka-type-oblique.woff") format("woff");
  font-style: oblique;
  font-weight: normal;
  font-display: swap; }
@font-face {
  font-family: 'Iosveka Type';
  src: local("Iosevka Type"), url("/vendor/iosevka-type/iosevka-type-italic.woff2") format("woff2"), url("/vendor/iosevka-type/iosevka-type-italic.woff") format("woff");
  font-style: italic;
  font-weight: normal;
  font-display: swap; }
@font-face {
  font-family: 'Iosveka Type';
  src: local("Iosevka Type"), url("/vendor/iosevka-type/iosevka-type-bold.woff2") format("woff2"), url("/vendor/iosevka-type/iosevka-type-bold.woff") format("woff");
  font-style: normal;
  font-weight: bold;
  font-display: swap; }
@font-face {
  font-family: 'Iosveka Type';
  src: local("Iosevka Type"), url("/vendor/iosevka-type/iosevka-type-bolditalic.woff2") format("woff2"), url("/vendor/iosevka-type/iosevka-type-bolditalic.woff") format("woff");
  font-style: italic;
  font-weight: bold;
  font-display: swap; }
@font-face {
  font-family: 'Iosveka Type';
  src: local("Iosevka Type"), url("/vendor/iosevka-type/iosevka-type-boldoblique.woff2") format("woff2"), url("/vendor/iosevka-type/iosevka-type-boldoblique.woff") format("woff");
  font-style: oblique;
  font-weight: bold;
  font-display: swap; }
:root {
  background: black;
  box-sizing: border-box;
  color: #eee;
  font: 18px "Source Serif Pro", serif;
  line-height: 1.5;
  text-rendering: optimizeLegibility; }

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

a, a:visited {
  color: #0acf83;
  text-decoration-line: none; }
  a:hover, a:visited:hover {
    text-decoration-line: underline;
    text-decoration-skip: ink; }

body {
  margin: 0 auto;
  max-width: 41rem;
  padding: 1rem; }

code,
pre,
.tt {
  font-family: "Operator Mono", "Source Code Pro", monospace;
  hyphens: none;
  line-height: 1.236;
  overflow-x: auto; }

h1, h2, h3, h4, h5, h6 {
  color: #a259ff;
  font-family: "Source Sans Pro", system-ui, -apple-system, BlinkMacSystemFont, sans-serif;
  font-weight: 700;
  line-height: 1.1; }

img {
  background: white;
  max-width: 100%; }

p {
  -ms-hyphens: auto;
  hyphens: auto;
  margin: 1.12rem 0; }

*[lang^="en"] q {
  quotes: "“" "”" "‘" "’"; }

::selection,
::-moz-selection {
  background: yellow;
  color: black; }

#MathJax_Message {
  display: none !important; }

.clearfix::after {
  content: "";
  clear: both;
  display: table; }

.highlight {
  margin: 0 1rem;
  padding: 1rem; }

.revoked {
  color: #666; }

nav#navbar {
  font-family: "Source Sans Pro", system-ui, -apple-system, BlinkMacSystemFont, sans-serif;
  font-size: 0.8rem;
  font-weight: 300; }
  nav#navbar .links {
    float: right;
    list-style: none; }
    nav#navbar .links > * {
      display: inline;
      padding: 1rem;
      text-transform: lowercase; }

article header .meta {
  color: rgba(255, 255, 255, 0.5);
  font-size: smaller; }
  article header .meta span.divider::before {
    content: "|";
    margin: 0 0.5em; }
article hr {
  background-color: #a259ff;
  border: 0;
  height: 2px;
  margin: 2rem auto;
  width: 33%; }
article footer {
  color: rgba(255, 255, 255, 0.5);
  font-size: 0.6rem;
  margin: 2rem 0;
  text-align: center; }
  article footer a,
  article footer a:visited {
    color: inherit; }

.admonitionblock {
  align-items: center;
  border: 2px solid;
  color: #eee;
  display: flex;
  margin: 0.5rem 0; }
  .admonitionblock p {
    margin: 0.5em 0; }
  .admonitionblock .content {
    flex-shrink: 10;
    margin: 0.5rem 0.5rem 0.5rem 0; }
  .admonitionblock .icon {
    float: left;
    padding: 0.5rem;
    text-align: center;
    width: 50px; }
    .admonitionblock .icon [class^="fa icon-"] {
      cursor: default;
      font-size: 2rem; }
    .admonitionblock .icon .icon-caution::before {
      color: #fa0;
      content: "\f06d"; }
    .admonitionblock .icon .icon-important::before {
      color: #ffff23;
      content: "\f06a"; }
    .admonitionblock .icon .icon-note::before {
      color: #1abcfe;
      content: "\f05a"; }
    .admonitionblock .icon .icon-tip::before {
      color: #ff5699;
      content: "\f0eb"; }
    .admonitionblock .icon .icon-warning::before {
      color: #f44336;
      content: "\f0e7"; }
  .admonitionblock.caution {
    border-color: #fa0; }
  .admonitionblock.important {
    border-color: #ffff23; }
  .admonitionblock.note {
    border-color: #1abcfe; }
  .admonitionblock.tip {
    border-color: #ff5699; }
  .admonitionblock.warning {
    border-color: #f44336; }

.quoteblock {
  display: grid;
  grid-template-areas: "lqo quote rqo" "cite cite cite";
  grid-template-columns: 35px auto 35px;
  grid-template-rows: auto auto;
  margin: 1rem 0; }
  .quoteblock blockquote {
    grid-area: quote;
    margin: 0; }
  .quoteblock p {
    margin: 1rem 0; }
  .quoteblock :first-child {
    margin-top: 0; }
  .quoteblock .attribution {
    grid-area: cite;
    margin-left: auto;
    text-align: right;
    width: 75%; }
  .quoteblock .qmark {
    bottom: -1ex;
    font-size: 3em;
    justify-self: center;
    position: sticky;
    top: 0px; }
    .quoteblock .qmark.ldquo {
      align-self: start;
      grid-area: lqo;
      margin-top: -0.5ex; }
    .quoteblock .qmark.rdquo {
      align-self: end;
      grid-area: rqo;
      margin-bottom: -0.5ex; }

.imageblock {
  text-align: center; }

.sidebarblock {
  border: 2px dashed #e53935;
  float: right;
  font-size: smaller;
  line-height: 1.2;
  margin: 1em 0 1em 1em;
  max-width: 33%;
  padding: 0.5em;
  transform: translateY(-1rem); }
  .sidebarblock p {
    margin: 0.5em 0; }
  .sidebarblock .title {
    font-weight: bold;
    margin-bottom: 0.5em;
    text-align: center; }
  .sidebarblock :first-child {
    margin-top: 0; }
  .sidebarblock :last-child {
    margin-bottom: 0; }

.stemblock .content {
  overflow-x: auto; }

.post-navigation svg.arrow {
  fill: none;
  stroke-dasharray: 0, 20;
  stroke-dashoffset: -14.142;
  stroke-width: 2px;
  transition: all 0.2s;
  width: 1em; }
.post-navigation .next {
  float: right;
  text-align: right;
  width: 50%; }
  .post-navigation .next svg.arrow {
    margin-right: -1em; }
.post-navigation .prev {
  float: left;
  text-align: left;
  width: 50%; }
  .post-navigation .prev svg.arrow {
    margin-left: -1em; }
.post-navigation .next a:hover svg.arrow,
.post-navigation .prev a:hover svg.arrow {
  stroke: #0acf83;
  stroke-dasharray: 28.284, 20;
  stroke-dashoffset: 0; }