@font-face {
  font-display: block;
  font-family: KaTeX_AMS;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_AMS-Regular.woff2) format("woff2"), url(fonts/KaTeX_AMS-Regular.woff) format("woff"), url(fonts/KaTeX_AMS-Regular.ttf) format("truetype");
}
@font-face {
  font-display: block;
  font-family: KaTeX_Caligraphic;
  font-style: normal;
  font-weight: 700;
  src: url(fonts/KaTeX_Caligraphic-Bold.woff2) format("woff2"), url(fonts/KaTeX_Caligraphic-Bold.woff) format("woff"), url(fonts/KaTeX_Caligraphic-Bold.ttf) format("truetype");
}
@font-face {
  font-display: block;
  font-family: KaTeX_Caligraphic;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Caligraphic-Regular.woff2) format("woff2"), url(fonts/KaTeX_Caligraphic-Regular.woff) format("woff"), url(fonts/KaTeX_Caligraphic-Regular.ttf) format("truetype");
}
@font-face {
  font-display: block;
  font-family: KaTeX_Fraktur;
  font-style: normal;
  font-weight: 700;
  src: url(fonts/KaTeX_Fraktur-Bold.woff2) format("woff2"), url(fonts/KaTeX_Fraktur-Bold.woff) format("woff"), url(fonts/KaTeX_Fraktur-Bold.ttf) format("truetype");
}
@font-face {
  font-display: block;
  font-family: KaTeX_Fraktur;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Fraktur-Regular.woff2) format("woff2"), url(fonts/KaTeX_Fraktur-Regular.woff) format("woff"), url(fonts/KaTeX_Fraktur-Regular.ttf) format("truetype");
}
@font-face {
  font-display: block;
  font-family: KaTeX_Main;
  font-style: normal;
  font-weight: 700;
  src: url(fonts/KaTeX_Main-Bold.woff2) format("woff2"), url(fonts/KaTeX_Main-Bold.woff) format("woff"), url(fonts/KaTeX_Main-Bold.ttf) format("truetype");
}
@font-face {
  font-display: block;
  font-family: KaTeX_Main;
  font-style: italic;
  font-weight: 700;
  src: url(fonts/KaTeX_Main-BoldItalic.woff2) format("woff2"), url(fonts/KaTeX_Main-BoldItalic.woff) format("woff"), url(fonts/KaTeX_Main-BoldItalic.ttf) format("truetype");
}
@font-face {
  font-display: block;
  font-family: KaTeX_Main;
  font-style: italic;
  font-weight: 400;
  src: url(fonts/KaTeX_Main-Italic.woff2) format("woff2"), url(fonts/KaTeX_Main-Italic.woff) format("woff"), url(fonts/KaTeX_Main-Italic.ttf) format("truetype");
}
@font-face {
  font-display: block;
  font-family: KaTeX_Main;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Main-Regular.woff2) format("woff2"), url(fonts/KaTeX_Main-Regular.woff) format("woff"), url(fonts/KaTeX_Main-Regular.ttf) format("truetype");
}
@font-face {
  font-display: block;
  font-family: KaTeX_Math;
  font-style: italic;
  font-weight: 700;
  src: url(fonts/KaTeX_Math-BoldItalic.woff2) format("woff2"), url(fonts/KaTeX_Math-BoldItalic.woff) format("woff"), url(fonts/KaTeX_Math-BoldItalic.ttf) format("truetype");
}
@font-face {
  font-display: block;
  font-family: KaTeX_Math;
  font-style: italic;
  font-weight: 400;
  src: url(fonts/KaTeX_Math-Italic.woff2) format("woff2"), url(fonts/KaTeX_Math-Italic.woff) format("woff"), url(fonts/KaTeX_Math-Italic.ttf) format("truetype");
}
@font-face {
  font-display: block;
  font-family: "KaTeX_SansSerif";
  font-style: normal;
  font-weight: 700;
  src: url(fonts/KaTeX_SansSerif-Bold.woff2) format("woff2"), url(fonts/KaTeX_SansSerif-Bold.woff) format("woff"), url(fonts/KaTeX_SansSerif-Bold.ttf) format("truetype");
}
@font-face {
  font-display: block;
  font-family: "KaTeX_SansSerif";
  font-style: italic;
  font-weight: 400;
  src: url(fonts/KaTeX_SansSerif-Italic.woff2) format("woff2"), url(fonts/KaTeX_SansSerif-Italic.woff) format("woff"), url(fonts/KaTeX_SansSerif-Italic.ttf) format("truetype");
}
@font-face {
  font-display: block;
  font-family: "KaTeX_SansSerif";
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_SansSerif-Regular.woff2) format("woff2"), url(fonts/KaTeX_SansSerif-Regular.woff) format("woff"), url(fonts/KaTeX_SansSerif-Regular.ttf) format("truetype");
}
@font-face {
  font-display: block;
  font-family: KaTeX_Script;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Script-Regular.woff2) format("woff2"), url(fonts/KaTeX_Script-Regular.woff) format("woff"), url(fonts/KaTeX_Script-Regular.ttf) format("truetype");
}
@font-face {
  font-display: block;
  font-family: KaTeX_Size1;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Size1-Regular.woff2) format("woff2"), url(fonts/KaTeX_Size1-Regular.woff) format("woff"), url(fonts/KaTeX_Size1-Regular.ttf) format("truetype");
}
@font-face {
  font-display: block;
  font-family: KaTeX_Size2;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Size2-Regular.woff2) format("woff2"), url(fonts/KaTeX_Size2-Regular.woff) format("woff"), url(fonts/KaTeX_Size2-Regular.ttf) format("truetype");
}
@font-face {
  font-display: block;
  font-family: KaTeX_Size3;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Size3-Regular.woff2) format("woff2"), url(fonts/KaTeX_Size3-Regular.woff) format("woff"), url(fonts/KaTeX_Size3-Regular.ttf) format("truetype");
}
@font-face {
  font-display: block;
  font-family: KaTeX_Size4;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Size4-Regular.woff2) format("woff2"), url(fonts/KaTeX_Size4-Regular.woff) format("woff"), url(fonts/KaTeX_Size4-Regular.ttf) format("truetype");
}
@font-face {
  font-display: block;
  font-family: KaTeX_Typewriter;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Typewriter-Regular.woff2) format("woff2"), url(fonts/KaTeX_Typewriter-Regular.woff) format("woff"), url(fonts/KaTeX_Typewriter-Regular.ttf) format("truetype");
}
.katex {
  font: normal 1.21em KaTeX_Main, Times New Roman, serif;
  line-height: 1.2;
  text-indent: 0;
  text-rendering: auto;
}

.katex * {
  -ms-high-contrast-adjust: none !important;
  border-color: currentColor;
}

.katex .katex-version:after {
  content: "0.16.27";
}

.katex .katex-mathml {
  clip: rect(1px, 1px, 1px, 1px);
  border: 0;
  height: 1px;
  overflow: hidden;
  padding: 0;
  position: absolute;
  width: 1px;
}

.katex .katex-html > .newline {
  display: block;
}

.katex .base {
  position: relative;
  white-space: nowrap;
  width: -webkit-min-content;
  width: -moz-min-content;
  width: min-content;
}

.katex .base, .katex .strut {
  display: inline-block;
}

.katex .textbf {
  font-weight: 700;
}

.katex .textit {
  font-style: italic;
}

.katex .textrm {
  font-family: KaTeX_Main;
}

.katex .textsf {
  font-family: KaTeX_SansSerif;
}

.katex .texttt {
  font-family: KaTeX_Typewriter;
}

.katex .mathnormal {
  font-family: KaTeX_Math;
  font-style: italic;
}

.katex .mathit {
  font-family: KaTeX_Main;
  font-style: italic;
}

.katex .mathrm {
  font-style: normal;
}

.katex .mathbf {
  font-family: KaTeX_Main;
  font-weight: 700;
}

.katex .boldsymbol {
  font-family: KaTeX_Math;
  font-style: italic;
  font-weight: 700;
}

.katex .amsrm, .katex .mathbb, .katex .textbb {
  font-family: KaTeX_AMS;
}

.katex .mathcal {
  font-family: KaTeX_Caligraphic;
}

.katex .mathfrak, .katex .textfrak {
  font-family: KaTeX_Fraktur;
}

.katex .mathboldfrak, .katex .textboldfrak {
  font-family: KaTeX_Fraktur;
  font-weight: 700;
}

.katex .mathtt {
  font-family: KaTeX_Typewriter;
}

.katex .mathscr, .katex .textscr {
  font-family: KaTeX_Script;
}

.katex .mathsf, .katex .textsf {
  font-family: KaTeX_SansSerif;
}

.katex .mathboldsf, .katex .textboldsf {
  font-family: KaTeX_SansSerif;
  font-weight: 700;
}

.katex .mathitsf, .katex .mathsfit, .katex .textitsf {
  font-family: KaTeX_SansSerif;
  font-style: italic;
}

.katex .mainrm {
  font-family: KaTeX_Main;
  font-style: normal;
}

.katex .vlist-t {
  border-collapse: collapse;
  display: inline-table;
  table-layout: fixed;
}

.katex .vlist-r {
  display: table-row;
}

.katex .vlist {
  display: table-cell;
  position: relative;
  vertical-align: bottom;
}

.katex .vlist > span {
  display: block;
  height: 0;
  position: relative;
}

.katex .vlist > span > span {
  display: inline-block;
}

.katex .vlist > span > .pstrut {
  overflow: hidden;
  width: 0;
}

.katex .vlist-t2 {
  margin-right: -2px;
}

.katex .vlist-s {
  display: table-cell;
  font-size: 1px;
  min-width: 2px;
  vertical-align: bottom;
  width: 2px;
}

.katex .vbox {
  align-items: baseline;
  display: inline-flex;
  flex-direction: column;
}

.katex .hbox {
  width: 100%;
}

.katex .hbox, .katex .thinbox {
  display: inline-flex;
  flex-direction: row;
}

.katex .thinbox {
  max-width: 0;
  width: 0;
}

.katex .msupsub {
  text-align: left;
}

.katex .mfrac > span > span {
  text-align: center;
}

.katex .mfrac .frac-line {
  border-bottom-style: solid;
  display: inline-block;
  width: 100%;
}

.katex .hdashline, .katex .hline, .katex .mfrac .frac-line, .katex .overline .overline-line, .katex .rule, .katex .underline .underline-line {
  min-height: 1px;
}

.katex .mspace {
  display: inline-block;
}

.katex .clap, .katex .llap, .katex .rlap {
  position: relative;
  width: 0;
}

.katex .clap > .inner, .katex .llap > .inner, .katex .rlap > .inner {
  position: absolute;
}

.katex .clap > .fix, .katex .llap > .fix, .katex .rlap > .fix {
  display: inline-block;
}

.katex .llap > .inner {
  right: 0;
}

.katex .clap > .inner, .katex .rlap > .inner {
  left: 0;
}

.katex .clap > .inner > span {
  margin-left: -50%;
  margin-right: 50%;
}

.katex .rule {
  border: 0 solid;
  display: inline-block;
  position: relative;
}

.katex .hline, .katex .overline .overline-line, .katex .underline .underline-line {
  border-bottom-style: solid;
  display: inline-block;
  width: 100%;
}

.katex .hdashline {
  border-bottom-style: dashed;
  display: inline-block;
  width: 100%;
}

.katex .sqrt > .root {
  margin-left: 0.2777777778em;
  margin-right: -0.5555555556em;
}

.katex .fontsize-ensurer.reset-size1.size1, .katex .sizing.reset-size1.size1 {
  font-size: 1em;
}

.katex .fontsize-ensurer.reset-size1.size2, .katex .sizing.reset-size1.size2 {
  font-size: 1.2em;
}

.katex .fontsize-ensurer.reset-size1.size3, .katex .sizing.reset-size1.size3 {
  font-size: 1.4em;
}

.katex .fontsize-ensurer.reset-size1.size4, .katex .sizing.reset-size1.size4 {
  font-size: 1.6em;
}

.katex .fontsize-ensurer.reset-size1.size5, .katex .sizing.reset-size1.size5 {
  font-size: 1.8em;
}

.katex .fontsize-ensurer.reset-size1.size6, .katex .sizing.reset-size1.size6 {
  font-size: 2em;
}

.katex .fontsize-ensurer.reset-size1.size7, .katex .sizing.reset-size1.size7 {
  font-size: 2.4em;
}

.katex .fontsize-ensurer.reset-size1.size8, .katex .sizing.reset-size1.size8 {
  font-size: 2.88em;
}

.katex .fontsize-ensurer.reset-size1.size9, .katex .sizing.reset-size1.size9 {
  font-size: 3.456em;
}

.katex .fontsize-ensurer.reset-size1.size10, .katex .sizing.reset-size1.size10 {
  font-size: 4.148em;
}

.katex .fontsize-ensurer.reset-size1.size11, .katex .sizing.reset-size1.size11 {
  font-size: 4.976em;
}

.katex .fontsize-ensurer.reset-size2.size1, .katex .sizing.reset-size2.size1 {
  font-size: 0.8333333333em;
}

.katex .fontsize-ensurer.reset-size2.size2, .katex .sizing.reset-size2.size2 {
  font-size: 1em;
}

.katex .fontsize-ensurer.reset-size2.size3, .katex .sizing.reset-size2.size3 {
  font-size: 1.1666666667em;
}

.katex .fontsize-ensurer.reset-size2.size4, .katex .sizing.reset-size2.size4 {
  font-size: 1.3333333333em;
}

.katex .fontsize-ensurer.reset-size2.size5, .katex .sizing.reset-size2.size5 {
  font-size: 1.5em;
}

.katex .fontsize-ensurer.reset-size2.size6, .katex .sizing.reset-size2.size6 {
  font-size: 1.6666666667em;
}

.katex .fontsize-ensurer.reset-size2.size7, .katex .sizing.reset-size2.size7 {
  font-size: 2em;
}

.katex .fontsize-ensurer.reset-size2.size8, .katex .sizing.reset-size2.size8 {
  font-size: 2.4em;
}

.katex .fontsize-ensurer.reset-size2.size9, .katex .sizing.reset-size2.size9 {
  font-size: 2.88em;
}

.katex .fontsize-ensurer.reset-size2.size10, .katex .sizing.reset-size2.size10 {
  font-size: 3.4566666667em;
}

.katex .fontsize-ensurer.reset-size2.size11, .katex .sizing.reset-size2.size11 {
  font-size: 4.1466666667em;
}

.katex .fontsize-ensurer.reset-size3.size1, .katex .sizing.reset-size3.size1 {
  font-size: 0.7142857143em;
}

.katex .fontsize-ensurer.reset-size3.size2, .katex .sizing.reset-size3.size2 {
  font-size: 0.8571428571em;
}

.katex .fontsize-ensurer.reset-size3.size3, .katex .sizing.reset-size3.size3 {
  font-size: 1em;
}

.katex .fontsize-ensurer.reset-size3.size4, .katex .sizing.reset-size3.size4 {
  font-size: 1.1428571429em;
}

.katex .fontsize-ensurer.reset-size3.size5, .katex .sizing.reset-size3.size5 {
  font-size: 1.2857142857em;
}

.katex .fontsize-ensurer.reset-size3.size6, .katex .sizing.reset-size3.size6 {
  font-size: 1.4285714286em;
}

.katex .fontsize-ensurer.reset-size3.size7, .katex .sizing.reset-size3.size7 {
  font-size: 1.7142857143em;
}

.katex .fontsize-ensurer.reset-size3.size8, .katex .sizing.reset-size3.size8 {
  font-size: 2.0571428571em;
}

.katex .fontsize-ensurer.reset-size3.size9, .katex .sizing.reset-size3.size9 {
  font-size: 2.4685714286em;
}

.katex .fontsize-ensurer.reset-size3.size10, .katex .sizing.reset-size3.size10 {
  font-size: 2.9628571429em;
}

.katex .fontsize-ensurer.reset-size3.size11, .katex .sizing.reset-size3.size11 {
  font-size: 3.5542857143em;
}

.katex .fontsize-ensurer.reset-size4.size1, .katex .sizing.reset-size4.size1 {
  font-size: 0.625em;
}

.katex .fontsize-ensurer.reset-size4.size2, .katex .sizing.reset-size4.size2 {
  font-size: 0.75em;
}

.katex .fontsize-ensurer.reset-size4.size3, .katex .sizing.reset-size4.size3 {
  font-size: 0.875em;
}

.katex .fontsize-ensurer.reset-size4.size4, .katex .sizing.reset-size4.size4 {
  font-size: 1em;
}

.katex .fontsize-ensurer.reset-size4.size5, .katex .sizing.reset-size4.size5 {
  font-size: 1.125em;
}

.katex .fontsize-ensurer.reset-size4.size6, .katex .sizing.reset-size4.size6 {
  font-size: 1.25em;
}

.katex .fontsize-ensurer.reset-size4.size7, .katex .sizing.reset-size4.size7 {
  font-size: 1.5em;
}

.katex .fontsize-ensurer.reset-size4.size8, .katex .sizing.reset-size4.size8 {
  font-size: 1.8em;
}

.katex .fontsize-ensurer.reset-size4.size9, .katex .sizing.reset-size4.size9 {
  font-size: 2.16em;
}

.katex .fontsize-ensurer.reset-size4.size10, .katex .sizing.reset-size4.size10 {
  font-size: 2.5925em;
}

.katex .fontsize-ensurer.reset-size4.size11, .katex .sizing.reset-size4.size11 {
  font-size: 3.11em;
}

.katex .fontsize-ensurer.reset-size5.size1, .katex .sizing.reset-size5.size1 {
  font-size: 0.5555555556em;
}

.katex .fontsize-ensurer.reset-size5.size2, .katex .sizing.reset-size5.size2 {
  font-size: 0.6666666667em;
}

.katex .fontsize-ensurer.reset-size5.size3, .katex .sizing.reset-size5.size3 {
  font-size: 0.7777777778em;
}

.katex .fontsize-ensurer.reset-size5.size4, .katex .sizing.reset-size5.size4 {
  font-size: 0.8888888889em;
}

.katex .fontsize-ensurer.reset-size5.size5, .katex .sizing.reset-size5.size5 {
  font-size: 1em;
}

.katex .fontsize-ensurer.reset-size5.size6, .katex .sizing.reset-size5.size6 {
  font-size: 1.1111111111em;
}

.katex .fontsize-ensurer.reset-size5.size7, .katex .sizing.reset-size5.size7 {
  font-size: 1.3333333333em;
}

.katex .fontsize-ensurer.reset-size5.size8, .katex .sizing.reset-size5.size8 {
  font-size: 1.6em;
}

.katex .fontsize-ensurer.reset-size5.size9, .katex .sizing.reset-size5.size9 {
  font-size: 1.92em;
}

.katex .fontsize-ensurer.reset-size5.size10, .katex .sizing.reset-size5.size10 {
  font-size: 2.3044444444em;
}

.katex .fontsize-ensurer.reset-size5.size11, .katex .sizing.reset-size5.size11 {
  font-size: 2.7644444444em;
}

.katex .fontsize-ensurer.reset-size6.size1, .katex .sizing.reset-size6.size1 {
  font-size: 0.5em;
}

.katex .fontsize-ensurer.reset-size6.size2, .katex .sizing.reset-size6.size2 {
  font-size: 0.6em;
}

.katex .fontsize-ensurer.reset-size6.size3, .katex .sizing.reset-size6.size3 {
  font-size: 0.7em;
}

.katex .fontsize-ensurer.reset-size6.size4, .katex .sizing.reset-size6.size4 {
  font-size: 0.8em;
}

.katex .fontsize-ensurer.reset-size6.size5, .katex .sizing.reset-size6.size5 {
  font-size: 0.9em;
}

.katex .fontsize-ensurer.reset-size6.size6, .katex .sizing.reset-size6.size6 {
  font-size: 1em;
}

.katex .fontsize-ensurer.reset-size6.size7, .katex .sizing.reset-size6.size7 {
  font-size: 1.2em;
}

.katex .fontsize-ensurer.reset-size6.size8, .katex .sizing.reset-size6.size8 {
  font-size: 1.44em;
}

.katex .fontsize-ensurer.reset-size6.size9, .katex .sizing.reset-size6.size9 {
  font-size: 1.728em;
}

.katex .fontsize-ensurer.reset-size6.size10, .katex .sizing.reset-size6.size10 {
  font-size: 2.074em;
}

.katex .fontsize-ensurer.reset-size6.size11, .katex .sizing.reset-size6.size11 {
  font-size: 2.488em;
}

.katex .fontsize-ensurer.reset-size7.size1, .katex .sizing.reset-size7.size1 {
  font-size: 0.4166666667em;
}

.katex .fontsize-ensurer.reset-size7.size2, .katex .sizing.reset-size7.size2 {
  font-size: 0.5em;
}

.katex .fontsize-ensurer.reset-size7.size3, .katex .sizing.reset-size7.size3 {
  font-size: 0.5833333333em;
}

.katex .fontsize-ensurer.reset-size7.size4, .katex .sizing.reset-size7.size4 {
  font-size: 0.6666666667em;
}

.katex .fontsize-ensurer.reset-size7.size5, .katex .sizing.reset-size7.size5 {
  font-size: 0.75em;
}

.katex .fontsize-ensurer.reset-size7.size6, .katex .sizing.reset-size7.size6 {
  font-size: 0.8333333333em;
}

.katex .fontsize-ensurer.reset-size7.size7, .katex .sizing.reset-size7.size7 {
  font-size: 1em;
}

.katex .fontsize-ensurer.reset-size7.size8, .katex .sizing.reset-size7.size8 {
  font-size: 1.2em;
}

.katex .fontsize-ensurer.reset-size7.size9, .katex .sizing.reset-size7.size9 {
  font-size: 1.44em;
}

.katex .fontsize-ensurer.reset-size7.size10, .katex .sizing.reset-size7.size10 {
  font-size: 1.7283333333em;
}

.katex .fontsize-ensurer.reset-size7.size11, .katex .sizing.reset-size7.size11 {
  font-size: 2.0733333333em;
}

.katex .fontsize-ensurer.reset-size8.size1, .katex .sizing.reset-size8.size1 {
  font-size: 0.3472222222em;
}

.katex .fontsize-ensurer.reset-size8.size2, .katex .sizing.reset-size8.size2 {
  font-size: 0.4166666667em;
}

.katex .fontsize-ensurer.reset-size8.size3, .katex .sizing.reset-size8.size3 {
  font-size: 0.4861111111em;
}

.katex .fontsize-ensurer.reset-size8.size4, .katex .sizing.reset-size8.size4 {
  font-size: 0.5555555556em;
}

.katex .fontsize-ensurer.reset-size8.size5, .katex .sizing.reset-size8.size5 {
  font-size: 0.625em;
}

.katex .fontsize-ensurer.reset-size8.size6, .katex .sizing.reset-size8.size6 {
  font-size: 0.6944444444em;
}

.katex .fontsize-ensurer.reset-size8.size7, .katex .sizing.reset-size8.size7 {
  font-size: 0.8333333333em;
}

.katex .fontsize-ensurer.reset-size8.size8, .katex .sizing.reset-size8.size8 {
  font-size: 1em;
}

.katex .fontsize-ensurer.reset-size8.size9, .katex .sizing.reset-size8.size9 {
  font-size: 1.2em;
}

.katex .fontsize-ensurer.reset-size8.size10, .katex .sizing.reset-size8.size10 {
  font-size: 1.4402777778em;
}

.katex .fontsize-ensurer.reset-size8.size11, .katex .sizing.reset-size8.size11 {
  font-size: 1.7277777778em;
}

.katex .fontsize-ensurer.reset-size9.size1, .katex .sizing.reset-size9.size1 {
  font-size: 0.2893518519em;
}

.katex .fontsize-ensurer.reset-size9.size2, .katex .sizing.reset-size9.size2 {
  font-size: 0.3472222222em;
}

.katex .fontsize-ensurer.reset-size9.size3, .katex .sizing.reset-size9.size3 {
  font-size: 0.4050925926em;
}

.katex .fontsize-ensurer.reset-size9.size4, .katex .sizing.reset-size9.size4 {
  font-size: 0.462962963em;
}

.katex .fontsize-ensurer.reset-size9.size5, .katex .sizing.reset-size9.size5 {
  font-size: 0.5208333333em;
}

.katex .fontsize-ensurer.reset-size9.size6, .katex .sizing.reset-size9.size6 {
  font-size: 0.5787037037em;
}

.katex .fontsize-ensurer.reset-size9.size7, .katex .sizing.reset-size9.size7 {
  font-size: 0.6944444444em;
}

.katex .fontsize-ensurer.reset-size9.size8, .katex .sizing.reset-size9.size8 {
  font-size: 0.8333333333em;
}

.katex .fontsize-ensurer.reset-size9.size9, .katex .sizing.reset-size9.size9 {
  font-size: 1em;
}

.katex .fontsize-ensurer.reset-size9.size10, .katex .sizing.reset-size9.size10 {
  font-size: 1.2002314815em;
}

.katex .fontsize-ensurer.reset-size9.size11, .katex .sizing.reset-size9.size11 {
  font-size: 1.4398148148em;
}

.katex .fontsize-ensurer.reset-size10.size1, .katex .sizing.reset-size10.size1 {
  font-size: 0.2410800386em;
}

.katex .fontsize-ensurer.reset-size10.size2, .katex .sizing.reset-size10.size2 {
  font-size: 0.2892960463em;
}

.katex .fontsize-ensurer.reset-size10.size3, .katex .sizing.reset-size10.size3 {
  font-size: 0.337512054em;
}

.katex .fontsize-ensurer.reset-size10.size4, .katex .sizing.reset-size10.size4 {
  font-size: 0.3857280617em;
}

.katex .fontsize-ensurer.reset-size10.size5, .katex .sizing.reset-size10.size5 {
  font-size: 0.4339440694em;
}

.katex .fontsize-ensurer.reset-size10.size6, .katex .sizing.reset-size10.size6 {
  font-size: 0.4821600771em;
}

.katex .fontsize-ensurer.reset-size10.size7, .katex .sizing.reset-size10.size7 {
  font-size: 0.5785920926em;
}

.katex .fontsize-ensurer.reset-size10.size8, .katex .sizing.reset-size10.size8 {
  font-size: 0.6943105111em;
}

.katex .fontsize-ensurer.reset-size10.size9, .katex .sizing.reset-size10.size9 {
  font-size: 0.8331726133em;
}

.katex .fontsize-ensurer.reset-size10.size10, .katex .sizing.reset-size10.size10 {
  font-size: 1em;
}

.katex .fontsize-ensurer.reset-size10.size11, .katex .sizing.reset-size10.size11 {
  font-size: 1.1996142719em;
}

.katex .fontsize-ensurer.reset-size11.size1, .katex .sizing.reset-size11.size1 {
  font-size: 0.2009646302em;
}

.katex .fontsize-ensurer.reset-size11.size2, .katex .sizing.reset-size11.size2 {
  font-size: 0.2411575563em;
}

.katex .fontsize-ensurer.reset-size11.size3, .katex .sizing.reset-size11.size3 {
  font-size: 0.2813504823em;
}

.katex .fontsize-ensurer.reset-size11.size4, .katex .sizing.reset-size11.size4 {
  font-size: 0.3215434084em;
}

.katex .fontsize-ensurer.reset-size11.size5, .katex .sizing.reset-size11.size5 {
  font-size: 0.3617363344em;
}

.katex .fontsize-ensurer.reset-size11.size6, .katex .sizing.reset-size11.size6 {
  font-size: 0.4019292605em;
}

.katex .fontsize-ensurer.reset-size11.size7, .katex .sizing.reset-size11.size7 {
  font-size: 0.4823151125em;
}

.katex .fontsize-ensurer.reset-size11.size8, .katex .sizing.reset-size11.size8 {
  font-size: 0.578778135em;
}

.katex .fontsize-ensurer.reset-size11.size9, .katex .sizing.reset-size11.size9 {
  font-size: 0.6945337621em;
}

.katex .fontsize-ensurer.reset-size11.size10, .katex .sizing.reset-size11.size10 {
  font-size: 0.8336012862em;
}

.katex .fontsize-ensurer.reset-size11.size11, .katex .sizing.reset-size11.size11 {
  font-size: 1em;
}

.katex .delimsizing.size1 {
  font-family: KaTeX_Size1;
}

.katex .delimsizing.size2 {
  font-family: KaTeX_Size2;
}

.katex .delimsizing.size3 {
  font-family: KaTeX_Size3;
}

.katex .delimsizing.size4 {
  font-family: KaTeX_Size4;
}

.katex .delimsizing.mult .delim-size1 > span {
  font-family: KaTeX_Size1;
}

.katex .delimsizing.mult .delim-size4 > span {
  font-family: KaTeX_Size4;
}

.katex .nulldelimiter {
  display: inline-block;
  width: 0.12em;
}

.katex .delimcenter, .katex .op-symbol {
  position: relative;
}

.katex .op-symbol.small-op {
  font-family: KaTeX_Size1;
}

.katex .op-symbol.large-op {
  font-family: KaTeX_Size2;
}

.katex .accent > .vlist-t, .katex .op-limits > .vlist-t {
  text-align: center;
}

.katex .accent .accent-body {
  position: relative;
}

.katex .accent .accent-body:not(.accent-full) {
  width: 0;
}

.katex .overlay {
  display: block;
}

.katex .mtable .vertical-separator {
  display: inline-block;
  min-width: 1px;
}

.katex .mtable .arraycolsep {
  display: inline-block;
}

.katex .mtable .col-align-c > .vlist-t {
  text-align: center;
}

.katex .mtable .col-align-l > .vlist-t {
  text-align: left;
}

.katex .mtable .col-align-r > .vlist-t {
  text-align: right;
}

.katex .svg-align {
  text-align: left;
}

.katex svg {
  fill: currentColor;
  stroke: currentColor;
  fill-rule: nonzero;
  fill-opacity: 1;
  stroke-width: 1;
  stroke-linecap: butt;
  stroke-linejoin: miter;
  stroke-miterlimit: 4;
  stroke-dasharray: none;
  stroke-dashoffset: 0;
  stroke-opacity: 1;
  display: block;
  height: inherit;
  position: absolute;
  width: 100%;
}

.katex svg path {
  stroke: none;
}

.katex img {
  border-style: none;
  max-height: none;
  max-width: none;
  min-height: 0;
  min-width: 0;
}

.katex .stretchy {
  display: block;
  overflow: hidden;
  position: relative;
  width: 100%;
}

.katex .stretchy:after, .katex .stretchy:before {
  content: "";
}

.katex .hide-tail {
  overflow: hidden;
  position: relative;
  width: 100%;
}

.katex .halfarrow-left {
  left: 0;
  overflow: hidden;
  position: absolute;
  width: 50.2%;
}

.katex .halfarrow-right {
  overflow: hidden;
  position: absolute;
  right: 0;
  width: 50.2%;
}

.katex .brace-left {
  left: 0;
  overflow: hidden;
  position: absolute;
  width: 25.1%;
}

.katex .brace-center {
  left: 25%;
  overflow: hidden;
  position: absolute;
  width: 50%;
}

.katex .brace-right {
  overflow: hidden;
  position: absolute;
  right: 0;
  width: 25.1%;
}

.katex .x-arrow-pad {
  padding: 0 0.5em;
}

.katex .cd-arrow-pad {
  padding: 0 0.55556em 0 0.27778em;
}

.katex .mover, .katex .munder, .katex .x-arrow {
  text-align: center;
}

.katex .boxpad {
  padding: 0 0.3em;
}

.katex .fbox, .katex .fcolorbox {
  border: 0.04em solid;
  box-sizing: border-box;
}

.katex .cancel-pad {
  padding: 0 0.2em;
}

.katex .cancel-lap {
  margin-left: -0.2em;
  margin-right: -0.2em;
}

.katex .sout {
  border-bottom-style: solid;
  border-bottom-width: 0.08em;
}

.katex .angl {
  border-right: 0.049em solid;
  border-top: 0.049em solid;
  box-sizing: border-box;
  margin-right: 0.03889em;
}

.katex .anglpad {
  padding: 0 0.03889em;
}

.katex .eqn-num:before {
  content: "(" counter(katexEqnNo) ")";
  counter-increment: katexEqnNo;
}

.katex .mml-eqn-num:before {
  content: "(" counter(mmlEqnNo) ")";
  counter-increment: mmlEqnNo;
}

.katex .mtr-glue {
  width: 50%;
}

.katex .cd-vert-arrow {
  display: inline-block;
  position: relative;
}

.katex .cd-label-left {
  display: inline-block;
  position: absolute;
  right: calc(50% + 0.3em);
  text-align: left;
}

.katex .cd-label-right {
  display: inline-block;
  left: calc(50% + 0.3em);
  position: absolute;
  text-align: right;
}

.katex-display {
  display: block;
  margin: 1em 0;
  text-align: center;
}

.katex-display > .katex {
  display: block;
  text-align: center;
  white-space: nowrap;
}

.katex-display > .katex > .katex-html {
  display: block;
  position: relative;
}

.katex-display > .katex > .katex-html > .tag {
  position: absolute;
  right: 0;
}

.katex-display.leqno > .katex > .katex-html > .tag {
  left: 0;
  right: auto;
}

.katex-display.fleqn > .katex {
  padding-left: 2em;
  text-align: left;
}

body {
  counter-reset: katexEqnNo mmlEqnNo;
}

@layer layout {
  body {
    margin: 0;
  }
  @media (width >= 70rem) {
    .container {
      grid-template-columns: minmax(1rem, auto) minmax(30rem, 40rem) minmax(1rem, auto);
    }
  }
  @media (width < 70rem) {
    .container {
      grid-template-columns: minmax(1rem, auto) minmax(30rem, 40rem) minmax(1rem, auto);
    }
  }
  .container {
    display: grid;
    grid-column: 2;
    column-gap: 1rem;
  }
  .container > .fullbleed {
    grid-column: 1/-1 !important;
  }
  .container > .horizontal {
    grid-column: 1/-1 !important;
    display: flex;
    flex-direction: row;
    justify-content: center;
    align-items: center;
    column-gap: 1rem;
    margin-left: 1rem;
    margin-right: 1rem;
  }
  .container > .horizontal figure {
    margin-left: 0;
    margin-right: 0;
  }
  .container > * {
    grid-column: 2;
  }
  h1 {
    margin-top: 1rem;
  }
  h2,
  h3,
  h4 {
    margin-bottom: 0;
  }
  pre.sourceCode {
    padding-left: 2em;
    padding-right: 2em;
  }
  p,
  ul,
  ol,
  table {
    margin-top: 0;
    margin-bottom: 1rem;
  }
  main {
    padding-bottom: 1rem;
  }
}
@layer header-footer {
  body > header, body > footer {
    box-shadow: 0 0 6px var(--shadow-color);
  }
  footer .post-summary {
    font-size: var(--font-size-caption);
  }
  footer .post-summary .title {
    font-size: var(--font-size-h3);
  }
}
:root {
  color-scheme: light dark;
  --background: light-dark(rgb(239, 239, 239), rgb(30, 30, 30));
  --heading-text-color: #349865;
  --subheading-text-color: #6d85a4;
  --text-color: light-dark(rgb(30, 30, 30), rgb(239, 239, 239));
  --dimmed-text-color: color-mix(in oklch, light-dark(rgb(30, 30, 30), rgb(239, 239, 239)) 60%, light-dark(rgb(239, 239, 239), rgb(30, 30, 30)));
  --border-color: #6d85a4;
  --aside-border-color: #6d85a4;
  --blockquote-color: #D8A24A;
  --shadow-color: light-dark(rgb(30, 30, 30), rgb(239, 239, 239));
  --notice-background-color: color-mix(in oklch, #D86C4A 60%, light-dark(rgb(239, 239, 239), rgb(30, 30, 30)));
  --table-header-border-color: color-mix(in oklch, #D8A24A 60%, light-dark(rgb(239, 239, 239), rgb(30, 30, 30)));
  --table-odd-row-color: color-mix(in oklch, #D8A24A 30%, light-dark(rgb(239, 239, 239), rgb(30, 30, 30)));
  --tag-background-color: color-mix(in oklch, #6d85a4 30%, light-dark(rgb(239, 239, 239), rgb(30, 30, 30)));
  --tag-text-color: light-dark(rgb(30, 30, 30), rgb(239, 239, 239));
  --popover-background-color: color-mix(in oklch, #6d85a4 30%, light-dark(rgb(239, 239, 239), rgb(30, 30, 30)));
  --popover-text-color: light-dark(rgb(30, 30, 30), rgb(239, 239, 239));
  --popover-border-color: #6d85a4;
}

:root {
  --font-weight-normal: 400;
  --font-weight-bold: 600;
  --font-size-aside: 10pt;
  --font-size-block-code: 10pt;
  --font-size-blockquote: 18pt;
  --font-size-body: 12pt;
  --font-size-caption: 10pt;
  --font-size-displaymath: 16pt;
  --font-size-h1: 32pt;
  --font-size-h1-title: 18pt;
  --font-size-h2: 20pt;
  --font-size-h2-footer: 14pt;
  --font-size-h3: 18pt;
  --font-size-h4: 16pt;
  --font-size-inline-code: 10pt;
  --font-size-preposition: 14pt;
  --font-size-series-container: 12pt;
  --font-size-small: 10pt;
  --font-size-table-caption: 11pt;
  --font-size-tag: 11pt;
  font-size: 16pt;
}

.references::before {
  content: "References";
  font-family: "Crimson Pro", serif;
  font-optical-sizing: auto;
  font-weight: var(--font-weight-bold);
  font-style: normal;
  font-size: var(--font-size-h2);
  line-height: 1.2;
  display: block;
  padding-bottom: 1rem;
  color: var(--heading-text-color);
}
.references .csl-entry {
  padding-bottom: 1rem;
}
.references .csl-entry .csl-title {
  font-weight: bold;
}
.references .csl-entry .csl-container-title {
  font-style: italic;
}
.references .csl-entry .csl-abstract {
  font-style: italics;
  font-size: smaller;
  margin-left: 1rem;
  margin-right: 1rem;
  color: var(--dimmed-text-color);
  text-justify: auto;
}
.references .csl-entry .csl-year {
  font-weight: bold;
}
.references .csl-entry .csl-url, .references .csl-entry .csl-accessed {
  font-size: smaller;
}
.references .csl-entry .csl-scholar-link {
  font-size: smaller;
}

pre > code.sourceCode {
  white-space: pre;
  position: relative;
}

pre > code.sourceCode > span {
  line-height: 1.25;
}

pre > code.sourceCode > span:empty {
  height: 1.2em;
}

.sourceCode {
  overflow: visible;
}

code.sourceCode > span {
  color: inherit;
  text-decoration: inherit;
}

div.sourceCode {
  margin: 1em 0;
}

pre.sourceCode {
  margin: 0;
}

@media screen {
  div.sourceCode {
    overflow: auto;
  }
}
@media print {
  pre > code.sourceCode {
    white-space: pre-wrap;
  }
  pre > code.sourceCode > span {
    display: inline-block;
    text-indent: -5em;
    padding-left: 5em;
  }
}
pre.numberSource code {
  counter-reset: source-line 0;
}

pre.numberSource code > span {
  position: relative;
  left: -4em;
  counter-increment: source-line;
}

pre.numberSource code > span > a:first-child::before {
  content: counter(source-line);
  position: relative;
  left: -1em;
  text-align: right;
  vertical-align: baseline;
  border: none;
  display: inline-block;
  -webkit-touch-callout: none;
  -webkit-user-select: none;
  -khtml-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  user-select: none;
  padding: 0 4px;
  width: 4em;
  color: #aaaaaa;
}

pre.numberSource {
  margin-left: 3em;
  border-left: 1px solid #aaaaaa;
  padding-left: 4px;
}

@media screen {
  pre > code.sourceCode > span > a:first-child::before {
    text-decoration: underline;
  }
}
code span.al {
  color: #ff0000;
  font-weight: bold;
} /* Alert */
code span.an {
  color: #60a0b0;
  font-weight: bold;
  font-style: italic;
} /* Annotation */
code span.at {
  color: #7d9029;
} /* Attribute */
code span.bn {
  color: #40a070;
} /* BaseN */
code span.bu {
  color: #008000;
} /* BuiltIn */
code span.cf {
  color: #007020;
  font-weight: bold;
} /* ControlFlow */
code span.ch {
  color: #4070a0;
} /* Char */
code span.cn {
  color: #880000;
} /* Constant */
code span.co {
  color: #60a0b0;
  font-style: italic;
} /* Comment */
code span.cv {
  color: #60a0b0;
  font-weight: bold;
  font-style: italic;
} /* CommentVar */
code span.do {
  color: #ba2121;
  font-style: italic;
} /* Documentation */
code span.dt {
  color: #902000;
} /* DataType */
code span.dv {
  color: #40a070;
} /* DecVal */
code span.er {
  color: #ff0000;
  font-weight: bold;
} /* Error */
/* Extension */
code span.fl {
  color: #40a070;
} /* Float */
code span.fu {
  color: #06287e;
} /* Function */
code span.im {
  color: #008000;
  font-weight: bold;
} /* Import */
code span.in {
  color: #60a0b0;
  font-weight: bold;
  font-style: italic;
} /* Information */
code span.kw {
  color: #007020;
  font-weight: bold;
} /* Keyword */
code span.op {
  color: #666666;
} /* Operator */
code span.ot {
  color: #007020;
} /* Other */
code span.pp {
  color: #bc7a00;
} /* Preprocessor */
code span.sc {
  color: #4070a0;
} /* SpecialChar */
code span.ss {
  color: #bb6688;
} /* SpecialString */
code span.st {
  color: #4070a0;
} /* String */
code span.va {
  color: #19177c;
} /* Variable */
code span.vs {
  color: #4070a0;
} /* VerbatimString */
code span.wa {
  color: #60a0b0;
  font-weight: bold;
  font-style: italic;
} /* Warning */
.sidenote-host-1,
sidenote-anchor-1 {
  anchor-name: --anchor-1;
}

.sidenote-1,
sidenote-card-1 {
  position-anchor: --anchor-1;
}
@media (width < 70rem) {
  .sidenote-1,
  sidenote-card-1 {
    margin: 0 4rem 1rem 4rem;
    font-family: "Roboto", sans-serif;
    font-optical-sizing: auto;
    font-style: normal;
    font-weight: var(--font-weight-normal);
    font-size: var(--font-size-aside);
    line-height: 1.5;
    font-variation-settings: "wdth" 100;
  }
}
@media (width >= 70rem) {
  .sidenote-1,
  sidenote-card-1 {
    display: block;
    position: absolute;
    top: anchor(top);
    left: anchor(right);
    margin-left: 1rem;
    margin-right: 1rem;
    max-width: calc(anchor-size(width) / 2);
    font-family: "Roboto", sans-serif;
    font-optical-sizing: auto;
    font-style: normal;
    font-weight: var(--font-weight-normal);
    font-size: var(--font-size-aside);
    line-height: 1.5;
    font-variation-settings: "wdth" 100;
  }
  .sidenote-1 *,
  sidenote-card-1 * {
    margin-left: 0;
    margin-right: 0;
  }
}

.sidenote-host-2,
sidenote-anchor-2 {
  anchor-name: --anchor-2;
}

.sidenote-2,
sidenote-card-2 {
  position-anchor: --anchor-2;
}
@media (width < 70rem) {
  .sidenote-2,
  sidenote-card-2 {
    margin: 0 4rem 1rem 4rem;
    font-family: "Roboto", sans-serif;
    font-optical-sizing: auto;
    font-style: normal;
    font-weight: var(--font-weight-normal);
    font-size: var(--font-size-aside);
    line-height: 1.5;
    font-variation-settings: "wdth" 100;
  }
}
@media (width >= 70rem) {
  .sidenote-2,
  sidenote-card-2 {
    display: block;
    position: absolute;
    top: anchor(top);
    left: anchor(right);
    margin-left: 1rem;
    margin-right: 1rem;
    max-width: calc(anchor-size(width) / 2);
    font-family: "Roboto", sans-serif;
    font-optical-sizing: auto;
    font-style: normal;
    font-weight: var(--font-weight-normal);
    font-size: var(--font-size-aside);
    line-height: 1.5;
    font-variation-settings: "wdth" 100;
  }
  .sidenote-2 *,
  sidenote-card-2 * {
    margin-left: 0;
    margin-right: 0;
  }
}

.sidenote-host-3,
sidenote-anchor-3 {
  anchor-name: --anchor-3;
}

.sidenote-3,
sidenote-card-3 {
  position-anchor: --anchor-3;
}
@media (width < 70rem) {
  .sidenote-3,
  sidenote-card-3 {
    margin: 0 4rem 1rem 4rem;
    font-family: "Roboto", sans-serif;
    font-optical-sizing: auto;
    font-style: normal;
    font-weight: var(--font-weight-normal);
    font-size: var(--font-size-aside);
    line-height: 1.5;
    font-variation-settings: "wdth" 100;
  }
}
@media (width >= 70rem) {
  .sidenote-3,
  sidenote-card-3 {
    display: block;
    position: absolute;
    top: anchor(top);
    left: anchor(right);
    margin-left: 1rem;
    margin-right: 1rem;
    max-width: calc(anchor-size(width) / 2);
    font-family: "Roboto", sans-serif;
    font-optical-sizing: auto;
    font-style: normal;
    font-weight: var(--font-weight-normal);
    font-size: var(--font-size-aside);
    line-height: 1.5;
    font-variation-settings: "wdth" 100;
  }
  .sidenote-3 *,
  sidenote-card-3 * {
    margin-left: 0;
    margin-right: 0;
  }
}

.sidenote-host-4,
sidenote-anchor-4 {
  anchor-name: --anchor-4;
}

.sidenote-4,
sidenote-card-4 {
  position-anchor: --anchor-4;
}
@media (width < 70rem) {
  .sidenote-4,
  sidenote-card-4 {
    margin: 0 4rem 1rem 4rem;
    font-family: "Roboto", sans-serif;
    font-optical-sizing: auto;
    font-style: normal;
    font-weight: var(--font-weight-normal);
    font-size: var(--font-size-aside);
    line-height: 1.5;
    font-variation-settings: "wdth" 100;
  }
}
@media (width >= 70rem) {
  .sidenote-4,
  sidenote-card-4 {
    display: block;
    position: absolute;
    top: anchor(top);
    left: anchor(right);
    margin-left: 1rem;
    margin-right: 1rem;
    max-width: calc(anchor-size(width) / 2);
    font-family: "Roboto", sans-serif;
    font-optical-sizing: auto;
    font-style: normal;
    font-weight: var(--font-weight-normal);
    font-size: var(--font-size-aside);
    line-height: 1.5;
    font-variation-settings: "wdth" 100;
  }
  .sidenote-4 *,
  sidenote-card-4 * {
    margin-left: 0;
    margin-right: 0;
  }
}

.footnote-preview-container {
  position: absolute;
  top: anchor(bottom);
  left: anchor(center);
  margin: 0;
  padding: 0;
  border: 0;
  max-width: 20rem;
  background-color: transparent;
  align-content: center;
  filter: drop-shadow(0 0 6px var(--shadow-color));
  transform: translateX(-50%);
}

@media (width < 70rem) {
  .footnote-preview {
    display: none;
  }
}
@media (width >= 70rem) {
  .footnote-preview {
    top: anchor(top);
    left: anchor(right);
    margin-left: 1rem;
    margin-right: 1rem;
    max-width: calc(anchor-size(width) / 2);
    font-family: "Roboto", sans-serif;
    font-optical-sizing: auto;
    font-style: normal;
    font-weight: var(--font-weight-normal);
    font-size: var(--font-size-aside);
    line-height: 1.5;
    font-variation-settings: "wdth" 100;
  }
  .footnote-preview * {
    margin-left: 0;
    margin-right: 0;
  }
  .footnote-preview {
    margin-top: 0;
    margin-bottom: 0;
    padding: 0.5rem;
    background-color: var(--popover-background-color);
    color: var(--popover-text-color);
    border-radius: 0.5rem;
  }
  .footnote-preview p:last-of-type {
    margin-bottom: 0;
  }
}

.footnote-preview-arrow::before {
  content: "";
  position: absolute;
  width: 0;
  height: 0;
  top: 0;
  border-left: 1rem solid transparent;
  border-right: 1rem solid transparent;
  border-bottom: 1rem solid var(--popover-background-color);
  left: 50%;
  transform: translate(-50%, 1px);
}

.footnote-preview-arrow {
  height: 1rem;
  width: 100%;
}

@layer base, layout, header-footer, article;
h1, h2, h3, h4 {
  color: var(--heading-text-color);
}

body {
  background: var(--background);
  color: var(--text-color);
}

body {
  font-family: "Roboto", sans-serif;
  font-optical-sizing: auto;
  font-style: normal;
  font-weight: var(--font-weight-normal);
  font-size: var(--font-size-body);
  line-height: 1.5;
  font-variation-settings: "wdth" 100;
}

h1 {
  font-family: "Crimson Pro", serif;
  font-optical-sizing: auto;
  font-weight: var(--font-weight-bold);
  font-style: normal;
  font-size: var(--font-size-h1);
  line-height: 1.2;
}

h2 {
  font-family: "Crimson Pro", serif;
  font-optical-sizing: auto;
  font-weight: var(--font-weight-bold);
  font-style: normal;
  font-size: var(--font-size-h2);
  line-height: 1.2;
}

h3 {
  font-family: "Crimson Pro", serif;
  font-optical-sizing: auto;
  font-weight: var(--font-weight-bold);
  font-style: normal;
  font-size: var(--font-size-h3);
  line-height: 1.2;
}

h4 {
  font-family: "Crimson Pro", serif;
  font-optical-sizing: auto;
  font-weight: var(--font-weight-bold);
  font-style: normal;
  font-size: var(--font-size-h4);
  line-height: 1.2;
}

code {
  font-family: "Inconsolata", monospace;
  font-optical-sizing: auto;
  font-weight: var(--font-weight-normal);
  font-style: normal;
  font-variation-settings: "wdth" 100;
  line-height: 1.5;
  font-size: var(--font-size-inline-code);
}

pre {
  font-family: "Inconsolata", monospace;
  font-optical-sizing: auto;
  font-weight: var(--font-weight-normal);
  font-style: normal;
  font-variation-settings: "wdth" 100;
  line-height: 1.5;
  font-size: var(--font-size-block-code);
}

menu.tags {
  color: var(--heading-text-color);
  display: flex;
  flex-direction: row;
  justify-content: space-around;
  align-items: center;
  column-gap: 0.2rem;
  margin-block-start: 0;
  margin-block-end: 0;
}
menu.tags * {
  display: inline-flex;
}

.notice {
  background: radial-gradient(circle at -30% -30%, color-mix(in oklab, var(--notice-background-color) 30%, transparent), color-mix(in oklab, var(--notice-background-color) 0%, transparent) 100%);
  margin-bottom: 0;
}
.notice aside h1,
.notice aside h2,
.notice aside h3 {
  font-size: var(--font-size-body);
  margin: 0.5 auto;
}

.post-summary h3 a {
  color: var(--heading-text-color);
}
.post-summary h3 a:visited {
  color: var(--heading-text-color);
}
.post-summary .date {
  font-size: var(--font-size-caption);
  font-style: italic;
  color: var(--dimmed-text-color);
}
.post-summary *[itemprop=abstract] :first-child {
  margin-top: 0;
}
.post-summary .more {
  font-size: var(--font-size-caption);
}
.post-summary .summary-row {
  display: flex;
  flex-direction: row;
  column-gap: 1rem;
}
.post-summary .summary-row img {
  display: block;
  max-width: 10rem;
  height: auto;
  margin-top: 1rem;
  margin-bottom: 1rem;
}
.post-summary .summary-row > div {
  flex-grow: 1;
}
@media (width < 50rem) {
  .post-summary .summary-row {
    flex-direction: column;
  }
  .post-summary .summary-row .hero {
    max-width: 100%;
    width: 100%;
    height: 10rem;
    object-fit: cover;
  }
}

.preface {
  color: var(--dimmed-text-color);
  margin: 1rem;
  float: right;
  width: calc(100% - 4rem);
  padding: 0.75rem;
  font-size: var(--font-size-aside);
  margin: 1rem;
}
.preface * {
  margin: 1rem auto 0 auto;
}
.preface *:first-child {
  margin-top: 0;
}

header small,
nav small {
  font-family: "Roboto", sans-serif;
  font-optical-sizing: auto;
  font-style: italic;
  font-weight: var(--font-weight-normal);
  font-size: var(--font-size-small);
  line-height: 1.5;
  font-variation-settings: "wdth" 100;
  color: var(--dimmed-text-color);
}

nav {
  color: var(--subheading-text-color);
  display: flex;
  flex-direction: row;
  justify-content: space-around;
  align-items: center;
  column-gap: 1rem;
}
nav.multiline {
  flex-wrap: wrap;
  column-gap: 0.2rem;
  row-gap: 0.2rem;
  justify-content: left;
}
nav > * {
  padding: 0;
  flex-basis: max-content;
  align-self: center;
}
nav > *:empty {
  flex-grow: 1;
}
nav h1 {
  font-size: var(--font-size-h1-title);
  font-weight: 600;
  margin: 1rem auto;
}
nav h2 {
  font-size: var(--font-size-h2-footer);
  margin: 1rem auto;
}
nav a {
  color: var(--subheading-text-color);
}
nav .disabled {
  color: var(--dimmed-text-color);
}

.tag:not(.katex-html > .tag) * {
  font-family: "Roboto", sans-serif;
  font-optical-sizing: auto;
  font-style: normal;
  font-weight: var(--font-weight-normal);
  font-size: var(--font-size-tag);
  line-height: 1.5;
  font-variation-settings: "wdth" 100;
  font-variant-caps: titling-caps;
  color: var(--tag-text-color);
}
.tag:not(.katex-html > .tag) *[aria-current=page] {
  font-weight: var(--font-weight-bold);
}
.tag:not(.katex-html > .tag) {
  padding: 0.3rem 0.5rem;
  color: var(--tag-text-color);
  border: 1px var(--border-color) solid;
  border-radius: 10rem;
  display: inline-flex;
  background-color: var(--tag-background-color);
  margin: 0.2rem;
}

.material-symbols-outlined {
  font-variation-settings: "FILL" 0, "wght" 400, "GRAD" 0, "opsz" 20;
  vertical-align: middle;
}

.label {
  font-family: "Roboto", sans-serif;
  font-optical-sizing: auto;
  font-style: normal;
  font-weight: var(--font-weight-normal);
  font-size: var(--font-size-body);
  line-height: 1.5;
  font-variation-settings: "wdth" 100;
}

.smaller {
  font-size: var(--font-size-small);
}

article header {
  margin-bottom: 1rem;
  position: relative;
}
article header .metadata {
  font-family: "Roboto", sans-serif;
  font-optical-sizing: auto;
  font-style: normal;
  font-weight: var(--font-weight-normal);
  font-size: var(--font-size-small);
  line-height: 1.5;
  font-variation-settings: "wdth" 100;
}
article header .banner {
  z-index: -1;
  anchor-name: --banner;
}
article header .banner img {
  width: 100%;
  height: auto;
  filter: none;
}
article header .banner-text {
  position-anchor: --banner;
  position: absolute;
  top: calc(anchor(top) + 1rem);
  left: calc(anchor(left) + 1rem);
  right: calc(anchor(right) + 1rem);
  margin: 0;
  text-shadow: 3px 3px 5px black;
  color-scheme: dark;
  color: var(--text-color);
}
article p > img,
article ul > img,
article ol > img,
article figure > img {
  margin-top: 0;
  margin-bottom: 1rem;
}
article .katex {
  font-size: var(--font-size-displaymath);
}
article > blockquote {
  font-family: "Roboto", sans-serif;
  font-optical-sizing: auto;
  font-style: italic;
  font-weight: var(--font-weight-normal);
  font-size: var(--font-size-blockquote);
  line-height: 1.5;
  font-variation-settings: "wdth" 100;
}
article figure:has(> p:first-child) {
  margin-top: 0;
  margin-bottom: 0;
  padding-left: 3rem;
  padding-right: 3rem;
  position: relative;
}
article figure:has(> p:first-child) > p:first-child::before, article figure:has(> p:first-child) > p:first-child::after {
  content: "";
  display: block;
  position: absolute;
  width: 3rem;
  height: 3rem;
  left: 0;
  filter: opacity(25%);
  background-image: url("/images/double-quotes-left.svg");
  background-position: left top;
  background-repeat: no-repeat;
  background-size: 3rem 3rem;
}
article figure:has(> p:first-child) > p:first-child::after {
  left: auto;
  right: 0;
  background-image: url("/images/double-quotes-right.svg");
  background-position: right top;
}
@media (prefers-color-scheme: dark) {
  article figure:has(> p:first-child) > p:first-child::before, article figure:has(> p:first-child) > p:first-child::after {
    filter: invert(100%) opacity(25%);
  }
}
article figure:has(> img.flush-right) {
  float: right;
  margin-left: 0.5rem;
  margin-right: 0;
  width: 50%;
}
article footer {
  font-size: var(--font-size-caption);
  color: var(--dimmed-text-color);
  text-align: right;
}
article footer p {
  margin-bottom: 0;
}
article footer p:last-child {
  margin-bottom: 1em;
}
article .glossary,
article .aside {
  float: right;
  width: 40%;
  padding: 0.75rem;
  font-size: var(--font-size-aside);
  margin: 0 0 0 0.5rem;
}
article .glossary *,
article .aside * {
  margin: 1rem auto 0 auto;
}
article .glossary *:first-child,
article .aside *:first-child {
  margin-top: 0;
}
article .footnote-ref {
  padding-inline: 0.3rem;
}

.series-container {
  padding-left: 3rem;
  padding-right: 3rem;
  padding-top: 1rem;
  font-size: var(--font-size-series-container);
  float: right;
  width: 60%;
  padding: 0.75rem;
  font-size: var(--font-size-aside);
  margin: 0 0 0 0.5rem;
}
.series-container * {
  margin: 0.2rem auto 0 auto;
}
.series-container *:first-child {
  margin-top: 0;
}
.series-container .series-title {
  font-family: "Crimson Pro", serif;
  font-optical-sizing: auto;
  font-weight: var(--font-weight-bold);
  font-style: normal;
  font-size: var(--font-size-series-container);
  line-height: 1.2;
}
.series-container .you-are-here {
  font-style: italic;
}

figure {
  display: flex;
  flex-direction: column;
  align-items: center;
  justify-content: center;
}
figure img {
  max-width: 100%;
  object-fit: contain;
  height: auto;
}
figure figcaption {
  color: var(--dimmed-text-color);
}

table {
  border: 1px solid var(--border-color);
  border-spacing: 0;
}
table thead {
  font-family: "Crimson Pro", serif;
  font-optical-sizing: auto;
  font-weight: var(--font-weight-bold);
  font-style: normal;
  font-size: var(--font-size-body);
  line-height: 1.2;
}
table thead th {
  font-weight: var(--font-weight-normal);
  border-bottom: 1pt solid var(--table-header-border-color);
}
table tbody td {
  vertical-align: top;
}
table tbody tr:nth-child(even) {
  background-color: var(--table-odd-row-color);
}
table caption {
  font-family: "Roboto", sans-serif;
  font-optical-sizing: auto;
  font-style: normal;
  font-weight: var(--font-weight-normal);
  font-size: var(--font-size-table-caption);
  line-height: 1.5;
  font-variation-settings: "wdth" 100;
  text-align: center;
  margin-bottom: 1rem;
}

@media (prefers-color-scheme: dark) {
  figure img {
    filter: invert(100%);
  }
  .summary-row img {
    filter: invert(100%);
  }
  .summary-row .noinvert {
    filter: none;
  }
  .noinvert {
    filter: none;
  }
}
.force-dark {
  color-scheme: dark;
}