:root {
  --bg1: #F3F3F3;
  --bg2: #EBEBEB;
  --ui1: #C7C7C7;
  --tx1: #000;
  --tx2: #0015FF;
  --ax1: #BF7F17;
  --ax2: #0022FF;
  --ax3: #BF7F17;

  --headerFont: "Quicksand", sans-serif;
  --bodyFont: "Inconsolata", monospace;
  --codeFont: "IBM Plex Mono", ui-monospace, SFMono-Regular, SF Mono, Menlo, monospace;
}

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

* {
  margin: 0;
  padding: 0
}

img,
picture,
video,
canvas,
svg {
  display: block;
  max-width: 100%
}

html {
  overflow-y: scroll;
  height: 100%
}

body {
  min-height: 100%
}

@media not print {
  main>:last-child {
    margin-bottom: 10rem
  }
}

main {
  --gap: clamp(1.5rem, 6vw, 3rem);
  --full: minmax(var(--gap), 1fr);
  --content: min(38rem, 100% - var(--gap) * 2);
  --popout: minmax(0, 4rem);
  --feature: minmax(0, 8rem);

  display: grid;
  grid-template-columns:
    [full-start] var(--full) [feature-start] var(--feature) [popout-start] var(--popout) [content-start] var(--content) [content-end] var(--popout) [popout-end] var(--feature) [feature-end] var(--full) [full-end];
}

* {
  grid-column: content;
}

.popout {
  grid-column: popout;
}

.feature {
  grid-column: feature;
}

.full {
  grid-column: full;
}

p:not(:last-child),
ul:not(:last-child),
ol:not(:last-child),
img:not(:last-child),
blockquote:not(:last-child),
table:not(:last-child),

li:not(:last-child) {
  margin-bottom: .7rem
}

pre:not(:last-child) {
  margin-bottom: .6rem
}

aside {
  font-size: .85rem;
  font-style: italic;
  background: var(--bg2);
  padding: 0 .5rem;
  margin-bottom: 1em;
  text-align: left;
  border-left: 2px dotted var(--ui1);
}

code {
  background-color: var(--bg2) !important;
  border: 1px solid var(--ui1);
}


pre>code {
  display: inline-block;
  max-width: 100%;
  min-width: 100%;
  overflow-x: auto;
  padding: .5em .5rem;
  border-left: 2px solid var(--ui1);
}

@media print {
  pre {
    white-space: pre-wrap;
    overflow-wrap: anywhere
  }
}

/* Keywords (def, return, import, etc.) */
.sourceCode .kw {
  color: #005cc5;
  font-weight: bold;
}

/* Control flow (if, else, for, while, with, assert, etc.) */
.sourceCode .cf {
  color: #6f42c1;
  font-weight: bold;
}

/* Operators (+, -, =, /, etc.) */
.sourceCode .op {
  color: #24292e;
}

/* Strings */
.sourceCode .st {
  color: #d73a49;
}

/* Built-in functions / classes */
.sourceCode .bu {
  color: #22863a;
}

/* Variables */
.sourceCode .va {
  color: #0366d6;
}

/* Comments */
.sourceCode .co {
  color: #6a737d;
  font-style: italic;
}

nav#top-nav {
  padding-top: 1.5rem;
  padding-left: 1.5rem;
  padding-right: 1.5rem
}

nav#top-nav ul {
  max-width: 38rem;
  margin: 0 auto;
}

nav.prev-next {
  margin-top: 2em
}

nav .gray {
  color: var(--ui1);
}

nav a {
  color: var(--tx1) !important;
  text-decoration: underline;
}

nav a::after {
  content: none
}

nav ul {
  list-style-type: none;
  padding: 0;
  display: flex;
  justify-content: space-between;
  align-items: baseline
}

nav ul>li {
  font-family: var(--bodyFont);
}

body {
  background-color: var(--bg1);
  color: var(--tx1);
}

html {
  font-family: var(--bodyFont);
  word-spacing: -.03em;
  font-size: min(max(2vw, 15px), 18px);
  line-height: 1.35
}

pre,
code {
  font-family: var(--codeFont);
}

code {
  font-size: .9em;
  letter-spacing: -.02rem
}

pre>code {
  font-size: .8em;
  filter: saturate(0.7);
  word-spacing: normal
}

span.katex {
  font-size: 1.05em !important;
  line-height: 1 !important
}

span.katex span.tag {
  margin-right: -.5em
}

body {
  -webkit-hyphens: auto;
  -webkit-hyphenate-limit-before: 3;
  -webkit-hyphenate-limit-after: 3;
  -webkit-hyphenate-limit-chars: 6 3 3;
  -webkit-hyphenate-limit-last: always;
  -webkit-hyphenate-limit-zone: 8%;
  hyphens: auto;
  hyphenate-limit-chars: 6 3 3;
  hyphenate-limit-last: always;
  hyphenate-limit-zone: 8%
}

pre,
code {
  hyphens: none;
  -webkit-hyphens: none
}

h1 {
  hyphens: none
}

h1,
h2,
h3,
h4,
h5,
h6,
pre,
code {
  text-align: left
}

p,
h1,
h2,
h3,
h4,
h5,
h6 {
  overflow-wrap: break-word
}

.nobr {
  white-space: nowrap
}

h1,
h2,
h3,
h4,
h5,
h6 {
  font-family: var(--headerFont);
}

h1 a,
h2 a,
h3 a,
h4 a,
h5 a,
h6 a {
  color: var(--tx1) !important;
  text-decoration: none !important;
  background: none !important;
  display: block;
  border-bottom: none
}

h1 a::after,
h2 a::after,
h3 a::after,
h4 a::after,
h5 a::after,
h6 a::after {
  content: none;
  color: var(--tx1) !important;
  background: none !important
}

h1 {
  font-size: 2rem;
  margin-top: 1.1em;
  margin-bottom: .5em;
  display: block;
  position: relative
}

h1 a {
  padding-bottom: .4em
}

h1 a:after {
  content: "";
  position: absolute;
  bottom: 0;
  left: 0;
  border-bottom: 5px solid var(--tx1);
  width: 25%;
  transition: all .5s ease-in-out
}

h1 a:hover:after {
  width: 40%
}

h2 {
  font-size: 1.4rem;
  margin-top: 1.3em;
  margin-bottom: .5em;
  position: relative
}

h3 {
  font-size: 1.1rem;
  margin-bottom: .3em;
  position: relative
}

h2:hover a:after,
h3:hover a:after,
h4:hover a:after {
  content: "§";
  position: absolute;
  right: 0
}

h4 {
  font-size: 1rem;
  position: relative
}

ul,
ol {
  padding-left: 1.5em
}

hr {
  background-color: var(--ui1);
  border: none;
  height: 1px;
  margin-bottom: 1em
}

blockquote {
  border-left: 3px solid var(--ax3);
  padding-left: .7em;
  padding-top: 0;
  padding-bottom: 0
}

a,
a:visited,
a:active {
  color: var(--ax1);
  text-decoration: none
}

a:hover {
  color: var(--ax2);
  text-decoration: underline
}

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

th,
td {
  text-align: left;
  padding: .1em .5em
}

thead {
  border-top: 1px solid var(--ui1);
  border-bottom: 1px solid var(--ui1);
}

tbody {
  border-top: 1px solid var(--ui1);
  border-bottom: 1px solid var(--ui1);
}

th:first-child,
td:first-child {
  padding-left: 1em
}

th:last-child,
td:last-child {
  padding-right: 1em
}


time.blogpost-date {
  display: block;
  text-align: right;
  margin-top: .5em;
  font-size: .8rem;
  margin-bottom: 1em
}

.dense li,
.dense li {
  margin-bottom: .5em
}

ol ol {
  list-style-type: lower-alpha
}

figcaption {
  text-align: center
}