katex 0.1.1 → 0.2.2

data/vendor/katex/sprockets/stylesheets/katex.css.erb

@@ -124,6 +124,10 @@
   line-height: 1.2;
   white-space: nowrap;
   text-indent: 0;
+  text-rendering: auto;
+}
+.katex * {
+  -ms-high-contrast-adjust: none !important;
 }
 .katex .katex-html {
   display: inline-block;
@@ -323,38 +327,17 @@
 .katex .minner + .mop.mtight {
   margin-left: 0.16667em;
 }
-.katex .reset-textstyle.textstyle {
-  font-size: 1em;
-}
-.katex .reset-textstyle.scriptstyle {
-  font-size: 0.7em;
-}
-.katex .reset-textstyle.scriptscriptstyle {
-  font-size: 0.5em;
-}
-.katex .reset-scriptstyle.textstyle {
-  font-size: 1.42857em;
-}
-.katex .reset-scriptstyle.scriptstyle {
-  font-size: 1em;
-}
-.katex .reset-scriptstyle.scriptscriptstyle {
-  font-size: 0.71429em;
-}
-.katex .reset-scriptscriptstyle.textstyle {
-  font-size: 2em;
-}
-.katex .reset-scriptscriptstyle.scriptstyle {
-  font-size: 1.4em;
-}
-.katex .reset-scriptscriptstyle.scriptscriptstyle {
-  font-size: 1em;
+.katex .vlist-t {
+  display: inline-table;
+  table-layout: fixed;
 }
-.katex .style-wrap {
-  position: relative;
+.katex .vlist-r {
+  display: table-row;
 }
 .katex .vlist {
-  display: inline-block;
+  display: table-cell;
+  vertical-align: bottom;
+  position: relative;
 }
 .katex .vlist > span {
   display: block;
@@ -364,9 +347,18 @@
 .katex .vlist > span > span {
   display: inline-block;
 }
-.katex .vlist .baseline-fix {
-  display: inline-table;
-  table-layout: fixed;
+.katex .vlist > span > .pstrut {
+  overflow: hidden;
+  width: 0;
+}
+.katex .vlist-t2 {
+  margin-right: -2px;
+}
+.katex .vlist-s {
+  display: table-cell;
+  vertical-align: bottom;
+  font-size: 1px;
+  width: 2px;
 }
 .katex .msupsub {
   text-align: left;
@@ -375,20 +367,9 @@
   text-align: center;
 }
 .katex .mfrac .frac-line {
+  display: inline-block;
   width: 100%;
-}
-.katex .mfrac .frac-line:before {
-  border-bottom-style: solid;
-  border-bottom-width: 1px;
-  content: "";
-  display: block;
-}
-.katex .mfrac .frac-line:after {
   border-bottom-style: solid;
-  border-bottom-width: 0.04em;
-  content: "";
-  display: block;
-  margin-top: -1px;
 }
 .katex .mspace {
   display: inline-block;
@@ -469,41 +450,18 @@
 }
 .katex .overline .overline-line,
 .katex .underline .underline-line {
+  display: inline-block;
   width: 100%;
-}
-.katex .overline .overline-line:before,
-.katex .underline .underline-line:before {
   border-bottom-style: solid;
-  border-bottom-width: 1px;
-  content: "";
-  display: block;
-}
-.katex .overline .overline-line:after,
-.katex .underline .underline-line:after {
-  border-bottom-style: solid;
-  border-bottom-width: 0.04em;
-  content: "";
-  display: block;
-  margin-top: -1px;
 }
 .katex .sqrt > .sqrt-sign {
   position: relative;
 }
 .katex .sqrt .sqrt-line {
+  display: inline-block;
+  position: relative;
   width: 100%;
-}
-.katex .sqrt .sqrt-line:before {
-  border-bottom-style: solid;
-  border-bottom-width: 1px;
-  content: "";
-  display: block;
-}
-.katex .sqrt .sqrt-line:after {
   border-bottom-style: solid;
-  border-bottom-width: 0.04em;
-  content: "";
-  display: block;
-  margin-top: -1px;
 }
 .katex .sqrt > .root {
   margin-left: 0.27777778em;
@@ -519,43 +477,47 @@
 }
 .katex .sizing.reset-size1.size2,
 .katex .fontsize-ensurer.reset-size1.size2 {
-  font-size: 1.4em;
+  font-size: 1.2em;
 }
 .katex .sizing.reset-size1.size3,
 .katex .fontsize-ensurer.reset-size1.size3 {
-  font-size: 1.6em;
+  font-size: 1.4em;
 }
 .katex .sizing.reset-size1.size4,
 .katex .fontsize-ensurer.reset-size1.size4 {
-  font-size: 1.8em;
+  font-size: 1.6em;
 }
 .katex .sizing.reset-size1.size5,
 .katex .fontsize-ensurer.reset-size1.size5 {
-  font-size: 2em;
+  font-size: 1.8em;
 }
 .katex .sizing.reset-size1.size6,
 .katex .fontsize-ensurer.reset-size1.size6 {
-  font-size: 2.4em;
+  font-size: 2em;
 }
 .katex .sizing.reset-size1.size7,
 .katex .fontsize-ensurer.reset-size1.size7 {
-  font-size: 2.88em;
+  font-size: 2.4em;
 }
 .katex .sizing.reset-size1.size8,
 .katex .fontsize-ensurer.reset-size1.size8 {
-  font-size: 3.46em;
+  font-size: 2.88em;
 }
 .katex .sizing.reset-size1.size9,
 .katex .fontsize-ensurer.reset-size1.size9 {
-  font-size: 4.14em;
+  font-size: 3.456em;
 }
 .katex .sizing.reset-size1.size10,
 .katex .fontsize-ensurer.reset-size1.size10 {
-  font-size: 4.98em;
+  font-size: 4.148em;
+}
+.katex .sizing.reset-size1.size11,
+.katex .fontsize-ensurer.reset-size1.size11 {
+  font-size: 4.976em;
 }
 .katex .sizing.reset-size2.size1,
 .katex .fontsize-ensurer.reset-size2.size1 {
-  font-size: 0.71428571em;
+  font-size: 0.83333333em;
 }
 .katex .sizing.reset-size2.size2,
 .katex .fontsize-ensurer.reset-size2.size2 {
@@ -563,43 +525,47 @@
 }
 .katex .sizing.reset-size2.size3,
 .katex .fontsize-ensurer.reset-size2.size3 {
-  font-size: 1.14285714em;
+  font-size: 1.16666667em;
 }
 .katex .sizing.reset-size2.size4,
 .katex .fontsize-ensurer.reset-size2.size4 {
-  font-size: 1.28571429em;
+  font-size: 1.33333333em;
 }
 .katex .sizing.reset-size2.size5,
 .katex .fontsize-ensurer.reset-size2.size5 {
-  font-size: 1.42857143em;
+  font-size: 1.5em;
 }
 .katex .sizing.reset-size2.size6,
 .katex .fontsize-ensurer.reset-size2.size6 {
-  font-size: 1.71428571em;
+  font-size: 1.66666667em;
 }
 .katex .sizing.reset-size2.size7,
 .katex .fontsize-ensurer.reset-size2.size7 {
-  font-size: 2.05714286em;
+  font-size: 2em;
 }
 .katex .sizing.reset-size2.size8,
 .katex .fontsize-ensurer.reset-size2.size8 {
-  font-size: 2.47142857em;
+  font-size: 2.4em;
 }
 .katex .sizing.reset-size2.size9,
 .katex .fontsize-ensurer.reset-size2.size9 {
-  font-size: 2.95714286em;
+  font-size: 2.88em;
 }
 .katex .sizing.reset-size2.size10,
 .katex .fontsize-ensurer.reset-size2.size10 {
-  font-size: 3.55714286em;
+  font-size: 3.45666667em;
+}
+.katex .sizing.reset-size2.size11,
+.katex .fontsize-ensurer.reset-size2.size11 {
+  font-size: 4.14666667em;
 }
 .katex .sizing.reset-size3.size1,
 .katex .fontsize-ensurer.reset-size3.size1 {
-  font-size: 0.625em;
+  font-size: 0.71428571em;
 }
 .katex .sizing.reset-size3.size2,
 .katex .fontsize-ensurer.reset-size3.size2 {
-  font-size: 0.875em;
+  font-size: 0.85714286em;
 }
 .katex .sizing.reset-size3.size3,
 .katex .fontsize-ensurer.reset-size3.size3 {
@@ -607,43 +573,47 @@
 }
 .katex .sizing.reset-size3.size4,
 .katex .fontsize-ensurer.reset-size3.size4 {
-  font-size: 1.125em;
+  font-size: 1.14285714em;
 }
 .katex .sizing.reset-size3.size5,
 .katex .fontsize-ensurer.reset-size3.size5 {
-  font-size: 1.25em;
+  font-size: 1.28571429em;
 }
 .katex .sizing.reset-size3.size6,
 .katex .fontsize-ensurer.reset-size3.size6 {
-  font-size: 1.5em;
+  font-size: 1.42857143em;
 }
 .katex .sizing.reset-size3.size7,
 .katex .fontsize-ensurer.reset-size3.size7 {
-  font-size: 1.8em;
+  font-size: 1.71428571em;
 }
 .katex .sizing.reset-size3.size8,
 .katex .fontsize-ensurer.reset-size3.size8 {
-  font-size: 2.1625em;
+  font-size: 2.05714286em;
 }
 .katex .sizing.reset-size3.size9,
 .katex .fontsize-ensurer.reset-size3.size9 {
-  font-size: 2.5875em;
+  font-size: 2.46857143em;
 }
 .katex .sizing.reset-size3.size10,
 .katex .fontsize-ensurer.reset-size3.size10 {
-  font-size: 3.1125em;
+  font-size: 2.96285714em;
+}
+.katex .sizing.reset-size3.size11,
+.katex .fontsize-ensurer.reset-size3.size11 {
+  font-size: 3.55428571em;
 }
 .katex .sizing.reset-size4.size1,
 .katex .fontsize-ensurer.reset-size4.size1 {
-  font-size: 0.55555556em;
+  font-size: 0.625em;
 }
 .katex .sizing.reset-size4.size2,
 .katex .fontsize-ensurer.reset-size4.size2 {
-  font-size: 0.77777778em;
+  font-size: 0.75em;
 }
 .katex .sizing.reset-size4.size3,
 .katex .fontsize-ensurer.reset-size4.size3 {
-  font-size: 0.88888889em;
+  font-size: 0.875em;
 }
 .katex .sizing.reset-size4.size4,
 .katex .fontsize-ensurer.reset-size4.size4 {
@@ -651,43 +621,47 @@
 }
 .katex .sizing.reset-size4.size5,
 .katex .fontsize-ensurer.reset-size4.size5 {
-  font-size: 1.11111111em;
+  font-size: 1.125em;
 }
 .katex .sizing.reset-size4.size6,
 .katex .fontsize-ensurer.reset-size4.size6 {
-  font-size: 1.33333333em;
+  font-size: 1.25em;
 }
 .katex .sizing.reset-size4.size7,
 .katex .fontsize-ensurer.reset-size4.size7 {
-  font-size: 1.6em;
+  font-size: 1.5em;
 }
 .katex .sizing.reset-size4.size8,
 .katex .fontsize-ensurer.reset-size4.size8 {
-  font-size: 1.92222222em;
+  font-size: 1.8em;
 }
 .katex .sizing.reset-size4.size9,
 .katex .fontsize-ensurer.reset-size4.size9 {
-  font-size: 2.3em;
+  font-size: 2.16em;
 }
 .katex .sizing.reset-size4.size10,
 .katex .fontsize-ensurer.reset-size4.size10 {
-  font-size: 2.76666667em;
+  font-size: 2.5925em;
+}
+.katex .sizing.reset-size4.size11,
+.katex .fontsize-ensurer.reset-size4.size11 {
+  font-size: 3.11em;
 }
 .katex .sizing.reset-size5.size1,
 .katex .fontsize-ensurer.reset-size5.size1 {
-  font-size: 0.5em;
+  font-size: 0.55555556em;
 }
 .katex .sizing.reset-size5.size2,
 .katex .fontsize-ensurer.reset-size5.size2 {
-  font-size: 0.7em;
+  font-size: 0.66666667em;
 }
 .katex .sizing.reset-size5.size3,
 .katex .fontsize-ensurer.reset-size5.size3 {
-  font-size: 0.8em;
+  font-size: 0.77777778em;
 }
 .katex .sizing.reset-size5.size4,
 .katex .fontsize-ensurer.reset-size5.size4 {
-  font-size: 0.9em;
+  font-size: 0.88888889em;
 }
 .katex .sizing.reset-size5.size5,
 .katex .fontsize-ensurer.reset-size5.size5 {
@@ -695,43 +669,47 @@
 }
 .katex .sizing.reset-size5.size6,
 .katex .fontsize-ensurer.reset-size5.size6 {
-  font-size: 1.2em;
+  font-size: 1.11111111em;
 }
 .katex .sizing.reset-size5.size7,
 .katex .fontsize-ensurer.reset-size5.size7 {
-  font-size: 1.44em;
+  font-size: 1.33333333em;
 }
 .katex .sizing.reset-size5.size8,
 .katex .fontsize-ensurer.reset-size5.size8 {
-  font-size: 1.73em;
+  font-size: 1.6em;
 }
 .katex .sizing.reset-size5.size9,
 .katex .fontsize-ensurer.reset-size5.size9 {
-  font-size: 2.07em;
+  font-size: 1.92em;
 }
 .katex .sizing.reset-size5.size10,
 .katex .fontsize-ensurer.reset-size5.size10 {
-  font-size: 2.49em;
+  font-size: 2.30444444em;
+}
+.katex .sizing.reset-size5.size11,
+.katex .fontsize-ensurer.reset-size5.size11 {
+  font-size: 2.76444444em;
 }
 .katex .sizing.reset-size6.size1,
 .katex .fontsize-ensurer.reset-size6.size1 {
-  font-size: 0.41666667em;
+  font-size: 0.5em;
 }
 .katex .sizing.reset-size6.size2,
 .katex .fontsize-ensurer.reset-size6.size2 {
-  font-size: 0.58333333em;
+  font-size: 0.6em;
 }
 .katex .sizing.reset-size6.size3,
 .katex .fontsize-ensurer.reset-size6.size3 {
-  font-size: 0.66666667em;
+  font-size: 0.7em;
 }
 .katex .sizing.reset-size6.size4,
 .katex .fontsize-ensurer.reset-size6.size4 {
-  font-size: 0.75em;
+  font-size: 0.8em;
 }
 .katex .sizing.reset-size6.size5,
 .katex .fontsize-ensurer.reset-size6.size5 {
-  font-size: 0.83333333em;
+  font-size: 0.9em;
 }
 .katex .sizing.reset-size6.size6,
 .katex .fontsize-ensurer.reset-size6.size6 {
@@ -743,35 +721,39 @@
 }
 .katex .sizing.reset-size6.size8,
 .katex .fontsize-ensurer.reset-size6.size8 {
-  font-size: 1.44166667em;
+  font-size: 1.44em;
 }
 .katex .sizing.reset-size6.size9,
 .katex .fontsize-ensurer.reset-size6.size9 {
-  font-size: 1.725em;
+  font-size: 1.728em;
 }
 .katex .sizing.reset-size6.size10,
 .katex .fontsize-ensurer.reset-size6.size10 {
-  font-size: 2.075em;
+  font-size: 2.074em;
+}
+.katex .sizing.reset-size6.size11,
+.katex .fontsize-ensurer.reset-size6.size11 {
+  font-size: 2.488em;
 }
 .katex .sizing.reset-size7.size1,
 .katex .fontsize-ensurer.reset-size7.size1 {
-  font-size: 0.34722222em;
+  font-size: 0.41666667em;
 }
 .katex .sizing.reset-size7.size2,
 .katex .fontsize-ensurer.reset-size7.size2 {
-  font-size: 0.48611111em;
+  font-size: 0.5em;
 }
 .katex .sizing.reset-size7.size3,
 .katex .fontsize-ensurer.reset-size7.size3 {
-  font-size: 0.55555556em;
+  font-size: 0.58333333em;
 }
 .katex .sizing.reset-size7.size4,
 .katex .fontsize-ensurer.reset-size7.size4 {
-  font-size: 0.625em;
+  font-size: 0.66666667em;
 }
 .katex .sizing.reset-size7.size5,
 .katex .fontsize-ensurer.reset-size7.size5 {
-  font-size: 0.69444444em;
+  font-size: 0.75em;
 }
 .katex .sizing.reset-size7.size6,
 .katex .fontsize-ensurer.reset-size7.size6 {
@@ -783,43 +765,47 @@
 }
 .katex .sizing.reset-size7.size8,
 .katex .fontsize-ensurer.reset-size7.size8 {
-  font-size: 1.20138889em;
+  font-size: 1.2em;
 }
 .katex .sizing.reset-size7.size9,
 .katex .fontsize-ensurer.reset-size7.size9 {
-  font-size: 1.4375em;
+  font-size: 1.44em;
 }
 .katex .sizing.reset-size7.size10,
 .katex .fontsize-ensurer.reset-size7.size10 {
-  font-size: 1.72916667em;
+  font-size: 1.72833333em;
+}
+.katex .sizing.reset-size7.size11,
+.katex .fontsize-ensurer.reset-size7.size11 {
+  font-size: 2.07333333em;
 }
 .katex .sizing.reset-size8.size1,
 .katex .fontsize-ensurer.reset-size8.size1 {
-  font-size: 0.28901734em;
+  font-size: 0.34722222em;
 }
 .katex .sizing.reset-size8.size2,
 .katex .fontsize-ensurer.reset-size8.size2 {
-  font-size: 0.40462428em;
+  font-size: 0.41666667em;
 }
 .katex .sizing.reset-size8.size3,
 .katex .fontsize-ensurer.reset-size8.size3 {
-  font-size: 0.46242775em;
+  font-size: 0.48611111em;
 }
 .katex .sizing.reset-size8.size4,
 .katex .fontsize-ensurer.reset-size8.size4 {
-  font-size: 0.52023121em;
+  font-size: 0.55555556em;
 }
 .katex .sizing.reset-size8.size5,
 .katex .fontsize-ensurer.reset-size8.size5 {
-  font-size: 0.57803468em;
+  font-size: 0.625em;
 }
 .katex .sizing.reset-size8.size6,
 .katex .fontsize-ensurer.reset-size8.size6 {
-  font-size: 0.69364162em;
+  font-size: 0.69444444em;
 }
 .katex .sizing.reset-size8.size7,
 .katex .fontsize-ensurer.reset-size8.size7 {
-  font-size: 0.83236994em;
+  font-size: 0.83333333em;
 }
 .katex .sizing.reset-size8.size8,
 .katex .fontsize-ensurer.reset-size8.size8 {
@@ -827,43 +813,47 @@
 }
 .katex .sizing.reset-size8.size9,
 .katex .fontsize-ensurer.reset-size8.size9 {
-  font-size: 1.19653179em;
+  font-size: 1.2em;
 }
 .katex .sizing.reset-size8.size10,
 .katex .fontsize-ensurer.reset-size8.size10 {
-  font-size: 1.43930636em;
+  font-size: 1.44027778em;
+}
+.katex .sizing.reset-size8.size11,
+.katex .fontsize-ensurer.reset-size8.size11 {
+  font-size: 1.72777778em;
 }
 .katex .sizing.reset-size9.size1,
 .katex .fontsize-ensurer.reset-size9.size1 {
-  font-size: 0.24154589em;
+  font-size: 0.28935185em;
 }
 .katex .sizing.reset-size9.size2,
 .katex .fontsize-ensurer.reset-size9.size2 {
-  font-size: 0.33816425em;
+  font-size: 0.34722222em;
 }
 .katex .sizing.reset-size9.size3,
 .katex .fontsize-ensurer.reset-size9.size3 {
-  font-size: 0.38647343em;
+  font-size: 0.40509259em;
 }
 .katex .sizing.reset-size9.size4,
 .katex .fontsize-ensurer.reset-size9.size4 {
-  font-size: 0.43478261em;
+  font-size: 0.46296296em;
 }
 .katex .sizing.reset-size9.size5,
 .katex .fontsize-ensurer.reset-size9.size5 {
-  font-size: 0.48309179em;
+  font-size: 0.52083333em;
 }
 .katex .sizing.reset-size9.size6,
 .katex .fontsize-ensurer.reset-size9.size6 {
-  font-size: 0.57971014em;
+  font-size: 0.5787037em;
 }
 .katex .sizing.reset-size9.size7,
 .katex .fontsize-ensurer.reset-size9.size7 {
-  font-size: 0.69565217em;
+  font-size: 0.69444444em;
 }
 .katex .sizing.reset-size9.size8,
 .katex .fontsize-ensurer.reset-size9.size8 {
-  font-size: 0.83574879em;
+  font-size: 0.83333333em;
 }
 .katex .sizing.reset-size9.size9,
 .katex .fontsize-ensurer.reset-size9.size9 {
@@ -871,48 +861,100 @@
 }
 .katex .sizing.reset-size9.size10,
 .katex .fontsize-ensurer.reset-size9.size10 {
-  font-size: 1.20289855em;
+  font-size: 1.20023148em;
+}
+.katex .sizing.reset-size9.size11,
+.katex .fontsize-ensurer.reset-size9.size11 {
+  font-size: 1.43981481em;
 }
 .katex .sizing.reset-size10.size1,
 .katex .fontsize-ensurer.reset-size10.size1 {
-  font-size: 0.20080321em;
+  font-size: 0.24108004em;
 }
 .katex .sizing.reset-size10.size2,
 .katex .fontsize-ensurer.reset-size10.size2 {
-  font-size: 0.2811245em;
+  font-size: 0.28929605em;
 }
 .katex .sizing.reset-size10.size3,
 .katex .fontsize-ensurer.reset-size10.size3 {
-  font-size: 0.32128514em;
+  font-size: 0.33751205em;
 }
 .katex .sizing.reset-size10.size4,
 .katex .fontsize-ensurer.reset-size10.size4 {
-  font-size: 0.36144578em;
+  font-size: 0.38572806em;
 }
 .katex .sizing.reset-size10.size5,
 .katex .fontsize-ensurer.reset-size10.size5 {
-  font-size: 0.40160643em;
+  font-size: 0.43394407em;
 }
 .katex .sizing.reset-size10.size6,
 .katex .fontsize-ensurer.reset-size10.size6 {
-  font-size: 0.48192771em;
+  font-size: 0.48216008em;
 }
 .katex .sizing.reset-size10.size7,
 .katex .fontsize-ensurer.reset-size10.size7 {
-  font-size: 0.57831325em;
+  font-size: 0.57859209em;
 }
 .katex .sizing.reset-size10.size8,
 .katex .fontsize-ensurer.reset-size10.size8 {
-  font-size: 0.69477912em;
+  font-size: 0.69431051em;
 }
 .katex .sizing.reset-size10.size9,
 .katex .fontsize-ensurer.reset-size10.size9 {
-  font-size: 0.8313253em;
+  font-size: 0.83317261em;
 }
 .katex .sizing.reset-size10.size10,
 .katex .fontsize-ensurer.reset-size10.size10 {
   font-size: 1em;
 }
+.katex .sizing.reset-size10.size11,
+.katex .fontsize-ensurer.reset-size10.size11 {
+  font-size: 1.19961427em;
+}
+.katex .sizing.reset-size11.size1,
+.katex .fontsize-ensurer.reset-size11.size1 {
+  font-size: 0.20096463em;
+}
+.katex .sizing.reset-size11.size2,
+.katex .fontsize-ensurer.reset-size11.size2 {
+  font-size: 0.24115756em;
+}
+.katex .sizing.reset-size11.size3,
+.katex .fontsize-ensurer.reset-size11.size3 {
+  font-size: 0.28135048em;
+}
+.katex .sizing.reset-size11.size4,
+.katex .fontsize-ensurer.reset-size11.size4 {
+  font-size: 0.32154341em;
+}
+.katex .sizing.reset-size11.size5,
+.katex .fontsize-ensurer.reset-size11.size5 {
+  font-size: 0.36173633em;
+}
+.katex .sizing.reset-size11.size6,
+.katex .fontsize-ensurer.reset-size11.size6 {
+  font-size: 0.40192926em;
+}
+.katex .sizing.reset-size11.size7,
+.katex .fontsize-ensurer.reset-size11.size7 {
+  font-size: 0.48231511em;
+}
+.katex .sizing.reset-size11.size8,
+.katex .fontsize-ensurer.reset-size11.size8 {
+  font-size: 0.57877814em;
+}
+.katex .sizing.reset-size11.size9,
+.katex .fontsize-ensurer.reset-size11.size9 {
+  font-size: 0.69453376em;
+}
+.katex .sizing.reset-size11.size10,
+.katex .fontsize-ensurer.reset-size11.size10 {
+  font-size: 0.83360129em;
+}
+.katex .sizing.reset-size11.size11,
+.katex .fontsize-ensurer.reset-size11.size11 {
+  font-size: 1em;
+}
 .katex .delimsizing.size1 {
   font-family: KaTeX_Size1;
 }
@@ -935,6 +977,9 @@
   display: inline-block;
   width: 0.12em;
 }
+.katex .delimcenter {
+  position: relative;
+}
 .katex .op-symbol {
   position: relative;
 }
@@ -944,10 +989,10 @@
 .katex .op-symbol.large-op {
   font-family: KaTeX_Size2;
 }
-.katex .op-limits > .vlist > span {
+.katex .op-limits > .vlist-t {
   text-align: center;
 }
-.katex .accent > .vlist > span {
+.katex .accent > .vlist-t {
   text-align: center;
 }
 .katex .accent .accent-body > span {
@@ -965,12 +1010,479 @@
 .katex .mtable .arraycolsep {
   display: inline-block;
 }
-.katex .mtable .col-align-c > .vlist {
+.katex .mtable .col-align-c > .vlist-t {
   text-align: center;
 }
-.katex .mtable .col-align-l > .vlist {
+.katex .mtable .col-align-l > .vlist-t {
   text-align: left;
 }
-.katex .mtable .col-align-r > .vlist {
+.katex .mtable .col-align-r > .vlist-t {
   text-align: right;
 }
+.katex .stretchy {
+  width: 100%;
+  display: block;
+  background-repeat: no-repeat;
+  background-position: right center;
+  background-size: 100% 100%;
+}
+.katex .stretchy:before,
+.katex .stretchy:after {
+  content: "";
+}
+.katex .x-arrow-pad {
+  padding: 0 0.5em;
+}
+.katex .x-arrow,
+.katex .mover,
+.katex .munder {
+  text-align: center;
+}
+.katex .boxpad {
+  padding: 0 0.3em 0 0.3em;
+}
+.katex .fbox {
+  box-sizing: border-box;
+  border: 0.04em solid black;
+}
+.katex .cancel-pad {
+  padding: 0 0.2em 0 0.2em;
+}
+.katex .mord + .cancel-lap,
+.katex .mbin + .cancel-lap {
+  margin-left: -0.2em;
+}
+.katex .cancel-lap + .mord,
+.katex .cancel-lap + .mbin,
+.katex .cancel-lap + .msupsub {
+  margin-left: -0.2em;
+}
+.katex .sout {
+  border-bottom-style: solid;
+  border-bottom-width: 0.08em;
+}
+.katex .widehat1 {
+  height: 0.24em;
+  background-image: url(<%= asset_path('widehat1.svg') %>);
+}
+.katex .widehat2 {
+  height: 0.30em;
+  background-image: url(<%= asset_path('widehat2.svg') %>);
+}
+.katex .widehat3 {
+  height: 0.36em;
+  background-image: url(<%= asset_path('widehat3.svg') %>);
+}
+.katex .widehat4 {
+  height: 0.42em;
+  background-image: url(<%= asset_path('widehat4.svg') %>);
+}
+.katex .tilde1 {
+  height: 0.26em;
+  background-image: url(<%= asset_path('tilde1.svg') %>);
+}
+.katex .tilde2 {
+  height: 0.29em;
+  background-image: url(<%= asset_path('tilde2.svg') %>);
+}
+.katex .tilde3 {
+  height: 0.306em;
+  background-image: url(<%= asset_path('tilde3.svg') %>);
+}
+.katex .tilde4 {
+  height: 0.312em;
+  background-image: url(<%= asset_path('tilde4.svg') %>);
+}
+.katex .rightarrow {
+  height: 0.522em;
+  min-width: 0.5em;
+  background-image: url(<%= asset_path('rightarrow.svg') %>);
+}
+.katex .xrightarrow {
+  height: 0.522em;
+  min-width: 0.783em;
+  background-image: url(<%= asset_path('rightarrow.svg') %>);
+}
+.katex .leftarrow {
+  height: 0.522em;
+  min-width: 0.5em;
+  background-image: url(<%= asset_path('leftarrow.svg') %>);
+}
+.katex .xleftarrow {
+  height: 0.522em;
+  min-width: 0.783em;
+  background-image: url(<%= asset_path('leftarrow.svg') %>);
+}
+.katex .overbrace {
+  height: 0.548em;
+  min-width: 1.6em;
+  background-image: url(<%= asset_path('overbrace.svg') %>);
+}
+.katex .underbrace {
+  height: 0.548em;
+  min-width: 1.6em;
+  background-image: url(<%= asset_path('underbrace.svg') %>);
+}
+.katex .leftrightarrow {
+  height: 0.522em;
+  min-width: 0.5em;
+  background-image: url(<%= asset_path('leftrightarrow.svg') %>);
+}
+.katex .xleftrightarrow {
+  height: 0.522em;
+  min-width: 0.783em;
+  background-image: url(<%= asset_path('leftrightarrow.svg') %>);
+}
+.katex .doublerightarrow {
+  height: 0.56em;
+  min-width: 0.783em;
+  background-image: url(<%= asset_path('doublerightarrow.svg') %>);
+}
+.katex .doubleleftarrow {
+  height: 0.56em;
+  min-width: 0.783em;
+  background-image: url(<%= asset_path('doubleleftarrow.svg') %>);
+}
+.katex .doubleleftrightarrow {
+  height: 0.56em;
+  min-width: 0.955em;
+  background-image: url(<%= asset_path('doubleleftrightarrow.svg') %>);
+}
+.katex .leftharpoon {
+  height: 0.522em;
+  min-width: 0.5em;
+  background-image: url(<%= asset_path('leftharpoon.svg') %>);
+}
+.katex .leftharpoon {
+  height: 0.522em;
+  min-width: 0.783em;
+  background-image: url(<%= asset_path('leftharpoon.svg') %>);
+}
+.katex .rightharpoon {
+  height: 0.522em;
+  min-width: 0.5em;
+  background-image: url(<%= asset_path('rightharpoon.svg') %>);
+}
+.katex .xrightharpoon {
+  height: 0.522em;
+  min-width: 0.783em;
+  background-image: url(<%= asset_path('rightharpoon.svg') %>);
+}
+.katex .hookleftarrow {
+  height: 0.522em;
+  min-width: 0.87em;
+  background-image: url(<%= asset_path('hookleftarrow.svg') %>);
+}
+.katex .hookrightarrow {
+  min-width: 0.87em;
+  height: 0.522em;
+  background-image: url(<%= asset_path('hookrightarrow.svg') %>);
+}
+.katex .mapsto {
+  height: 0.522em;
+  min-width: 0.783em;
+  background-image: url(<%= asset_path('mapsto.svg') %>);
+}
+.katex .leftharpoondown {
+  height: 0.522em;
+  min-width: 0.5em;
+  background-image: url(<%= asset_path('leftharpoondown.svg') %>);
+}
+.katex .leftharpoondown {
+  height: 0.522em;
+  min-width: 0.783em;
+  background-image: url(<%= asset_path('leftharpoondown.svg') %>);
+}
+.katex .rightharpoondown {
+  height: 0.522em;
+  min-width: 0.5em;
+  background-image: url(<%= asset_path('rightharpoondown.svg') %>);
+}
+.katex .xrightharpoondown {
+  height: 0.522em;
+  min-width: 0.783em;
+  background-image: url(<%= asset_path('rightharpoondown.svg') %>);
+}
+.katex .rightleftharpoons {
+  height: 0.716em;
+  min-width: 0.783em;
+  background-image: url(<%= asset_path('rightleftharpoons.svg') %>);
+}
+.katex .leftrightharpoons {
+  height: 0.716em;
+  min-width: 0.783em;
+  background-image: url(<%= asset_path('leftrightharpoons.svg') %>);
+}
+.katex .overgroup {
+  height: 0.342em;
+  min-width: 0.87em;
+  background-image: url(<%= asset_path('overgroup.svg') %>);
+}
+.katex .undergroup {
+  height: 0.342em;
+  min-width: 0.87em;
+  background-image: url(<%= asset_path('undergroup.svg') %>);
+}
+.katex .twoheadleftarrow {
+  height: 0.334em;
+  min-width: 0.86em;
+  background-image: url(<%= asset_path('twoheadleftarrow.svg') %>);
+}
+.katex .twoheadrightarrow {
+  height: 0.334em;
+  min-width: 0.86em;
+  background-image: url(<%= asset_path('twoheadrightarrow.svg') %>);
+}
+.katex .linesegment {
+  height: 0.414em;
+  min-width: 0.5em;
+  background-image: url(<%= asset_path('linesegment.svg') %>);
+}
+.katex .longequal {
+  height: 0.334em;
+  min-width: 0.5em;
+  background-image: url(<%= asset_path('longequal.svg') %>);
+}
+.katex .tofrom {
+  height: 0.528em;
+  min-width: 0.86em;
+  background-image: url(<%= asset_path('tofrom.svg') %>);
+}
+.katex .cancel {
+  background: linear-gradient(to top left, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%);
+}
+.katex .bcancel {
+  background: linear-gradient(to top right, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%);
+}
+.katex .xcancel {
+  background: linear-gradient(to top left, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%), linear-gradient(to top right, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%);
+}
+@media screen and (min-width: 0\0) {
+  .katex .mask {
+    background-color: transparent !important;
+  }
+  .katex .bcancel,
+  .katex .bcancel-mask {
+    background-color: transparent !important;
+    background-image: url(<%= asset_path('bcancel.svg') %>);
+  }
+  .katex .cancel,
+  .katex .cancel-mask {
+    background-color: transparent !important;
+    background-image: url(<%= asset_path('cancel.svg') %>);
+  }
+  .katex .xcancel,
+  .katex .xcancel-mask {
+    background-color: transparent !important;
+    background-image: url(<%= asset_path('xcancel.svg') %>);
+  }
+}
+@supports ((mask-image:none) or (-webkit-mask:none)) {
+  .katex .mask {
+    background-image: none;
+  }
+}
+@supports not ((mask-image:none) or (-webkit-mask:none)) {
+  .katex .mask {
+    background-color: transparent !important;
+  }
+  .katex .cancel-mask {
+    background-color: transparent !important;
+    background: linear-gradient(to top left, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%);
+  }
+  .katex .bcancel-mask {
+    background-color: transparent !important;
+    background: linear-gradient(to top right, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%);
+  }
+  .katex .xcancel-mask {
+    background-color: transparent !important;
+    background: linear-gradient(to top left, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%), linear-gradient(to top right, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%);
+  }
+}
+.katex .cancel-mask {
+  mask-image: linear-gradient(to top left, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%);
+  -webkit-mask-image: linear-gradient(to top left, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%);
+}
+.katex .bcancel-mask {
+  mask-image: linear-gradient(to top right, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%);
+  -webkit-mask-image: linear-gradient(to top right, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%);
+}
+.katex .xcancel-mask {
+  mask-image: linear-gradient(to top left, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%), linear-gradient(to top right, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%);
+  -webkit-mask-image: linear-gradient(to top left, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%), linear-gradient(to top right, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%);
+}
+@supports (-ms-touch-action: none) {
+  .katex .bcancel,
+  .katex .bcancel-mask {
+    background-color: transparent !important;
+    background-image: url(<%= asset_path('bcancel.svg') %>);
+  }
+  .katex .cancel,
+  .katex .cancel-mask {
+    background-color: transparent !important;
+    background-image: url(<%= asset_path('cancel.svg') %>);
+  }
+  .katex .xcancel,
+  .katex .xcancel-mask {
+    background-color: transparent !important;
+    background-image: url(<%= asset_path('xcancel.svg') %>);
+  }
+}
+.katex .widehat1-mask {
+  -webkit-mask: url(<%= asset_path('widehat1.svg') %>);
+  mask: url(<%= asset_path('widehat1.svg') %>) no-repeat;
+}
+.katex .widehat2-mask {
+  -webkit-mask: url(<%= asset_path('widehat2.svg') %>);
+  mask: url(<%= asset_path('widehat2.svg') %>) no-repeat;
+}
+.katex .widehat3-mask {
+  -webkit-mask: url(<%= asset_path('widehat3.svg') %>);
+  mask: url(<%= asset_path('widehat3.svg') %>) no-repeat;
+}
+.katex .widehat4-mask {
+  -webkit-mask: url(<%= asset_path('widehat4.svg') %>);
+  mask: url(<%= asset_path('widehat4.svg') %>) no-repeat;
+}
+.katex .tilde1-mask {
+  -webkit-mask: url(<%= asset_path('tilde1.svg') %>);
+  mask: url(<%= asset_path('tilde1.svg') %>) no-repeat;
+}
+.katex .tilde2-mask {
+  -webkit-mask: url(<%= asset_path('tilde2.svg') %>);
+  mask: url(<%= asset_path('tilde2.svg') %>) no-repeat;
+}
+.katex .tilde3-mask {
+  -webkit-mask: url(<%= asset_path('tilde3.svg') %>);
+  mask: url(<%= asset_path('tilde3.svg') %>) no-repeat;
+}
+.katex .tilde4-mask {
+  -webkit-mask: url(<%= asset_path('tilde4.svg') %>);
+  mask: url(<%= asset_path('tilde4.svg') %>) no-repeat;
+}
+.katex .rightarrow-mask {
+  mask: url(<%= asset_path('rightarrow.svg') %>);
+  -webkit-mask: url(<%= asset_path('rightarrow.svg') %>);
+}
+.katex .xrightarrow-mask {
+  mask: url(<%= asset_path('rightarrow.svg') %>);
+  -webkit-mask: url(<%= asset_path('rightarrow.svg') %>);
+}
+.katex .leftarrow-mask {
+  mask: url(<%= asset_path('leftarrow.svg') %>);
+  -webkit-mask: url(<%= asset_path('leftarrow.svg') %>);
+}
+.katex .xleftarrow-mask {
+  mask: url(<%= asset_path('leftarrow.svg') %>);
+  -webkit-mask: url(<%= asset_path('leftarrow.svg') %>);
+}
+.katex .overbrace-mask {
+  min-width: 1.6em;
+  mask: url(<%= asset_path('overbrace.svg') %>);
+  -webkit-mask: url(<%= asset_path('overbrace.svg') %>);
+}
+.katex .underbrace-mask {
+  min-width: 1.6em;
+  mask: url(<%= asset_path('underbrace.svg') %>);
+  -webkit-mask: url(<%= asset_path('underbrace.svg') %>);
+}
+.katex .leftrightarrow-mask {
+  mask: url(<%= asset_path('leftrightarrow.svg') %>);
+  -webkit-mask: url(<%= asset_path('leftrightarrow.svg') %>);
+}
+.katex .xleftrightarrow-mask {
+  mask: url(<%= asset_path('leftrightarrow.svg') %>);
+  -webkit-mask: url(<%= asset_path('leftrightarrow.svg') %>);
+}
+.katex .doublerightarrow-mask {
+  mask: url(<%= asset_path('doublerightarrow.svg') %>);
+  -webkit-mask: url(<%= asset_path('doublerightarrow.svg') %>);
+}
+.katex .doubleleftarrow-mask {
+  mask: url(<%= asset_path('doubleleftarrow.svg') %>);
+  -webkit-mask: url(<%= asset_path('doubleleftarrow.svg') %>);
+}
+.katex .doubleleftrightarrow-mask {
+  mask: url(<%= asset_path('doubleleftrightarrow.svg') %>);
+  -webkit-mask: url(<%= asset_path('doubleleftrightarrow.svg') %>);
+}
+.katex .leftharpoon-mask {
+  mask: url(<%= asset_path('leftharpoon.svg') %>);
+  -webkit-mask: url(<%= asset_path('leftharpoon.svg') %>);
+}
+.katex .xleftharpoon-mask {
+  mask: url(<%= asset_path('leftharpoon.svg') %>);
+  -webkit-mask: url(<%= asset_path('leftharpoon.svg') %>);
+}
+.katex .rightharpoon-mask {
+  mask: url(<%= asset_path('rightharpoon.svg') %>);
+  -webkit-mask: url(<%= asset_path('rightharpoon.svg') %>);
+}
+.katex .xrightharpoon-mask {
+  mask: url(<%= asset_path('rightharpoon.svg') %>);
+  -webkit-mask: url(<%= asset_path('rightharpoon.svg') %>);
+}
+.katex .hookleftarrow-mask {
+  mask: url(<%= asset_path('hookleftarrow.svg') %>);
+  -webkit-mask: url(<%= asset_path('hookleftarrow.svg') %>);
+}
+.katex .hookrightarrow-mask {
+  mask: url(<%= asset_path('hookrightarrow.svg') %>);
+  -webkit-mask: url(<%= asset_path('hookrightarrow.svg') %>);
+}
+.katex .mapsto-mask {
+  mask: url(<%= asset_path('mapsto.svg') %>);
+  -webkit-mask: url(<%= asset_path('mapsto.svg') %>);
+}
+.katex .leftharpoondown-mask {
+  mask: url(<%= asset_path('leftharpoondown.svg') %>);
+  -webkit-mask: url(<%= asset_path('leftharpoondown.svg') %>);
+}
+.katex .xleftharpoondown-mask {
+  mask: url(<%= asset_path('leftharpoondown.svg') %>);
+  -webkit-mask: url(<%= asset_path('leftharpoondown.svg') %>);
+}
+.katex .rightharpoondown-mask {
+  mask: url(<%= asset_path('rightharpoondown.svg') %>);
+  -webkit-mask: url(<%= asset_path('rightharpoondown.svg') %>);
+}
+.katex .xrightharpoondown-mask {
+  mask: url(<%= asset_path('rightharpoondown.svg') %>);
+  -webkit-mask: url(<%= asset_path('rightharpoondown.svg') %>);
+}
+.katex .rightleftharpoons-mask {
+  mask: url(<%= asset_path('rightleftharpoons.svg') %>);
+  -webkit-mask: url(<%= asset_path('rightleftharpoons.svg') %>);
+}
+.katex .leftrightharpoons-mask {
+  mask: url(<%= asset_path('leftrightharpoons.svg') %>);
+  -webkit-mask: url(<%= asset_path('leftrightharpoons.svg') %>);
+}
+.katex .overgroup-mask {
+  mask: url(<%= asset_path('overgroup.svg') %>);
+  -webkit-mask: url(<%= asset_path('overgroup.svg') %>);
+}
+.katex .undergroup-mask {
+  mask: url(<%= asset_path('undergroup.svg') %>);
+  -webkit-mask: url(<%= asset_path('undergroup.svg') %>);
+}
+.katex .twoheadleftarrow-mask {
+  mask: url(<%= asset_path('twoheadleftarrow.svg') %>);
+  -webkit-mask: url(<%= asset_path('twoheadleftarrow.svg') %>);
+}
+.katex .twoheadrightarrow-mask {
+  mask: url(<%= asset_path('twoheadrightarrow.svg') %>);
+  -webkit-mask: url(<%= asset_path('twoheadrightarrow.svg') %>);
+}
+.katex .linesegment-mask {
+  mask: url(<%= asset_path('linesegment.svg') %>);
+  -webkit-mask: url(<%= asset_path('linesegment.svg') %>);
+}
+.katex .longequal-mask {
+  mask: url(<%= asset_path('longequal.svg') %>);
+  -webkit-mask: url(<%= asset_path('longequal.svg') %>);
+}
+.katex .tofrom-mask {
+  mask: url(<%= asset_path('tofrom.svg') %>);
+  -webkit-mask: url(<%= asset_path('tofrom.svg') %>);
+}