@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.28";
}

.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;
  }
  .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;
  }
}
:root {
  --font-weight-normal: 400;
  --font-weight-bold: 600;
  --font-size-aside: 0.8rem;
  --font-size-block-code: 0.8rem;
  --font-size-blockquote: 1.6rem;
  --font-size-body: 1rem;
  --font-size-caption: 0.8rem;
  --font-size-displaymath: 1.2rem;
  --font-size-h1: 2.5rem;
  --font-weight-h1: 800;
  --font-size-h2: 1.75rem;
  --font-weight-h2: 700;
  --font-size-h3: 1.4rem;
  --font-weight-h3: 600;
  --font-size-h4: 1.4rem;
  --font-weight-h4: 600;
  --font-size-blog-title: 1.2rem;
  --font-size-navigation-fragments: 0.8rem;
  --font-size-inline-code: 0.8rem;
  --font-size-preposition: 1.2rem;
  --font-size-series-container: 1rem;
  --font-size-small: 0.8rem;
  --font-size-footnotes: 0.8rem;
  --font-size-table-caption: 0.9rem;
  --font-size-tag: 0.9rem;
  font-size: 16pt;
}

/* Burnt Orange */
:root {
  color-scheme: light dark;
  --background: light-dark(#fcfbf9, #1a1a1a);
  --h1-text-color: light-dark(#1a252f, #f3f4f6);
  --h2-text-color: light-dark(#d35400, #e67e22);
  --h3-text-color: light-dark(#e67e22, #d35400);
  --h4-text-color: light-dark(#e67e22, #d35400);
  --text-color: light-dark(#2c3e50, #d1d5db);
  --dimmed-text-color: color-mix(in oklch, light-dark(#2c3e50, #d1d5db) 60%, light-dark(#fcfbf9, #1a1a1a));
  --code-background-color: light-dark(#eaeaea, #2d2d2d);
  --border-color: light-dark(#e0e0e0, #333);
  --aside-border-color: light-dark(#d35400, #e67e22);
  --blockquote-color: light-dark(#d35400, #e67e22);
  --shadow-color: light-dark(#2c3e50, #d1d5db);
  --link-color: light-dark(#2980b9, #60a5fa);
  --notice-background-color: color-mix(in oklch, light-dark(#d35400, #e67e22) 60%, light-dark(#fcfbf9, #1a1a1a));
  --table-header-border-color: color-mix(in oklch, light-dark(#d35400, #e67e22) 60%, light-dark(#fcfbf9, #1a1a1a));
  --table-odd-row-color: color-mix(in oklch, light-dark(#e67e22, #d35400) 10%, light-dark(#fcfbf9, #1a1a1a));
  --tag-background-color: color-mix(in oklch, light-dark(#d35400, #e67e22) 30%, light-dark(#fcfbf9, #1a1a1a));
  --tag-text-color: light-dark(#2c3e50, #d1d5db);
  --pill-background-color: color-mix(in oklch, light-dark(#d35400, #e67e22) 30%, light-dark(#fcfbf9, #1a1a1a));
  --pill-text-color: light-dark(#2c3e50, #d1d5db);
  --popover-background-color: color-mix(in oklch, light-dark(#d35400, #e67e22) 30%, light-dark(#fcfbf9, #1a1a1a));
  --popover-text-color: light-dark(#2c3e50, #d1d5db);
  --popover-border-color: light-dark(#d35400, #e67e22);
}

@layer header-footer {
  footer .post-summary {
    font-size: var(--font-size-caption);
  }
  footer .post-summary .title {
    font-size: var(--font-size-h3);
  }
  footer h2 {
    font-family: "Merriweather", Georgia, Cambria, "Times New Roman", Times, serif;
    font-optical-sizing: auto;
    font-variation-settings: "wdth" 100;
    font-weight: var(--font-weight-h2);
    font-style: normal;
    font-size: var(--font-size-h2);
    line-height: 1.2;
    color: var(--h1-text-color);
  }
}
@layer article {
  article header {
    margin-bottom: 1rem;
    position: relative;
  }
  article header .metadata {
    font-family: "Roboto", sans-serif;
    font-optical-sizing: auto;
    font-variation-settings: "wdth" 100;
    font-style: normal;
    font-weight: var(--font-weight-normal);
    font-size: var(--font-size-small);
    line-height: 1.5;
    font-variant-caps: all-petite-caps;
    color: var(--dimmed-text-color);
  }
  article header .metadata .author {
    font-weight: var(--font-weight-bold);
  }
  article header img {
    max-width: 100%;
    object-fit: contain;
    height: auto;
  }
  article h1,
  article h2,
  article h3,
  article h4 {
    line-height: 1.3;
    margin-top: 2.5rem;
    margin-bottom: 1rem;
  }
  article h3, article h4 {
    margin-bottom: 0.6rem;
  }
  article h1 {
    font-family: "Merriweather", Georgia, Cambria, "Times New Roman", Times, serif;
    font-optical-sizing: auto;
    font-variation-settings: "wdth" 100;
    font-weight: var(--font-weight-h1);
    font-style: normal;
    font-size: var(--font-size-h1);
    line-height: 1.2;
    color: var(--h1-text-color);
    margin-top: 0;
  }
  article h2 {
    font-family: "Merriweather", Georgia, Cambria, "Times New Roman", Times, serif;
    font-optical-sizing: auto;
    font-variation-settings: "wdth" 100;
    font-weight: var(--font-weight-h2);
    font-style: normal;
    font-size: var(--font-size-h2);
    line-height: 1.2;
    color: var(--h2-text-color);
  }
  article h3 {
    font-family: "Merriweather", Georgia, Cambria, "Times New Roman", Times, serif;
    font-optical-sizing: auto;
    font-variation-settings: "wdth" 100;
    font-weight: var(--font-weight-h3);
    font-style: normal;
    font-size: var(--font-size-h3);
    line-height: 1.2;
    color: var(--h3-text-color);
  }
  article h4 {
    font-family: "Merriweather", Georgia, Cambria, "Times New Roman", Times, serif;
    font-optical-sizing: auto;
    font-variation-settings: "wdth" 100;
    font-weight: var(--font-weight-h4);
    font-style: normal;
    font-size: var(--font-size-h4);
    line-height: 1.2;
    color: var(--h4-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: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, 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;
  }
  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 code {
    font-family: "Inconsolata", monospace;
    font-optical-sizing: auto;
    font-weight: var(--font-weight-normal);
    font-style: normal;
    line-height: 1.5;
    font-size: var(--font-size-inline-code);
  }
  article pre {
    background-color: var(--code-background-color);
    padding: 1.5rem;
    border-radius: 8px;
    overflow-x: auto;
    margin-bottom: 1.5rem;
    border: 1px solid var(--border-color);
    font-family: "Inconsolata", monospace;
    font-optical-sizing: auto;
    font-weight: var(--font-weight-normal);
    font-style: normal;
    line-height: 1.5;
    font-size: var(--font-size-block-code);
    color: var(--code-text-color);
  }
  article .preface {
    color: var(--dimmed-text-color);
    font-size: var(--font-size-caption);
    margin: 1rem;
    float: right;
    width: calc(100% - 4rem);
    padding: 0.75rem;
    font-size: var(--font-size-aside);
    margin: 1rem;
  }
  article .preface * {
    margin: 1rem auto 0 auto;
  }
  article .preface *:first-child {
    margin-top: 0;
  }
  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 dl {
    margin: 0 1rem 1rem 1rem;
  }
  article dt {
    font-family: "Merriweather", Georgia, Cambria, "Times New Roman", Times, serif;
    font-optical-sizing: auto;
    font-variation-settings: "wdth" 100;
    font-weight: var(--font-weight-bold);
    font-style: normal;
    font-size: var(--font-size-body);
    line-height: 1.2;
  }
  article dd p {
    margin-bottom: 0;
  }
  article dd .phonetic,
  article dd .variant {
    font-style: italic;
    font-size: smaller;
    color: var(--dimmed-text-color);
  }
  article figure {
    display: flex;
    flex-direction: column;
    align-items: center;
    justify-content: center;
  }
  article figure img {
    max-width: 100%;
    object-fit: contain;
    height: auto;
  }
  article figure figcaption {
    font-family: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, 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;
    color: var(--dimmed-text-color);
    text-align: center;
    margin-bottom: 1rem;
  }
  article table {
    border: none;
    border-spacing: 0;
  }
  article table thead {
    font-family: "Roboto", sans-serif;
    font-optical-sizing: auto;
    font-variation-settings: "wdth" 100;
    font-style: normal;
    font-weight: var(--font-weight-normal);
    font-size: var(--font-size-body);
    line-height: 1.5;
  }
  article table thead th {
    font-weight: var(--font-weight-bold);
    border-bottom: 1pt solid var(--table-header-border-color);
    text-align: left;
  }
  article table tbody td {
    vertical-align: top;
  }
  article table tbody tr:nth-child(even) {
    background-color: var(--table-odd-row-color);
  }
  article table caption {
    font-family: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, 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;
    color: var(--dimmed-text-color);
    text-align: center;
    margin-bottom: 1rem;
  }
}
.references::before {
  content: "References";
  font-family: "Merriweather", Georgia, Cambria, "Times New Roman", Times, serif;
  font-optical-sizing: auto;
  font-variation-settings: "wdth" 100;
  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(--h1-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;
}

.footnote-ref {
  padding-inline-end: 0.3rem;
  text-decoration: none;
}
.footnote-ref > sup::before {
  content: "[";
}
.footnote-ref > sup::after {
  content: "]";
}

a.footnote-back {
  text-decoration: none;
  display: inline-block;
  padding: 0.1rem 0.3rem;
  color: var(--pill-text-color);
  background-color: var(--pill-background-color);
  border-radius: 10rem;
  border: 1px var(--border-color) solid;
  margin: 0 0.2rem;
  font-size: small;
}
a.footnote-back .material-symbols-outlined {
  font-size: small;
}

.footnotes {
  font-size: var(--font-size-footnotes);
}

@layer highlight {
  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: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, 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;
  }
}
@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: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, 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;
  }
  .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: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, 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;
  }
}
@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: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, 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;
  }
  .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: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, 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;
  }
}
@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: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, 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;
  }
  .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: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, 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;
  }
}
@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: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, 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;
  }
  .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: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, 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;
  }
  .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, highlight;
html {
  scroll-behavior: smooth;
}

body {
  font-family: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, 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;
  background-color: var(--background);
  background: var(--background);
  color: var(--text-color);
  line-height: 1.75;
  transition: background-color 0.3s ease, color 0.3s ease;
}

menu.tags {
  color: var(--h2-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 .title {
  font-family: "Merriweather", Georgia, Cambria, "Times New Roman", Times, serif;
  font-optical-sizing: auto;
  font-variation-settings: "wdth" 100;
  font-weight: var(--font-weight-bold);
  font-style: normal;
  font-size: var(--font-size-h3);
  line-height: 1.2;
}
.post-summary .title a {
  color: var(--h2-text-color);
}
.post-summary .title a:visited {
  color: var(--h2-text-color);
}
.post-summary .metadata {
  font-family: "Roboto", sans-serif;
  font-optical-sizing: auto;
  font-variation-settings: "wdth" 100;
  font-style: normal;
  font-weight: var(--font-weight-normal);
  font-size: var(--font-size-small);
  line-height: 1.5;
  font-variant-caps: all-petite-caps;
  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;
  }
}

header small,
nav small {
  font-family: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, 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;
  color: var(--dimmed-text-color);
}

nav {
  color: var(--h2-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-family: "Merriweather", Georgia, Cambria, "Times New Roman", Times, serif;
  font-optical-sizing: auto;
  font-variation-settings: "wdth" 100;
  font-weight: var(--font-weight-bold);
  font-style: normal;
  font-size: var(--font-size-blog-title);
  line-height: 1.2;
  color: light-dark(#d35400, #e67e22);
  margin: 1rem auto;
}
nav h2 {
  font-family: "Roboto", sans-serif;
  font-optical-sizing: auto;
  font-variation-settings: "wdth" 100;
  font-style: normal;
  font-weight: var(--font-weight-normal);
  font-size: var(--font-size-navigation-fragments);
  line-height: 1.5;
  color: light-dark(#d35400, #e67e22);
  margin: 1rem auto;
}
nav a {
  color: light-dark(#d35400, #e67e22);
}
nav a:hover {
  color: light-dark(#e67e22, #d35400);
}
nav .disabled {
  color: var(--dimmed-text-color);
}

.tag:not(.katex-html > .tag) * {
  font-family: "Roboto", sans-serif;
  font-optical-sizing: auto;
  font-variation-settings: "wdth" 100;
  font-weight: var(--font-weight-normal);
  font-size: var(--font-size-tag);
  line-height: 1.5;
  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;
  font-size: var(--font-size-caption);
}

.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-variation-settings: "wdth" 100;
  font-style: normal;
  font-weight: var(--font-weight-normal);
  font-size: var(--font-size-body);
  line-height: 1.5;
}

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

.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: "Merriweather", Georgia, Cambria, "Times New Roman", Times, serif;
  font-optical-sizing: auto;
  font-variation-settings: "wdth" 100;
  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;
}

@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;
}