/*
 * Adapted from https://cdn.jsdelivr.net/npm/katex@0.18.5/dist/katex.min.css
 *
 * KaTeX's class names change between versions (0.18 prefixed most of its
 * internal classes with `katex-`), so this file must be regenerated whenever
 * the `katex` package is bumped. Steps:
 *
 * 1. Copy the upstream katex.min.css for the installed version.
 * 2. Delete every `@font-face` block. The fonts are declared in katex-fonts.css.
 * 3. Replace `em` with `rem` in all values, which our stylelint config requires.
 * 4. Run oxfmt to expand the file, then stylelint with --fix. Merge the two
 *    `.katex svg` rules stylelint flags as duplicates, and keep the disable
 *    comment on the 1px `font-size` in `.vlist-s`.
 * 5. Re-apply the marimo edits below:
 *    - `.katex`: `font-size: 110%`, `line-height: inherit` and
 *      `font-style: normal` in place of the upstream `font` shorthand, so math
 *      follows the surrounding text size and stays upright in blockquotes.
 *    - `.katex-tag` inside `.katex-display`: `text-align: right`.
 *    - `counter-reset` on `.katex-display` as well as `body`, so equation
 *      numbers restart for each display block.
 */

.katex {
  font-family: "KaTeX_Main", "Times New Roman", serif;
  font-size: 110%;
  font-style: normal;
  line-height: inherit;
  position: relative;
  text-indent: 0;
  text-rendering: auto;
}

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

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

.katex .katex-mathml {
  border: 0;
  clip-path: inset(50%);
  height: 1px;
  overflow: hidden;
  padding: 0;
  position: absolute;
  width: 1px;
}

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

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

.katex .katex-base,
.katex .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;
  /* stylelint-disable-next-line unit-allowed-list */
  font-size: 1px;
  min-width: 2px;
  vertical-align: bottom;
  width: 2px;
}

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

.katex .katex-thinbox {
  display: inline-flex;
  flex-direction: row;
  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 .katex-hdashline,
.katex .katex-hline,
.katex .katex-overline .overline-line,
.katex .katex-rule,
.katex .katex-underline .underline-line,
.katex .mfrac .frac-line {
  min-height: 1px;
}

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

.katex .katex-smash {
  display: inline;
  line-height: 0;
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

.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.12rem;
}

.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 .katex-accent > .vlist-t,
.katex .op-limits > .vlist-t {
  text-align: center;
}

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

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

.katex .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 .katex-stretchy {
  display: block;
  overflow: hidden;
  position: relative;
  width: 100%;
}

.katex .katex-stretchy::after,
.katex .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.5rem;
}

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

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

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

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

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

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

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

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

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

.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.3rem);
  text-align: left;
}

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

.katex-display {
  display: block;
  margin: 1rem 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 > .katex-tag {
  position: absolute;
  right: 0;
  text-align: right;
}

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

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

body,
.katex-display {
  counter-reset: katexEqnNo mmlEqnNo;
}