@marimo-team/frontend 0.25.1-dev90 → 0.25.1

package/src/css/katex.min.css

@@ -1,12 +1,33 @@
-/* Slightly adapted from https://cdn.jsdelivr.net/npm/katex@0.16.9/dist/katex.min.css */
+/*
+ * 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 {
-  text-rendering: auto;
   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 * {
@@ -15,12 +36,12 @@
 }
 
 .katex .katex-version::after {
-  content: "0.16.9";
+  content: "0.18.5";
 }
 
 .katex .katex-mathml {
-  clip: rect(1px, 1px, 1px, 1px);
   border: 0;
+  clip-path: inset(50%);
   height: 1px;
   overflow: hidden;
   padding: 0;
@@ -28,18 +49,18 @@
   width: 1px;
 }
 
-.katex .katex-html > .newline {
+.katex .katex-html > .katex-newline {
   display: block;
 }
 
-.katex .base {
+.katex .katex-base {
   position: relative;
   white-space: nowrap;
   width: min-content;
 }
 
-.katex .base,
-.katex .strut {
+.katex .katex-base,
+.katex .katex-strut {
   display: inline-block;
 }
 
@@ -130,6 +151,7 @@
 }
 
 .katex .mathitsf,
+.katex .mathsfit,
 .katex .textitsf {
   font-family: "KaTeX_SansSerif";
   font-style: italic;
@@ -184,23 +206,15 @@
   width: 2px;
 }
 
-.katex .vbox {
+.katex .katex-vbox {
   align-items: baseline;
   display: inline-flex;
   flex-direction: column;
 }
 
-.katex .hbox {
-  width: 100%;
-}
-
-.katex .hbox,
-.katex .thinbox {
+.katex .katex-thinbox {
   display: inline-flex;
   flex-direction: row;
-}
-
-.katex .thinbox {
   max-width: 0;
   width: 0;
 }
@@ -219,12 +233,12 @@
   width: 100%;
 }
 
-.katex .hdashline,
-.katex .hline,
-.katex .mfrac .frac-line,
-.katex .overline .overline-line,
-.katex .rule,
-.katex .underline .underline-line {
+.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;
 }
 
@@ -232,6 +246,11 @@
   display: inline-block;
 }
 
+.katex .katex-smash {
+  display: inline;
+  line-height: 0;
+}
+
 .katex .clap,
 .katex .llap,
 .katex .rlap {
@@ -239,659 +258,659 @@
   width: 0;
 }
 
-.katex .clap > .inner,
-.katex .llap > .inner,
-.katex .rlap > .inner {
+.katex .clap > .katex-inner,
+.katex .llap > .katex-inner,
+.katex .rlap > .katex-inner {
   position: absolute;
 }
 
-.katex .clap > .fix,
-.katex .llap > .fix,
-.katex .rlap > .fix {
+.katex .clap > .katex-fix,
+.katex .llap > .katex-fix,
+.katex .rlap > .katex-fix {
   display: inline-block;
 }
 
-.katex .llap > .inner {
+.katex .llap > .katex-inner {
   right: 0;
 }
 
-.katex .clap > .inner,
-.katex .rlap > .inner {
+.katex .clap > .katex-inner,
+.katex .rlap > .katex-inner {
   left: 0;
 }
 
-.katex .clap > .inner > span {
+.katex .clap > .katex-inner > span {
   margin-left: -50%;
   margin-right: 50%;
 }
 
-.katex .rule {
+.katex .katex-rule {
   border: 0 solid;
   display: inline-block;
   position: relative;
 }
 
-.katex .hline,
-.katex .overline .overline-line,
-.katex .underline .underline-line {
+.katex .katex-hline,
+.katex .katex-overline .overline-line,
+.katex .katex-underline .underline-line {
   border-bottom-style: solid;
   display: inline-block;
   width: 100%;
 }
 
-.katex .hdashline {
+.katex .katex-hdashline {
   border-bottom-style: dashed;
   display: inline-block;
   width: 100%;
 }
 
-.katex .sqrt > .root {
-  margin-left: 0.27777778rem;
-  margin-right: -0.55555556rem;
+.katex .sqrt > .katex-root {
+  margin-left: 0.2777777778rem;
+  margin-right: -0.5555555556rem;
 }
 
 .katex .fontsize-ensurer.reset-size1.size1,
-.katex .sizing.reset-size1.size1 {
+.katex .katex-sizing.reset-size1.size1 {
   font-size: 1rem;
 }
 
 .katex .fontsize-ensurer.reset-size1.size2,
-.katex .sizing.reset-size1.size2 {
+.katex .katex-sizing.reset-size1.size2 {
   font-size: 1.2rem;
 }
 
 .katex .fontsize-ensurer.reset-size1.size3,
-.katex .sizing.reset-size1.size3 {
+.katex .katex-sizing.reset-size1.size3 {
   font-size: 1.4rem;
 }
 
 .katex .fontsize-ensurer.reset-size1.size4,
-.katex .sizing.reset-size1.size4 {
+.katex .katex-sizing.reset-size1.size4 {
   font-size: 1.6rem;
 }
 
 .katex .fontsize-ensurer.reset-size1.size5,
-.katex .sizing.reset-size1.size5 {
+.katex .katex-sizing.reset-size1.size5 {
   font-size: 1.8rem;
 }
 
 .katex .fontsize-ensurer.reset-size1.size6,
-.katex .sizing.reset-size1.size6 {
+.katex .katex-sizing.reset-size1.size6 {
   font-size: 2rem;
 }
 
 .katex .fontsize-ensurer.reset-size1.size7,
-.katex .sizing.reset-size1.size7 {
+.katex .katex-sizing.reset-size1.size7 {
   font-size: 2.4rem;
 }
 
 .katex .fontsize-ensurer.reset-size1.size8,
-.katex .sizing.reset-size1.size8 {
+.katex .katex-sizing.reset-size1.size8 {
   font-size: 2.88rem;
 }
 
 .katex .fontsize-ensurer.reset-size1.size9,
-.katex .sizing.reset-size1.size9 {
+.katex .katex-sizing.reset-size1.size9 {
   font-size: 3.456rem;
 }
 
 .katex .fontsize-ensurer.reset-size1.size10,
-.katex .sizing.reset-size1.size10 {
+.katex .katex-sizing.reset-size1.size10 {
   font-size: 4.148rem;
 }
 
 .katex .fontsize-ensurer.reset-size1.size11,
-.katex .sizing.reset-size1.size11 {
+.katex .katex-sizing.reset-size1.size11 {
   font-size: 4.976rem;
 }
 
 .katex .fontsize-ensurer.reset-size2.size1,
-.katex .sizing.reset-size2.size1 {
-  font-size: 0.83333333rem;
+.katex .katex-sizing.reset-size2.size1 {
+  font-size: 0.8333333333rem;
 }
 
 .katex .fontsize-ensurer.reset-size2.size2,
-.katex .sizing.reset-size2.size2 {
+.katex .katex-sizing.reset-size2.size2 {
   font-size: 1rem;
 }
 
 .katex .fontsize-ensurer.reset-size2.size3,
-.katex .sizing.reset-size2.size3 {
-  font-size: 1.16666667rem;
+.katex .katex-sizing.reset-size2.size3 {
+  font-size: 1.1666666667rem;
 }
 
 .katex .fontsize-ensurer.reset-size2.size4,
-.katex .sizing.reset-size2.size4 {
-  font-size: 1.33333333rem;
+.katex .katex-sizing.reset-size2.size4 {
+  font-size: 1.3333333333rem;
 }
 
 .katex .fontsize-ensurer.reset-size2.size5,
-.katex .sizing.reset-size2.size5 {
+.katex .katex-sizing.reset-size2.size5 {
   font-size: 1.5rem;
 }
 
 .katex .fontsize-ensurer.reset-size2.size6,
-.katex .sizing.reset-size2.size6 {
-  font-size: 1.66666667rem;
+.katex .katex-sizing.reset-size2.size6 {
+  font-size: 1.6666666667rem;
 }
 
 .katex .fontsize-ensurer.reset-size2.size7,
-.katex .sizing.reset-size2.size7 {
+.katex .katex-sizing.reset-size2.size7 {
   font-size: 2rem;
 }
 
 .katex .fontsize-ensurer.reset-size2.size8,
-.katex .sizing.reset-size2.size8 {
+.katex .katex-sizing.reset-size2.size8 {
   font-size: 2.4rem;
 }
 
 .katex .fontsize-ensurer.reset-size2.size9,
-.katex .sizing.reset-size2.size9 {
+.katex .katex-sizing.reset-size2.size9 {
   font-size: 2.88rem;
 }
 
 .katex .fontsize-ensurer.reset-size2.size10,
-.katex .sizing.reset-size2.size10 {
-  font-size: 3.45666667rem;
+.katex .katex-sizing.reset-size2.size10 {
+  font-size: 3.4566666667rem;
 }
 
 .katex .fontsize-ensurer.reset-size2.size11,
-.katex .sizing.reset-size2.size11 {
-  font-size: 4.14666667rem;
+.katex .katex-sizing.reset-size2.size11 {
+  font-size: 4.1466666667rem;
 }
 
 .katex .fontsize-ensurer.reset-size3.size1,
-.katex .sizing.reset-size3.size1 {
-  font-size: 0.71428571rem;
+.katex .katex-sizing.reset-size3.size1 {
+  font-size: 0.7142857143rem;
 }
 
 .katex .fontsize-ensurer.reset-size3.size2,
-.katex .sizing.reset-size3.size2 {
-  font-size: 0.85714286rem;
+.katex .katex-sizing.reset-size3.size2 {
+  font-size: 0.8571428571rem;
 }
 
 .katex .fontsize-ensurer.reset-size3.size3,
-.katex .sizing.reset-size3.size3 {
+.katex .katex-sizing.reset-size3.size3 {
   font-size: 1rem;
 }
 
 .katex .fontsize-ensurer.reset-size3.size4,
-.katex .sizing.reset-size3.size4 {
-  font-size: 1.14285714rem;
+.katex .katex-sizing.reset-size3.size4 {
+  font-size: 1.1428571429rem;
 }
 
 .katex .fontsize-ensurer.reset-size3.size5,
-.katex .sizing.reset-size3.size5 {
-  font-size: 1.28571429rem;
+.katex .katex-sizing.reset-size3.size5 {
+  font-size: 1.2857142857rem;
 }
 
 .katex .fontsize-ensurer.reset-size3.size6,
-.katex .sizing.reset-size3.size6 {
-  font-size: 1.42857143rem;
+.katex .katex-sizing.reset-size3.size6 {
+  font-size: 1.4285714286rem;
 }
 
 .katex .fontsize-ensurer.reset-size3.size7,
-.katex .sizing.reset-size3.size7 {
-  font-size: 1.71428571rem;
+.katex .katex-sizing.reset-size3.size7 {
+  font-size: 1.7142857143rem;
 }
 
 .katex .fontsize-ensurer.reset-size3.size8,
-.katex .sizing.reset-size3.size8 {
-  font-size: 2.05714286rem;
+.katex .katex-sizing.reset-size3.size8 {
+  font-size: 2.0571428571rem;
 }
 
 .katex .fontsize-ensurer.reset-size3.size9,
-.katex .sizing.reset-size3.size9 {
-  font-size: 2.46857143rem;
+.katex .katex-sizing.reset-size3.size9 {
+  font-size: 2.4685714286rem;
 }
 
 .katex .fontsize-ensurer.reset-size3.size10,
-.katex .sizing.reset-size3.size10 {
-  font-size: 2.96285714rem;
+.katex .katex-sizing.reset-size3.size10 {
+  font-size: 2.9628571429rem;
 }
 
 .katex .fontsize-ensurer.reset-size3.size11,
-.katex .sizing.reset-size3.size11 {
-  font-size: 3.55428571rem;
+.katex .katex-sizing.reset-size3.size11 {
+  font-size: 3.5542857143rem;
 }
 
 .katex .fontsize-ensurer.reset-size4.size1,
-.katex .sizing.reset-size4.size1 {
+.katex .katex-sizing.reset-size4.size1 {
   font-size: 0.625rem;
 }
 
 .katex .fontsize-ensurer.reset-size4.size2,
-.katex .sizing.reset-size4.size2 {
+.katex .katex-sizing.reset-size4.size2 {
   font-size: 0.75rem;
 }
 
 .katex .fontsize-ensurer.reset-size4.size3,
-.katex .sizing.reset-size4.size3 {
+.katex .katex-sizing.reset-size4.size3 {
   font-size: 0.875rem;
 }
 
 .katex .fontsize-ensurer.reset-size4.size4,
-.katex .sizing.reset-size4.size4 {
+.katex .katex-sizing.reset-size4.size4 {
   font-size: 1rem;
 }
 
 .katex .fontsize-ensurer.reset-size4.size5,
-.katex .sizing.reset-size4.size5 {
+.katex .katex-sizing.reset-size4.size5 {
   font-size: 1.125rem;
 }
 
 .katex .fontsize-ensurer.reset-size4.size6,
-.katex .sizing.reset-size4.size6 {
+.katex .katex-sizing.reset-size4.size6 {
   font-size: 1.25rem;
 }
 
 .katex .fontsize-ensurer.reset-size4.size7,
-.katex .sizing.reset-size4.size7 {
+.katex .katex-sizing.reset-size4.size7 {
   font-size: 1.5rem;
 }
 
 .katex .fontsize-ensurer.reset-size4.size8,
-.katex .sizing.reset-size4.size8 {
+.katex .katex-sizing.reset-size4.size8 {
   font-size: 1.8rem;
 }
 
 .katex .fontsize-ensurer.reset-size4.size9,
-.katex .sizing.reset-size4.size9 {
+.katex .katex-sizing.reset-size4.size9 {
   font-size: 2.16rem;
 }
 
 .katex .fontsize-ensurer.reset-size4.size10,
-.katex .sizing.reset-size4.size10 {
+.katex .katex-sizing.reset-size4.size10 {
   font-size: 2.5925rem;
 }
 
 .katex .fontsize-ensurer.reset-size4.size11,
-.katex .sizing.reset-size4.size11 {
+.katex .katex-sizing.reset-size4.size11 {
   font-size: 3.11rem;
 }
 
 .katex .fontsize-ensurer.reset-size5.size1,
-.katex .sizing.reset-size5.size1 {
-  font-size: 0.55555556rem;
+.katex .katex-sizing.reset-size5.size1 {
+  font-size: 0.5555555556rem;
 }
 
 .katex .fontsize-ensurer.reset-size5.size2,
-.katex .sizing.reset-size5.size2 {
-  font-size: 0.66666667rem;
+.katex .katex-sizing.reset-size5.size2 {
+  font-size: 0.6666666667rem;
 }
 
 .katex .fontsize-ensurer.reset-size5.size3,
-.katex .sizing.reset-size5.size3 {
-  font-size: 0.77777778rem;
+.katex .katex-sizing.reset-size5.size3 {
+  font-size: 0.7777777778rem;
 }
 
 .katex .fontsize-ensurer.reset-size5.size4,
-.katex .sizing.reset-size5.size4 {
-  font-size: 0.88888889rem;
+.katex .katex-sizing.reset-size5.size4 {
+  font-size: 0.8888888889rem;
 }
 
 .katex .fontsize-ensurer.reset-size5.size5,
-.katex .sizing.reset-size5.size5 {
+.katex .katex-sizing.reset-size5.size5 {
   font-size: 1rem;
 }
 
 .katex .fontsize-ensurer.reset-size5.size6,
-.katex .sizing.reset-size5.size6 {
-  font-size: 1.11111111rem;
+.katex .katex-sizing.reset-size5.size6 {
+  font-size: 1.1111111111rem;
 }
 
 .katex .fontsize-ensurer.reset-size5.size7,
-.katex .sizing.reset-size5.size7 {
-  font-size: 1.33333333rem;
+.katex .katex-sizing.reset-size5.size7 {
+  font-size: 1.3333333333rem;
 }
 
 .katex .fontsize-ensurer.reset-size5.size8,
-.katex .sizing.reset-size5.size8 {
+.katex .katex-sizing.reset-size5.size8 {
   font-size: 1.6rem;
 }
 
 .katex .fontsize-ensurer.reset-size5.size9,
-.katex .sizing.reset-size5.size9 {
+.katex .katex-sizing.reset-size5.size9 {
   font-size: 1.92rem;
 }
 
 .katex .fontsize-ensurer.reset-size5.size10,
-.katex .sizing.reset-size5.size10 {
-  font-size: 2.30444444rem;
+.katex .katex-sizing.reset-size5.size10 {
+  font-size: 2.3044444444rem;
 }
 
 .katex .fontsize-ensurer.reset-size5.size11,
-.katex .sizing.reset-size5.size11 {
-  font-size: 2.76444444rem;
+.katex .katex-sizing.reset-size5.size11 {
+  font-size: 2.7644444444rem;
 }
 
 .katex .fontsize-ensurer.reset-size6.size1,
-.katex .sizing.reset-size6.size1 {
+.katex .katex-sizing.reset-size6.size1 {
   font-size: 0.5rem;
 }
 
 .katex .fontsize-ensurer.reset-size6.size2,
-.katex .sizing.reset-size6.size2 {
+.katex .katex-sizing.reset-size6.size2 {
   font-size: 0.6rem;
 }
 
 .katex .fontsize-ensurer.reset-size6.size3,
-.katex .sizing.reset-size6.size3 {
+.katex .katex-sizing.reset-size6.size3 {
   font-size: 0.7rem;
 }
 
 .katex .fontsize-ensurer.reset-size6.size4,
-.katex .sizing.reset-size6.size4 {
+.katex .katex-sizing.reset-size6.size4 {
   font-size: 0.8rem;
 }
 
 .katex .fontsize-ensurer.reset-size6.size5,
-.katex .sizing.reset-size6.size5 {
+.katex .katex-sizing.reset-size6.size5 {
   font-size: 0.9rem;
 }
 
 .katex .fontsize-ensurer.reset-size6.size6,
-.katex .sizing.reset-size6.size6 {
+.katex .katex-sizing.reset-size6.size6 {
   font-size: 1rem;
 }
 
 .katex .fontsize-ensurer.reset-size6.size7,
-.katex .sizing.reset-size6.size7 {
+.katex .katex-sizing.reset-size6.size7 {
   font-size: 1.2rem;
 }
 
 .katex .fontsize-ensurer.reset-size6.size8,
-.katex .sizing.reset-size6.size8 {
+.katex .katex-sizing.reset-size6.size8 {
   font-size: 1.44rem;
 }
 
 .katex .fontsize-ensurer.reset-size6.size9,
-.katex .sizing.reset-size6.size9 {
+.katex .katex-sizing.reset-size6.size9 {
   font-size: 1.728rem;
 }
 
 .katex .fontsize-ensurer.reset-size6.size10,
-.katex .sizing.reset-size6.size10 {
+.katex .katex-sizing.reset-size6.size10 {
   font-size: 2.074rem;
 }
 
 .katex .fontsize-ensurer.reset-size6.size11,
-.katex .sizing.reset-size6.size11 {
+.katex .katex-sizing.reset-size6.size11 {
   font-size: 2.488rem;
 }
 
 .katex .fontsize-ensurer.reset-size7.size1,
-.katex .sizing.reset-size7.size1 {
-  font-size: 0.41666667rem;
+.katex .katex-sizing.reset-size7.size1 {
+  font-size: 0.4166666667rem;
 }
 
 .katex .fontsize-ensurer.reset-size7.size2,
-.katex .sizing.reset-size7.size2 {
+.katex .katex-sizing.reset-size7.size2 {
   font-size: 0.5rem;
 }
 
 .katex .fontsize-ensurer.reset-size7.size3,
-.katex .sizing.reset-size7.size3 {
-  font-size: 0.58333333rem;
+.katex .katex-sizing.reset-size7.size3 {
+  font-size: 0.5833333333rem;
 }
 
 .katex .fontsize-ensurer.reset-size7.size4,
-.katex .sizing.reset-size7.size4 {
-  font-size: 0.66666667rem;
+.katex .katex-sizing.reset-size7.size4 {
+  font-size: 0.6666666667rem;
 }
 
 .katex .fontsize-ensurer.reset-size7.size5,
-.katex .sizing.reset-size7.size5 {
+.katex .katex-sizing.reset-size7.size5 {
   font-size: 0.75rem;
 }
 
 .katex .fontsize-ensurer.reset-size7.size6,
-.katex .sizing.reset-size7.size6 {
-  font-size: 0.83333333rem;
+.katex .katex-sizing.reset-size7.size6 {
+  font-size: 0.8333333333rem;
 }
 
 .katex .fontsize-ensurer.reset-size7.size7,
-.katex .sizing.reset-size7.size7 {
+.katex .katex-sizing.reset-size7.size7 {
   font-size: 1rem;
 }
 
 .katex .fontsize-ensurer.reset-size7.size8,
-.katex .sizing.reset-size7.size8 {
+.katex .katex-sizing.reset-size7.size8 {
   font-size: 1.2rem;
 }
 
 .katex .fontsize-ensurer.reset-size7.size9,
-.katex .sizing.reset-size7.size9 {
+.katex .katex-sizing.reset-size7.size9 {
   font-size: 1.44rem;
 }
 
 .katex .fontsize-ensurer.reset-size7.size10,
-.katex .sizing.reset-size7.size10 {
-  font-size: 1.72833333rem;
+.katex .katex-sizing.reset-size7.size10 {
+  font-size: 1.7283333333rem;
 }
 
 .katex .fontsize-ensurer.reset-size7.size11,
-.katex .sizing.reset-size7.size11 {
-  font-size: 2.07333333rem;
+.katex .katex-sizing.reset-size7.size11 {
+  font-size: 2.0733333333rem;
 }
 
 .katex .fontsize-ensurer.reset-size8.size1,
-.katex .sizing.reset-size8.size1 {
-  font-size: 0.34722222rem;
+.katex .katex-sizing.reset-size8.size1 {
+  font-size: 0.3472222222rem;
 }
 
 .katex .fontsize-ensurer.reset-size8.size2,
-.katex .sizing.reset-size8.size2 {
-  font-size: 0.41666667rem;
+.katex .katex-sizing.reset-size8.size2 {
+  font-size: 0.4166666667rem;
 }
 
 .katex .fontsize-ensurer.reset-size8.size3,
-.katex .sizing.reset-size8.size3 {
-  font-size: 0.48611111rem;
+.katex .katex-sizing.reset-size8.size3 {
+  font-size: 0.4861111111rem;
 }
 
 .katex .fontsize-ensurer.reset-size8.size4,
-.katex .sizing.reset-size8.size4 {
-  font-size: 0.55555556rem;
+.katex .katex-sizing.reset-size8.size4 {
+  font-size: 0.5555555556rem;
 }
 
 .katex .fontsize-ensurer.reset-size8.size5,
-.katex .sizing.reset-size8.size5 {
+.katex .katex-sizing.reset-size8.size5 {
   font-size: 0.625rem;
 }
 
 .katex .fontsize-ensurer.reset-size8.size6,
-.katex .sizing.reset-size8.size6 {
-  font-size: 0.69444444rem;
+.katex .katex-sizing.reset-size8.size6 {
+  font-size: 0.6944444444rem;
 }
 
 .katex .fontsize-ensurer.reset-size8.size7,
-.katex .sizing.reset-size8.size7 {
-  font-size: 0.83333333rem;
+.katex .katex-sizing.reset-size8.size7 {
+  font-size: 0.8333333333rem;
 }
 
 .katex .fontsize-ensurer.reset-size8.size8,
-.katex .sizing.reset-size8.size8 {
+.katex .katex-sizing.reset-size8.size8 {
   font-size: 1rem;
 }
 
 .katex .fontsize-ensurer.reset-size8.size9,
-.katex .sizing.reset-size8.size9 {
+.katex .katex-sizing.reset-size8.size9 {
   font-size: 1.2rem;
 }
 
 .katex .fontsize-ensurer.reset-size8.size10,
-.katex .sizing.reset-size8.size10 {
-  font-size: 1.44027778rem;
+.katex .katex-sizing.reset-size8.size10 {
+  font-size: 1.4402777778rem;
 }
 
 .katex .fontsize-ensurer.reset-size8.size11,
-.katex .sizing.reset-size8.size11 {
-  font-size: 1.72777778rem;
+.katex .katex-sizing.reset-size8.size11 {
+  font-size: 1.7277777778rem;
 }
 
 .katex .fontsize-ensurer.reset-size9.size1,
-.katex .sizing.reset-size9.size1 {
-  font-size: 0.28935185rem;
+.katex .katex-sizing.reset-size9.size1 {
+  font-size: 0.2893518519rem;
 }
 
 .katex .fontsize-ensurer.reset-size9.size2,
-.katex .sizing.reset-size9.size2 {
-  font-size: 0.34722222rem;
+.katex .katex-sizing.reset-size9.size2 {
+  font-size: 0.3472222222rem;
 }
 
 .katex .fontsize-ensurer.reset-size9.size3,
-.katex .sizing.reset-size9.size3 {
-  font-size: 0.40509259rem;
+.katex .katex-sizing.reset-size9.size3 {
+  font-size: 0.4050925926rem;
 }
 
 .katex .fontsize-ensurer.reset-size9.size4,
-.katex .sizing.reset-size9.size4 {
-  font-size: 0.46296296rem;
+.katex .katex-sizing.reset-size9.size4 {
+  font-size: 0.462962963rem;
 }
 
 .katex .fontsize-ensurer.reset-size9.size5,
-.katex .sizing.reset-size9.size5 {
-  font-size: 0.52083333rem;
+.katex .katex-sizing.reset-size9.size5 {
+  font-size: 0.5208333333rem;
 }
 
 .katex .fontsize-ensurer.reset-size9.size6,
-.katex .sizing.reset-size9.size6 {
-  font-size: 0.5787037rem;
+.katex .katex-sizing.reset-size9.size6 {
+  font-size: 0.5787037037rem;
 }
 
 .katex .fontsize-ensurer.reset-size9.size7,
-.katex .sizing.reset-size9.size7 {
-  font-size: 0.69444444rem;
+.katex .katex-sizing.reset-size9.size7 {
+  font-size: 0.6944444444rem;
 }
 
 .katex .fontsize-ensurer.reset-size9.size8,
-.katex .sizing.reset-size9.size8 {
-  font-size: 0.83333333rem;
+.katex .katex-sizing.reset-size9.size8 {
+  font-size: 0.8333333333rem;
 }
 
 .katex .fontsize-ensurer.reset-size9.size9,
-.katex .sizing.reset-size9.size9 {
+.katex .katex-sizing.reset-size9.size9 {
   font-size: 1rem;
 }
 
 .katex .fontsize-ensurer.reset-size9.size10,
-.katex .sizing.reset-size9.size10 {
-  font-size: 1.20023148rem;
+.katex .katex-sizing.reset-size9.size10 {
+  font-size: 1.2002314815rem;
 }
 
 .katex .fontsize-ensurer.reset-size9.size11,
-.katex .sizing.reset-size9.size11 {
-  font-size: 1.43981481rem;
+.katex .katex-sizing.reset-size9.size11 {
+  font-size: 1.4398148148rem;
 }
 
 .katex .fontsize-ensurer.reset-size10.size1,
-.katex .sizing.reset-size10.size1 {
-  font-size: 0.24108004rem;
+.katex .katex-sizing.reset-size10.size1 {
+  font-size: 0.2410800386rem;
 }
 
 .katex .fontsize-ensurer.reset-size10.size2,
-.katex .sizing.reset-size10.size2 {
-  font-size: 0.28929605rem;
+.katex .katex-sizing.reset-size10.size2 {
+  font-size: 0.2892960463rem;
 }
 
 .katex .fontsize-ensurer.reset-size10.size3,
-.katex .sizing.reset-size10.size3 {
-  font-size: 0.33751205rem;
+.katex .katex-sizing.reset-size10.size3 {
+  font-size: 0.337512054rem;
 }
 
 .katex .fontsize-ensurer.reset-size10.size4,
-.katex .sizing.reset-size10.size4 {
-  font-size: 0.38572806rem;
+.katex .katex-sizing.reset-size10.size4 {
+  font-size: 0.3857280617rem;
 }
 
 .katex .fontsize-ensurer.reset-size10.size5,
-.katex .sizing.reset-size10.size5 {
-  font-size: 0.43394407rem;
+.katex .katex-sizing.reset-size10.size5 {
+  font-size: 0.4339440694rem;
 }
 
 .katex .fontsize-ensurer.reset-size10.size6,
-.katex .sizing.reset-size10.size6 {
-  font-size: 0.48216008rem;
+.katex .katex-sizing.reset-size10.size6 {
+  font-size: 0.4821600771rem;
 }
 
 .katex .fontsize-ensurer.reset-size10.size7,
-.katex .sizing.reset-size10.size7 {
-  font-size: 0.57859209rem;
+.katex .katex-sizing.reset-size10.size7 {
+  font-size: 0.5785920926rem;
 }
 
 .katex .fontsize-ensurer.reset-size10.size8,
-.katex .sizing.reset-size10.size8 {
-  font-size: 0.69431051rem;
+.katex .katex-sizing.reset-size10.size8 {
+  font-size: 0.6943105111rem;
 }
 
 .katex .fontsize-ensurer.reset-size10.size9,
-.katex .sizing.reset-size10.size9 {
-  font-size: 0.83317261rem;
+.katex .katex-sizing.reset-size10.size9 {
+  font-size: 0.8331726133rem;
 }
 
 .katex .fontsize-ensurer.reset-size10.size10,
-.katex .sizing.reset-size10.size10 {
+.katex .katex-sizing.reset-size10.size10 {
   font-size: 1rem;
 }
 
 .katex .fontsize-ensurer.reset-size10.size11,
-.katex .sizing.reset-size10.size11 {
-  font-size: 1.19961427rem;
+.katex .katex-sizing.reset-size10.size11 {
+  font-size: 1.1996142719rem;
 }
 
 .katex .fontsize-ensurer.reset-size11.size1,
-.katex .sizing.reset-size11.size1 {
-  font-size: 0.20096463rem;
+.katex .katex-sizing.reset-size11.size1 {
+  font-size: 0.2009646302rem;
 }
 
 .katex .fontsize-ensurer.reset-size11.size2,
-.katex .sizing.reset-size11.size2 {
-  font-size: 0.24115756rem;
+.katex .katex-sizing.reset-size11.size2 {
+  font-size: 0.2411575563rem;
 }
 
 .katex .fontsize-ensurer.reset-size11.size3,
-.katex .sizing.reset-size11.size3 {
-  font-size: 0.28135048rem;
+.katex .katex-sizing.reset-size11.size3 {
+  font-size: 0.2813504823rem;
 }
 
 .katex .fontsize-ensurer.reset-size11.size4,
-.katex .sizing.reset-size11.size4 {
-  font-size: 0.32154341rem;
+.katex .katex-sizing.reset-size11.size4 {
+  font-size: 0.3215434084rem;
 }
 
 .katex .fontsize-ensurer.reset-size11.size5,
-.katex .sizing.reset-size11.size5 {
-  font-size: 0.36173633rem;
+.katex .katex-sizing.reset-size11.size5 {
+  font-size: 0.3617363344rem;
 }
 
 .katex .fontsize-ensurer.reset-size11.size6,
-.katex .sizing.reset-size11.size6 {
-  font-size: 0.40192926rem;
+.katex .katex-sizing.reset-size11.size6 {
+  font-size: 0.4019292605rem;
 }
 
 .katex .fontsize-ensurer.reset-size11.size7,
-.katex .sizing.reset-size11.size7 {
-  font-size: 0.48231511rem;
+.katex .katex-sizing.reset-size11.size7 {
+  font-size: 0.4823151125rem;
 }
 
 .katex .fontsize-ensurer.reset-size11.size8,
-.katex .sizing.reset-size11.size8 {
-  font-size: 0.57877814rem;
+.katex .katex-sizing.reset-size11.size8 {
+  font-size: 0.578778135rem;
 }
 
 .katex .fontsize-ensurer.reset-size11.size9,
-.katex .sizing.reset-size11.size9 {
-  font-size: 0.69453376rem;
+.katex .katex-sizing.reset-size11.size9 {
+  font-size: 0.6945337621rem;
 }
 
 .katex .fontsize-ensurer.reset-size11.size10,
-.katex .sizing.reset-size11.size10 {
-  font-size: 0.83360129rem;
+.katex .katex-sizing.reset-size11.size10 {
+  font-size: 0.8336012862rem;
 }
 
 .katex .fontsize-ensurer.reset-size11.size11,
-.katex .sizing.reset-size11.size11 {
+.katex .katex-sizing.reset-size11.size11 {
   font-size: 1rem;
 }
 
@@ -937,20 +956,20 @@
   font-family: "KaTeX_Size2";
 }
 
-.katex .accent > .vlist-t,
+.katex .katex-accent > .vlist-t,
 .katex .op-limits > .vlist-t {
   text-align: center;
 }
 
-.katex .accent .accent-body {
+.katex .katex-accent .accent-body {
   position: relative;
 }
 
-.katex .accent .accent-body:not(.accent-full) {
+.katex .katex-accent .accent-body:not(.accent-full) {
   width: 0;
 }
 
-.katex .overlay {
+.katex .katex-overlay {
   display: block;
 }
 
@@ -1009,15 +1028,15 @@
   min-width: 0;
 }
 
-.katex .stretchy {
+.katex .katex-stretchy {
   display: block;
   overflow: hidden;
   position: relative;
   width: 100%;
 }
 
-.katex .stretchy::after,
-.katex .stretchy::before {
+.katex .katex-stretchy::after,
+.katex .katex-stretchy::before {
   content: "";
 }
 
@@ -1095,7 +1114,7 @@
   margin-right: -0.2rem;
 }
 
-.katex .sout {
+.katex .katex-sout {
   border-bottom-style: solid;
   border-bottom-width: 0.08rem;
 }
@@ -1161,13 +1180,13 @@
   position: relative;
 }
 
-.katex-display > .katex > .katex-html > .tag {
+.katex-display > .katex > .katex-html > .katex-tag {
   position: absolute;
   right: 0;
   text-align: right;
 }
 
-.katex-display.leqno > .katex > .katex-html > .tag {
+.katex-display.leqno > .katex > .katex-html > .katex-tag {
   left: 0;
   right: auto;
 }