type-on-strap 2.3.10 → 2.3.11

data/_sass/external/_katex.scss

@@ -1,203 +1,187 @@
 /* Custom */
 $katex-font-path: "../../assets/fonts/katex" !default;
 .katex-display {
-  overflow-x: auto;
+  @media screen and (max-width: $sm-break) {
+    overflow-x: auto;
+  }
   padding-bottom: 3px;
+  padding-top: 1px;
+  width: auto;
+  height: auto;
+}
+
+.math-display {
+  display: inline-block;
+  width: 100%;
 }
 
 /*! KaTeX - license MIT */
 /* stylelint-disable font-family-no-missing-generic-family-keyword */
 @font-face {
-  font-family: 'KaTeX_AMS';
-  src: url('#{$katex-font-path}/KaTeX_AMS-Regular.woff2') format("woff2"), url('#{$katex-font-path}/KaTeX_AMS-Regular.woff') format("woff"), url('#{$katex-font-path}/KaTeX_AMS-Regular.tff') format("truetype");
-  font-weight: normal;
+  font-family: "KaTeX_AMS";
   font-style: normal;
+  font-weight: 400;
+  src: url("#{$katex-font-path}/KaTeX_AMS-Regular.woff2") format("woff2"), url("#{$katex-font-path}/KaTeX_AMS-Regular.woff") format("woff"), url("#{$katex-font-path}/KaTeX_AMS-Regular.ttf") format("truetype");
 }
-
 @font-face {
-  font-family: 'KaTeX_Caligraphic';
-  src: url('#{$katex-font-path}/KaTeX_Caligraphic-Bold.woff2') format("woff2"), url('#{$katex-font-path}/KaTeX_Caligraphic-Bold.woff') format("woff"), url('#{$katex-font-path}/KaTeX_Caligraphic-Bold.tff') format("truetype");
-  font-weight: bold;
+  font-family: "KaTeX_Caligraphic";
   font-style: normal;
+  font-weight: 700;
+  src: url("#{$katex-font-path}/KaTeX_Caligraphic-Bold.woff2") format("woff2"), url("#{$katex-font-path}/KaTeX_Caligraphic-Bold.woff") format("woff"), url("#{$katex-font-path}/KaTeX_Caligraphic-Bold.ttf") format("truetype");
 }
-
 @font-face {
-  font-family: 'KaTeX_Caligraphic';
-  src: url('#{$katex-font-path}/KaTeX_Caligraphic-Regular.woff2') format("woff2"), url('#{$katex-font-path}/KaTeX_Caligraphic-Regular.woff') format("woff"), url('#{$katex-font-path}/KaTeX_Caligraphic-Regular.tff') format("truetype");
-  font-weight: normal;
+  font-family: "KaTeX_Caligraphic";
   font-style: normal;
+  font-weight: 400;
+  src: url("#{$katex-font-path}/KaTeX_Caligraphic-Regular.woff2") format("woff2"), url("#{$katex-font-path}/KaTeX_Caligraphic-Regular.woff") format("woff"), url("#{$katex-font-path}/KaTeX_Caligraphic-Regular.ttf") format("truetype");
 }
-
 @font-face {
-  font-family: 'KaTeX_Fraktur';
-  src: url('#{$katex-font-path}/KaTeX_Fraktur-Bold.woff2') format("woff2"), url('#{$katex-font-path}/KaTeX_Fraktur-Bold.woff') format("woff"), url('#{$katex-font-path}/KaTeX_Fraktur-Bold.tff') format("truetype");
-  font-weight: bold;
+  font-family: "KaTeX_Fraktur";
   font-style: normal;
+  font-weight: 700;
+  src: url("#{$katex-font-path}/KaTeX_Fraktur-Bold.woff2") format("woff2"), url("#{$katex-font-path}/KaTeX_Fraktur-Bold.woff") format("woff"), url("#{$katex-font-path}/KaTeX_Fraktur-Bold.ttf") format("truetype");
 }
-
 @font-face {
-  font-family: 'KaTeX_Fraktur';
-  src: url('#{$katex-font-path}/KaTeX_Fraktur-Regular.woff2') format("woff2"), url('#{$katex-font-path}/KaTeX_Fraktur-Regular.woff') format("woff"), url('#{$katex-font-path}/KaTeX_Fraktur-Regular.tff') format("truetype");
-  font-weight: normal;
+  font-family: "KaTeX_Fraktur";
   font-style: normal;
+  font-weight: 400;
+  src: url("#{$katex-font-path}/KaTeX_Fraktur-Regular.woff2") format("woff2"), url("#{$katex-font-path}/KaTeX_Fraktur-Regular.woff") format("woff"), url("#{$katex-font-path}/KaTeX_Fraktur-Regular.ttf") format("truetype");
 }
-
 @font-face {
-  font-family: 'KaTeX_Main';
-  src: url('#{$katex-font-path}/KaTeX_Main-Bold.woff2') format("woff2"), url('#{$katex-font-path}/KaTeX_Main-Bold.woff') format("woff"), url('#{$katex-font-path}/KaTeX_Main-Bold.tff') format("truetype");
-  font-weight: bold;
+  font-family: "KaTeX_Main";
   font-style: normal;
+  font-weight: 700;
+  src: url("#{$katex-font-path}/KaTeX_Main-Bold.woff2") format("woff2"), url("#{$katex-font-path}/KaTeX_Main-Bold.woff") format("woff"), url("#{$katex-font-path}/KaTeX_Main-Bold.ttf") format("truetype");
 }
-
 @font-face {
-  font-family: 'KaTeX_Main';
-  src: url('#{$katex-font-path}/KaTeX_Main-BoldItalic.woff2') format("woff2"), url('#{$katex-font-path}/KaTeX_Main-BoldItalic.woff') format("woff"), url('#{$katex-font-path}/KaTeX_Main-BoldItalic.tff') format("truetype");
-  font-weight: bold;
+  font-family: "KaTeX_Main";
   font-style: italic;
+  font-weight: 700;
+  src: url("#{$katex-font-path}/KaTeX_Main-BoldItalic.woff2") format("woff2"), url("#{$katex-font-path}/KaTeX_Main-BoldItalic.woff") format("woff"), url("#{$katex-font-path}/KaTeX_Main-BoldItalic.ttf") format("truetype");
 }
-
 @font-face {
-  font-family: 'KaTeX_Main';
-  src: url('#{$katex-font-path}/KaTeX_Main-Italic.woff2') format("woff2"), url('#{$katex-font-path}/KaTeX_Main-Italic.woff') format("woff"), url('#{$katex-font-path}/KaTeX_Main-Italic.tff') format("truetype");
-  font-weight: normal;
+  font-family: "KaTeX_Main";
   font-style: italic;
+  font-weight: 400;
+  src: url("#{$katex-font-path}/KaTeX_Main-Italic.woff2") format("woff2"), url("#{$katex-font-path}/KaTeX_Main-Italic.woff") format("woff"), url("#{$katex-font-path}/KaTeX_Main-Italic.ttf") format("truetype");
 }
-
 @font-face {
-  font-family: 'KaTeX_Main';
-  src: url('#{$katex-font-path}/KaTeX_Main-Regular.woff2') format("woff2"), url('#{$katex-font-path}/KaTeX_Main-Regular.woff') format("woff"), url('#{$katex-font-path}/KaTeX_Main-Regular.tff') format("truetype");
-  font-weight: normal;
+  font-family: "KaTeX_Main";
   font-style: normal;
+  font-weight: 400;
+  src: url("#{$katex-font-path}/KaTeX_Main-Regular.woff2") format("woff2"), url("#{$katex-font-path}/KaTeX_Main-Regular.woff") format("woff"), url("#{$katex-font-path}/KaTeX_Main-Regular.ttf") format("truetype");
 }
-
 @font-face {
-  font-family: 'KaTeX_Math';
-  src: url('#{$katex-font-path}/KaTeX_Math-BoldItalic.woff2') format("woff2"), url('#{$katex-font-path}/KaTeX_Math-BoldItalic.woff') format("woff"), url('#{$katex-font-path}/KaTeX_Math-BoldItalic.tff') format("truetype");
-  font-weight: bold;
+  font-family: "KaTeX_Math";
   font-style: italic;
+  font-weight: 700;
+  src: url("#{$katex-font-path}/KaTeX_Math-BoldItalic.woff2") format("woff2"), url("#{$katex-font-path}/KaTeX_Math-BoldItalic.woff") format("woff"), url("#{$katex-font-path}/KaTeX_Math-BoldItalic.ttf") format("truetype");
 }
-
 @font-face {
-  font-family: 'KaTeX_Math';
-  src: url('#{$katex-font-path}/KaTeX_Math-Italic.woff2') format("woff2"), url('#{$katex-font-path}/KaTeX_Math-Italic.woff') format("woff"), url('#{$katex-font-path}/KaTeX_Math-Italic.tff') format("truetype");
-  font-weight: normal;
+  font-family: "KaTeX_Math";
   font-style: italic;
+  font-weight: 400;
+  src: url("#{$katex-font-path}/KaTeX_Math-Italic.woff2") format("woff2"), url("#{$katex-font-path}/KaTeX_Math-Italic.woff") format("woff"), url("#{$katex-font-path}/KaTeX_Math-Italic.ttf") format("truetype");
 }
-
 @font-face {
-  font-family: 'KaTeX_SansSerif';
-  src: url('#{$katex-font-path}/KaTeX_SansSerif-Bold.woff2') format("woff2"), url('#{$katex-font-path}/KaTeX_SansSerif-Bold.woff') format("woff"), url('#{$katex-font-path}/KaTeX_SansSerif-Bold.tff') format("truetype");
-  font-weight: bold;
+  font-family: "KaTeX_SansSerif";
   font-style: normal;
+  font-weight: 700;
+  src: url("#{$katex-font-path}/KaTeX_SansSerif-Bold.woff2") format("woff2"), url("#{$katex-font-path}/KaTeX_SansSerif-Bold.woff") format("woff"), url("#{$katex-font-path}/KaTeX_SansSerif-Bold.ttf") format("truetype");
 }
-
 @font-face {
-  font-family: 'KaTeX_SansSerif';
-  src: url('#{$katex-font-path}/KaTeX_SansSerif-Italic.woff2') format("woff2"), url('#{$katex-font-path}/KaTeX_SansSerif-Italic.woff') format("woff"), url('#{$katex-font-path}/KaTeX_SansSerif-Italic.tff') format("truetype");
-  font-weight: normal;
+  font-family: "KaTeX_SansSerif";
   font-style: italic;
+  font-weight: 400;
+  src: url("#{$katex-font-path}/KaTeX_SansSerif-Italic.woff2") format("woff2"), url("#{$katex-font-path}/KaTeX_SansSerif-Italic.woff") format("woff"), url("#{$katex-font-path}/KaTeX_SansSerif-Italic.ttf") format("truetype");
 }
-
 @font-face {
-  font-family: 'KaTeX_SansSerif';
-  src: url('#{$katex-font-path}/KaTeX_SansSerif-Regular.woff2') format("woff2"), url('#{$katex-font-path}/KaTeX_SansSerif-Regular.woff') format("woff"), url('#{$katex-font-path}/KaTeX_SansSerif-Regular.tff') format("truetype");
-  font-weight: normal;
+  font-family: "KaTeX_SansSerif";
   font-style: normal;
+  font-weight: 400;
+  src: url("#{$katex-font-path}/KaTeX_SansSerif-Regular.woff2") format("woff2"), url("#{$katex-font-path}/KaTeX_SansSerif-Regular.woff") format("woff"), url("#{$katex-font-path}/KaTeX_SansSerif-Regular.ttf") format("truetype");
 }
-
 @font-face {
-  font-family: 'KaTeX_Script';
-  src: url('#{$katex-font-path}/KaTeX_Script-Regular.woff2') format("woff2"), url('#{$katex-font-path}/KaTeX_Script-Regular.woff') format("woff"), url('#{$katex-font-path}/KaTeX_Script-Regular.tff') format("truetype");
-  font-weight: normal;
+  font-family: "KaTeX_Script";
   font-style: normal;
+  font-weight: 400;
+  src: url("#{$katex-font-path}/KaTeX_Script-Regular.woff2") format("woff2"), url("#{$katex-font-path}/KaTeX_Script-Regular.woff") format("woff"), url("#{$katex-font-path}/KaTeX_Script-Regular.ttf") format("truetype");
 }
-
 @font-face {
-  font-family: 'KaTeX_Size1';
-  src: url('#{$katex-font-path}/KaTeX_Size1-Regular.woff2') format("woff2"), url('#{$katex-font-path}/KaTeX_Size1-Regular.woff') format("woff"), url('#{$katex-font-path}/KaTeX_Size1-Regular.tff') format("truetype");
-  font-weight: normal;
+  font-family: "KaTeX_Size1";
   font-style: normal;
+  font-weight: 400;
+  src: url("#{$katex-font-path}/KaTeX_Size1-Regular.woff2") format("woff2"), url("#{$katex-font-path}/KaTeX_Size1-Regular.woff") format("woff"), url("#{$katex-font-path}/KaTeX_Size1-Regular.ttf") format("truetype");
 }
-
 @font-face {
-  font-family: 'KaTeX_Size2';
-  src: url('#{$katex-font-path}/KaTeX_Size2-Regular.woff2') format("woff2"), url('#{$katex-font-path}/KaTeX_Size2-Regular.woff') format("woff"), url('#{$katex-font-path}/KaTeX_Size2-Regular.tff') format("truetype");
-  font-weight: normal;
+  font-family: "KaTeX_Size2";
   font-style: normal;
+  font-weight: 400;
+  src: url("#{$katex-font-path}/KaTeX_Size2-Regular.woff2") format("woff2"), url("#{$katex-font-path}/KaTeX_Size2-Regular.woff") format("woff"), url("#{$katex-font-path}/KaTeX_Size2-Regular.ttf") format("truetype");
 }
-
 @font-face {
-  font-family: 'KaTeX_Size3';
-  src: url('#{$katex-font-path}/KaTeX_Size3-Regular.woff2') format("woff2"), url('#{$katex-font-path}/KaTeX_Size3-Regular.woff') format("woff"), url('#{$katex-font-path}/KaTeX_Size3-Regular.tff') format("truetype");
-  font-weight: normal;
+  font-family: "KaTeX_Size3";
   font-style: normal;
+  font-weight: 400;
+  src: url("#{$katex-font-path}/KaTeX_Size3-Regular.woff2") format("woff2"), url("#{$katex-font-path}/KaTeX_Size3-Regular.woff") format("woff"), url("#{$katex-font-path}/KaTeX_Size3-Regular.ttf") format("truetype");
 }
-
 @font-face {
-  font-family: 'KaTeX_Size4';
-  src: url('#{$katex-font-path}/KaTeX_Size4-Regular.woff2') format("woff2"), url('#{$katex-font-path}/KaTeX_Size4-Regular.woff') format("woff"), url('#{$katex-font-path}/KaTeX_Size4-Regular.tff') format("truetype");
-  font-weight: normal;
+  font-family: "KaTeX_Size4";
   font-style: normal;
+  font-weight: 400;
+  src: url("#{$katex-font-path}/KaTeX_Size4-Regular.woff2") format("woff2"), url("#{$katex-font-path}/KaTeX_Size4-Regular.woff") format("woff"), url("#{$katex-font-path}/KaTeX_Size4-Regular.ttf") format("truetype");
 }
-
 @font-face {
-  font-family: 'KaTeX_Typewriter';
-  src: url('#{$katex-font-path}/KaTeX_Typewriter-Regular.woff2') format("woff2"), url('#{$katex-font-path}/KaTeX_Typewriter-Regular.woff') format("woff"), url('#{$katex-font-path}/KaTeX_Typewriter-Regular.tff') format("truetype");
-  font-weight: normal;
+  font-family: "KaTeX_Typewriter";
   font-style: normal;
+  font-weight: 400;
+  src: url("#{$katex-font-path}/KaTeX_Typewriter-Regular.woff2") format("woff2"), url("#{$katex-font-path}/KaTeX_Typewriter-Regular.woff") format("woff"), url("#{$katex-font-path}/KaTeX_Typewriter-Regular.ttf") format("truetype");
 }
 
 .katex {
-  font: normal 1.21em KaTeX_Main, Times New Roman, serif;
+  text-rendering: auto;
+  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;
+  -ms-high-contrast-adjust: none!important;
   border-color: currentColor;
 }
 
-.katex .katex-version::after {
-  content: "0.13.9";
+.katex .katex-version:after {
+  content: "0.15.2";
 }
 
 .katex .katex-mathml {
-  /* Accessibility hack to only show to screen readers
-         Found at: http://a11yproject.com/posts/how-to-hide-content/ */
-  position: absolute;
-  clip: rect(1px, 1px, 1px, 1px);
-  padding: 0;
+  clip: rect(1px,1px,1px,1px);
   border: 0;
   height: 1px;
-  width: 1px;
   overflow: hidden;
+  padding: 0;
+  position: absolute;
+  width: 1px;
 }
 
-.katex .katex-html {
-  /* \newline is an empty block at top level, between .base elements */
-}
-
-.katex .katex-html > .newline {
+.katex .katex-html>.newline {
   display: block;
 }
 
 .katex .base {
   position: relative;
-  display: inline-block;
   white-space: nowrap;
   width: -webkit-min-content;
   width: -moz-min-content;
   width: min-content;
 }
 
-.katex .strut {
+.katex .base,.katex .strut {
   display: inline-block;
 }
 
 .katex .textbf {
-  font-weight: bold;
+  font-weight: 700;
 }
 
 .katex .textit {
@@ -205,24 +189,24 @@ $katex-font-path: "../../assets/fonts/katex" !default;
 }
 
 .katex .textrm {
-  font-family: KaTeX_Main;
+  font-family: "KaTeX_Main";
 }
 
 .katex .textsf {
-  font-family: KaTeX_SansSerif;
+  font-family: "KaTeX_SansSerif";
 }
 
 .katex .texttt {
-  font-family: KaTeX_Typewriter;
+  font-family: "KaTeX_Typewriter";
 }
 
 .katex .mathnormal {
-  font-family: KaTeX_Math;
+  font-family: "KaTeX_Math";
   font-style: italic;
 }
 
 .katex .mathit {
-  font-family: KaTeX_Main;
+  font-family: "KaTeX_Main";
   font-style: italic;
 }
 
@@ -231,69 +215,59 @@ $katex-font-path: "../../assets/fonts/katex" !default;
 }
 
 .katex .mathbf {
-  font-family: KaTeX_Main;
-  font-weight: bold;
+  font-family: "KaTeX_Main";
+  font-weight: 700;
 }
 
 .katex .boldsymbol {
-  font-family: KaTeX_Math;
-  font-weight: bold;
+  font-family: "KaTeX_Math";
   font-style: italic;
+  font-weight: 700;
 }
 
-.katex .amsrm {
-  font-family: KaTeX_AMS;
-}
-
-.katex .mathbb,
-.katex .textbb {
-  font-family: KaTeX_AMS;
+.katex .amsrm,.katex .mathbb,.katex .textbb {
+  font-family: "KaTeX_AMS";
 }
 
 .katex .mathcal {
-  font-family: KaTeX_Caligraphic;
+  font-family: "KaTeX_Caligraphic";
 }
 
-.katex .mathfrak,
-.katex .textfrak {
-  font-family: KaTeX_Fraktur;
+.katex .mathfrak,.katex .textfrak {
+  font-family: "KaTeX_Fraktur";
 }
 
 .katex .mathtt {
-  font-family: KaTeX_Typewriter;
+  font-family: "KaTeX_Typewriter";
 }
 
-.katex .mathscr,
-.katex .textscr {
-  font-family: KaTeX_Script;
+.katex .mathscr,.katex .textscr {
+  font-family: "KaTeX_Script";
 }
 
-.katex .mathsf,
-.katex .textsf {
-  font-family: KaTeX_SansSerif;
+.katex .mathsf,.katex .textsf {
+  font-family: "KaTeX_SansSerif";
 }
 
-.katex .mathboldsf,
-.katex .textboldsf {
-  font-family: KaTeX_SansSerif;
-  font-weight: bold;
+.katex .mathboldsf,.katex .textboldsf {
+  font-family: "KaTeX_SansSerif";
+  font-weight: 700;
 }
 
-.katex .mathitsf,
-.katex .textitsf {
-  font-family: KaTeX_SansSerif;
+.katex .mathitsf,.katex .textitsf {
+  font-family: "KaTeX_SansSerif";
   font-style: italic;
 }
 
 .katex .mainrm {
-  font-family: KaTeX_Main;
+  font-family: "KaTeX_Main";
   font-style: normal;
 }
 
 .katex .vlist-t {
+  border-collapse: collapse;
   display: inline-table;
   table-layout: fixed;
-  border-collapse: collapse;
 }
 
 .katex .vlist-r {
@@ -302,21 +276,21 @@ $katex-font-path: "../../assets/fonts/katex" !default;
 
 .katex .vlist {
   display: table-cell;
-  vertical-align: bottom;
   position: relative;
+  vertical-align: bottom;
 }
 
-.katex .vlist > span {
+.katex .vlist>span {
   display: block;
   height: 0;
   position: relative;
 }
 
-.katex .vlist > span > span {
+.katex .vlist>span>span {
   display: inline-block;
 }
 
-.katex .vlist > span > .pstrut {
+.katex .vlist>span>.pstrut {
   overflow: hidden;
   width: 0;
 }
@@ -327,61 +301,47 @@ $katex-font-path: "../../assets/fonts/katex" !default;
 
 .katex .vlist-s {
   display: table-cell;
-  vertical-align: bottom;
   font-size: 1px;
-  width: 2px;
   min-width: 2px;
+  vertical-align: bottom;
+  width: 2px;
 }
 
 .katex .vbox {
-  display: -webkit-inline-box;
+  align-items: baseline;
   display: inline-flex;
-  -webkit-box-orient: vertical;
-  -webkit-box-direction: normal;
   flex-direction: column;
-  -webkit-box-align: baseline;
-  align-items: baseline;
 }
 
 .katex .hbox {
-  display: -webkit-inline-box;
-  display: inline-flex;
-  -webkit-box-orient: horizontal;
-  -webkit-box-direction: normal;
-  flex-direction: row;
   width: 100%;
 }
 
-.katex .thinbox {
-  display: -webkit-inline-box;
+.katex .hbox,.katex .thinbox {
   display: inline-flex;
-  -webkit-box-orient: horizontal;
-  -webkit-box-direction: normal;
   flex-direction: row;
-  width: 0;
+}
+
+.katex .thinbox {
   max-width: 0;
+  width: 0;
 }
 
 .katex .msupsub {
   text-align: left;
 }
 
-.katex .mfrac > span > span {
+.katex .mfrac>span>span {
   text-align: center;
 }
 
 .katex .mfrac .frac-line {
+  border-bottom-style: solid;
   display: inline-block;
   width: 100%;
-  border-bottom-style: solid;
 }
 
-.katex .mfrac .frac-line,
-.katex .overline .overline-line,
-.katex .underline .underline-line,
-.katex .hline,
-.katex .hdashline,
-.katex .rule {
+.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line {
   min-height: 1px;
 }
 
@@ -389,721 +349,581 @@ $katex-font-path: "../../assets/fonts/katex" !default;
   display: inline-block;
 }
 
-.katex .llap,
-.katex .rlap,
-.katex .clap {
-  width: 0;
+.katex .clap,.katex .llap,.katex .rlap {
   position: relative;
+  width: 0;
 }
 
-.katex .llap > .inner,
-.katex .rlap > .inner,
-.katex .clap > .inner {
+.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner {
   position: absolute;
 }
 
-.katex .llap > .fix,
-.katex .rlap > .fix,
-.katex .clap > .fix {
+.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix {
   display: inline-block;
 }
 
-.katex .llap > .inner {
+.katex .llap>.inner {
   right: 0;
 }
 
-.katex .rlap > .inner,
-.katex .clap > .inner {
+.katex .clap>.inner,.katex .rlap>.inner {
   left: 0;
 }
 
-.katex .clap > .inner > span {
+.katex .clap>.inner>span {
   margin-left: -50%;
   margin-right: 50%;
 }
 
 .katex .rule {
+  border: 0 solid;
   display: inline-block;
-  border: solid 0;
   position: relative;
 }
 
-.katex .overline .overline-line,
-.katex .underline .underline-line,
-.katex .hline {
+.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line {
+  border-bottom-style: solid;
   display: inline-block;
   width: 100%;
-  border-bottom-style: solid;
 }
 
 .katex .hdashline {
+  border-bottom-style: dashed;
   display: inline-block;
   width: 100%;
-  border-bottom-style: dashed;
 }
 
-.katex .sqrt > .root {
-  /* These values are taken from the definition of `\r@@t`,
-             `\mkern 5mu` and `\mkern -10mu`. */
-  margin-left: 0.27777778em;
-  margin-right: -0.55555556em;
+.katex .sqrt>.root {
+  margin-left: .27777778em;
+  margin-right: -.55555556em;
 }
 
-.katex .sizing.reset-size1.size1,
-.katex .fontsize-ensurer.reset-size1.size1 {
+.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1 {
   font-size: 1em;
 }
 
-.katex .sizing.reset-size1.size2,
-.katex .fontsize-ensurer.reset-size1.size2 {
+.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2 {
   font-size: 1.2em;
 }
 
-.katex .sizing.reset-size1.size3,
-.katex .fontsize-ensurer.reset-size1.size3 {
+.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3 {
   font-size: 1.4em;
 }
 
-.katex .sizing.reset-size1.size4,
-.katex .fontsize-ensurer.reset-size1.size4 {
+.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4 {
   font-size: 1.6em;
 }
 
-.katex .sizing.reset-size1.size5,
-.katex .fontsize-ensurer.reset-size1.size5 {
+.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5 {
   font-size: 1.8em;
 }
 
-.katex .sizing.reset-size1.size6,
-.katex .fontsize-ensurer.reset-size1.size6 {
+.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6 {
   font-size: 2em;
 }
 
-.katex .sizing.reset-size1.size7,
-.katex .fontsize-ensurer.reset-size1.size7 {
+.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7 {
   font-size: 2.4em;
 }
 
-.katex .sizing.reset-size1.size8,
-.katex .fontsize-ensurer.reset-size1.size8 {
+.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8 {
   font-size: 2.88em;
 }
 
-.katex .sizing.reset-size1.size9,
-.katex .fontsize-ensurer.reset-size1.size9 {
+.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9 {
   font-size: 3.456em;
 }
 
-.katex .sizing.reset-size1.size10,
-.katex .fontsize-ensurer.reset-size1.size10 {
+.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10 {
   font-size: 4.148em;
 }
 
-.katex .sizing.reset-size1.size11,
-.katex .fontsize-ensurer.reset-size1.size11 {
+.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11 {
   font-size: 4.976em;
 }
 
-.katex .sizing.reset-size2.size1,
-.katex .fontsize-ensurer.reset-size2.size1 {
-  font-size: 0.83333333em;
+.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1 {
+  font-size: .83333333em;
 }
 
-.katex .sizing.reset-size2.size2,
-.katex .fontsize-ensurer.reset-size2.size2 {
+.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2 {
   font-size: 1em;
 }
 
-.katex .sizing.reset-size2.size3,
-.katex .fontsize-ensurer.reset-size2.size3 {
+.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3 {
   font-size: 1.16666667em;
 }
 
-.katex .sizing.reset-size2.size4,
-.katex .fontsize-ensurer.reset-size2.size4 {
+.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4 {
   font-size: 1.33333333em;
 }
 
-.katex .sizing.reset-size2.size5,
-.katex .fontsize-ensurer.reset-size2.size5 {
+.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5 {
   font-size: 1.5em;
 }
 
-.katex .sizing.reset-size2.size6,
-.katex .fontsize-ensurer.reset-size2.size6 {
+.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6 {
   font-size: 1.66666667em;
 }
 
-.katex .sizing.reset-size2.size7,
-.katex .fontsize-ensurer.reset-size2.size7 {
+.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7 {
   font-size: 2em;
 }
 
-.katex .sizing.reset-size2.size8,
-.katex .fontsize-ensurer.reset-size2.size8 {
+.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8 {
   font-size: 2.4em;
 }
 
-.katex .sizing.reset-size2.size9,
-.katex .fontsize-ensurer.reset-size2.size9 {
+.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9 {
   font-size: 2.88em;
 }
 
-.katex .sizing.reset-size2.size10,
-.katex .fontsize-ensurer.reset-size2.size10 {
+.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10 {
   font-size: 3.45666667em;
 }
 
-.katex .sizing.reset-size2.size11,
-.katex .fontsize-ensurer.reset-size2.size11 {
+.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11 {
   font-size: 4.14666667em;
 }
 
-.katex .sizing.reset-size3.size1,
-.katex .fontsize-ensurer.reset-size3.size1 {
-  font-size: 0.71428571em;
+.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1 {
+  font-size: .71428571em;
 }
 
-.katex .sizing.reset-size3.size2,
-.katex .fontsize-ensurer.reset-size3.size2 {
-  font-size: 0.85714286em;
+.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2 {
+  font-size: .85714286em;
 }
 
-.katex .sizing.reset-size3.size3,
-.katex .fontsize-ensurer.reset-size3.size3 {
+.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3 {
   font-size: 1em;
 }
 
-.katex .sizing.reset-size3.size4,
-.katex .fontsize-ensurer.reset-size3.size4 {
+.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4 {
   font-size: 1.14285714em;
 }
 
-.katex .sizing.reset-size3.size5,
-.katex .fontsize-ensurer.reset-size3.size5 {
+.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5 {
   font-size: 1.28571429em;
 }
 
-.katex .sizing.reset-size3.size6,
-.katex .fontsize-ensurer.reset-size3.size6 {
+.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6 {
   font-size: 1.42857143em;
 }
 
-.katex .sizing.reset-size3.size7,
-.katex .fontsize-ensurer.reset-size3.size7 {
+.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7 {
   font-size: 1.71428571em;
 }
 
-.katex .sizing.reset-size3.size8,
-.katex .fontsize-ensurer.reset-size3.size8 {
+.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8 {
   font-size: 2.05714286em;
 }
 
-.katex .sizing.reset-size3.size9,
-.katex .fontsize-ensurer.reset-size3.size9 {
+.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9 {
   font-size: 2.46857143em;
 }
 
-.katex .sizing.reset-size3.size10,
-.katex .fontsize-ensurer.reset-size3.size10 {
+.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10 {
   font-size: 2.96285714em;
 }
 
-.katex .sizing.reset-size3.size11,
-.katex .fontsize-ensurer.reset-size3.size11 {
+.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11 {
   font-size: 3.55428571em;
 }
 
-.katex .sizing.reset-size4.size1,
-.katex .fontsize-ensurer.reset-size4.size1 {
-  font-size: 0.625em;
+.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1 {
+  font-size: .625em;
 }
 
-.katex .sizing.reset-size4.size2,
-.katex .fontsize-ensurer.reset-size4.size2 {
-  font-size: 0.75em;
+.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2 {
+  font-size: .75em;
 }
 
-.katex .sizing.reset-size4.size3,
-.katex .fontsize-ensurer.reset-size4.size3 {
-  font-size: 0.875em;
+.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3 {
+  font-size: .875em;
 }
 
-.katex .sizing.reset-size4.size4,
-.katex .fontsize-ensurer.reset-size4.size4 {
+.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4 {
   font-size: 1em;
 }
 
-.katex .sizing.reset-size4.size5,
-.katex .fontsize-ensurer.reset-size4.size5 {
+.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5 {
   font-size: 1.125em;
 }
 
-.katex .sizing.reset-size4.size6,
-.katex .fontsize-ensurer.reset-size4.size6 {
+.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6 {
   font-size: 1.25em;
 }
 
-.katex .sizing.reset-size4.size7,
-.katex .fontsize-ensurer.reset-size4.size7 {
+.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7 {
   font-size: 1.5em;
 }
 
-.katex .sizing.reset-size4.size8,
-.katex .fontsize-ensurer.reset-size4.size8 {
+.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8 {
   font-size: 1.8em;
 }
 
-.katex .sizing.reset-size4.size9,
-.katex .fontsize-ensurer.reset-size4.size9 {
+.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9 {
   font-size: 2.16em;
 }
 
-.katex .sizing.reset-size4.size10,
-.katex .fontsize-ensurer.reset-size4.size10 {
+.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10 {
   font-size: 2.5925em;
 }
 
-.katex .sizing.reset-size4.size11,
-.katex .fontsize-ensurer.reset-size4.size11 {
+.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11 {
   font-size: 3.11em;
 }
 
-.katex .sizing.reset-size5.size1,
-.katex .fontsize-ensurer.reset-size5.size1 {
-  font-size: 0.55555556em;
+.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1 {
+  font-size: .55555556em;
 }
 
-.katex .sizing.reset-size5.size2,
-.katex .fontsize-ensurer.reset-size5.size2 {
-  font-size: 0.66666667em;
+.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2 {
+  font-size: .66666667em;
 }
 
-.katex .sizing.reset-size5.size3,
-.katex .fontsize-ensurer.reset-size5.size3 {
-  font-size: 0.77777778em;
+.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3 {
+  font-size: .77777778em;
 }
 
-.katex .sizing.reset-size5.size4,
-.katex .fontsize-ensurer.reset-size5.size4 {
-  font-size: 0.88888889em;
+.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4 {
+  font-size: .88888889em;
 }
 
-.katex .sizing.reset-size5.size5,
-.katex .fontsize-ensurer.reset-size5.size5 {
+.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5 {
   font-size: 1em;
 }
 
-.katex .sizing.reset-size5.size6,
-.katex .fontsize-ensurer.reset-size5.size6 {
+.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6 {
   font-size: 1.11111111em;
 }
 
-.katex .sizing.reset-size5.size7,
-.katex .fontsize-ensurer.reset-size5.size7 {
+.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7 {
   font-size: 1.33333333em;
 }
 
-.katex .sizing.reset-size5.size8,
-.katex .fontsize-ensurer.reset-size5.size8 {
+.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8 {
   font-size: 1.6em;
 }
 
-.katex .sizing.reset-size5.size9,
-.katex .fontsize-ensurer.reset-size5.size9 {
+.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9 {
   font-size: 1.92em;
 }
 
-.katex .sizing.reset-size5.size10,
-.katex .fontsize-ensurer.reset-size5.size10 {
+.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10 {
   font-size: 2.30444444em;
 }
 
-.katex .sizing.reset-size5.size11,
-.katex .fontsize-ensurer.reset-size5.size11 {
+.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11 {
   font-size: 2.76444444em;
 }
 
-.katex .sizing.reset-size6.size1,
-.katex .fontsize-ensurer.reset-size6.size1 {
-  font-size: 0.5em;
+.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1 {
+  font-size: .5em;
 }
 
-.katex .sizing.reset-size6.size2,
-.katex .fontsize-ensurer.reset-size6.size2 {
-  font-size: 0.6em;
+.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2 {
+  font-size: .6em;
 }
 
-.katex .sizing.reset-size6.size3,
-.katex .fontsize-ensurer.reset-size6.size3 {
-  font-size: 0.7em;
+.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3 {
+  font-size: .7em;
 }
 
-.katex .sizing.reset-size6.size4,
-.katex .fontsize-ensurer.reset-size6.size4 {
-  font-size: 0.8em;
+.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4 {
+  font-size: .8em;
 }
 
-.katex .sizing.reset-size6.size5,
-.katex .fontsize-ensurer.reset-size6.size5 {
-  font-size: 0.9em;
+.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5 {
+  font-size: .9em;
 }
 
-.katex .sizing.reset-size6.size6,
-.katex .fontsize-ensurer.reset-size6.size6 {
+.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6 {
   font-size: 1em;
 }
 
-.katex .sizing.reset-size6.size7,
-.katex .fontsize-ensurer.reset-size6.size7 {
+.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7 {
   font-size: 1.2em;
 }
 
-.katex .sizing.reset-size6.size8,
-.katex .fontsize-ensurer.reset-size6.size8 {
+.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8 {
   font-size: 1.44em;
 }
 
-.katex .sizing.reset-size6.size9,
-.katex .fontsize-ensurer.reset-size6.size9 {
+.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9 {
   font-size: 1.728em;
 }
 
-.katex .sizing.reset-size6.size10,
-.katex .fontsize-ensurer.reset-size6.size10 {
+.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10 {
   font-size: 2.074em;
 }
 
-.katex .sizing.reset-size6.size11,
-.katex .fontsize-ensurer.reset-size6.size11 {
+.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11 {
   font-size: 2.488em;
 }
 
-.katex .sizing.reset-size7.size1,
-.katex .fontsize-ensurer.reset-size7.size1 {
-  font-size: 0.41666667em;
+.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1 {
+  font-size: .41666667em;
 }
 
-.katex .sizing.reset-size7.size2,
-.katex .fontsize-ensurer.reset-size7.size2 {
-  font-size: 0.5em;
+.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2 {
+  font-size: .5em;
 }
 
-.katex .sizing.reset-size7.size3,
-.katex .fontsize-ensurer.reset-size7.size3 {
-  font-size: 0.58333333em;
+.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3 {
+  font-size: .58333333em;
 }
 
-.katex .sizing.reset-size7.size4,
-.katex .fontsize-ensurer.reset-size7.size4 {
-  font-size: 0.66666667em;
+.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4 {
+  font-size: .66666667em;
 }
 
-.katex .sizing.reset-size7.size5,
-.katex .fontsize-ensurer.reset-size7.size5 {
-  font-size: 0.75em;
+.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5 {
+  font-size: .75em;
 }
 
-.katex .sizing.reset-size7.size6,
-.katex .fontsize-ensurer.reset-size7.size6 {
-  font-size: 0.83333333em;
+.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6 {
+  font-size: .83333333em;
 }
 
-.katex .sizing.reset-size7.size7,
-.katex .fontsize-ensurer.reset-size7.size7 {
+.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7 {
   font-size: 1em;
 }
 
-.katex .sizing.reset-size7.size8,
-.katex .fontsize-ensurer.reset-size7.size8 {
+.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8 {
   font-size: 1.2em;
 }
 
-.katex .sizing.reset-size7.size9,
-.katex .fontsize-ensurer.reset-size7.size9 {
+.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9 {
   font-size: 1.44em;
 }
 
-.katex .sizing.reset-size7.size10,
-.katex .fontsize-ensurer.reset-size7.size10 {
+.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10 {
   font-size: 1.72833333em;
 }
 
-.katex .sizing.reset-size7.size11,
-.katex .fontsize-ensurer.reset-size7.size11 {
+.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11 {
   font-size: 2.07333333em;
 }
 
-.katex .sizing.reset-size8.size1,
-.katex .fontsize-ensurer.reset-size8.size1 {
-  font-size: 0.34722222em;
+.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1 {
+  font-size: .34722222em;
 }
 
-.katex .sizing.reset-size8.size2,
-.katex .fontsize-ensurer.reset-size8.size2 {
-  font-size: 0.41666667em;
+.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2 {
+  font-size: .41666667em;
 }
 
-.katex .sizing.reset-size8.size3,
-.katex .fontsize-ensurer.reset-size8.size3 {
-  font-size: 0.48611111em;
+.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3 {
+  font-size: .48611111em;
 }
 
-.katex .sizing.reset-size8.size4,
-.katex .fontsize-ensurer.reset-size8.size4 {
-  font-size: 0.55555556em;
+.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4 {
+  font-size: .55555556em;
 }
 
-.katex .sizing.reset-size8.size5,
-.katex .fontsize-ensurer.reset-size8.size5 {
-  font-size: 0.625em;
+.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5 {
+  font-size: .625em;
 }
 
-.katex .sizing.reset-size8.size6,
-.katex .fontsize-ensurer.reset-size8.size6 {
-  font-size: 0.69444444em;
+.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6 {
+  font-size: .69444444em;
 }
 
-.katex .sizing.reset-size8.size7,
-.katex .fontsize-ensurer.reset-size8.size7 {
-  font-size: 0.83333333em;
+.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7 {
+  font-size: .83333333em;
 }
 
-.katex .sizing.reset-size8.size8,
-.katex .fontsize-ensurer.reset-size8.size8 {
+.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8 {
   font-size: 1em;
 }
 
-.katex .sizing.reset-size8.size9,
-.katex .fontsize-ensurer.reset-size8.size9 {
+.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9 {
   font-size: 1.2em;
 }
 
-.katex .sizing.reset-size8.size10,
-.katex .fontsize-ensurer.reset-size8.size10 {
+.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10 {
   font-size: 1.44027778em;
 }
 
-.katex .sizing.reset-size8.size11,
-.katex .fontsize-ensurer.reset-size8.size11 {
+.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11 {
   font-size: 1.72777778em;
 }
 
-.katex .sizing.reset-size9.size1,
-.katex .fontsize-ensurer.reset-size9.size1 {
-  font-size: 0.28935185em;
+.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1 {
+  font-size: .28935185em;
 }
 
-.katex .sizing.reset-size9.size2,
-.katex .fontsize-ensurer.reset-size9.size2 {
-  font-size: 0.34722222em;
+.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2 {
+  font-size: .34722222em;
 }
 
-.katex .sizing.reset-size9.size3,
-.katex .fontsize-ensurer.reset-size9.size3 {
-  font-size: 0.40509259em;
+.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3 {
+  font-size: .40509259em;
 }
 
-.katex .sizing.reset-size9.size4,
-.katex .fontsize-ensurer.reset-size9.size4 {
-  font-size: 0.46296296em;
+.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4 {
+  font-size: .46296296em;
 }
 
-.katex .sizing.reset-size9.size5,
-.katex .fontsize-ensurer.reset-size9.size5 {
-  font-size: 0.52083333em;
+.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5 {
+  font-size: .52083333em;
 }
 
-.katex .sizing.reset-size9.size6,
-.katex .fontsize-ensurer.reset-size9.size6 {
-  font-size: 0.5787037em;
+.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6 {
+  font-size: .5787037em;
 }
 
-.katex .sizing.reset-size9.size7,
-.katex .fontsize-ensurer.reset-size9.size7 {
-  font-size: 0.69444444em;
+.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7 {
+  font-size: .69444444em;
 }
 
-.katex .sizing.reset-size9.size8,
-.katex .fontsize-ensurer.reset-size9.size8 {
-  font-size: 0.83333333em;
+.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8 {
+  font-size: .83333333em;
 }
 
-.katex .sizing.reset-size9.size9,
-.katex .fontsize-ensurer.reset-size9.size9 {
+.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9 {
   font-size: 1em;
 }
 
-.katex .sizing.reset-size9.size10,
-.katex .fontsize-ensurer.reset-size9.size10 {
+.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10 {
   font-size: 1.20023148em;
 }
 
-.katex .sizing.reset-size9.size11,
-.katex .fontsize-ensurer.reset-size9.size11 {
+.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11 {
   font-size: 1.43981481em;
 }
 
-.katex .sizing.reset-size10.size1,
-.katex .fontsize-ensurer.reset-size10.size1 {
-  font-size: 0.24108004em;
+.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1 {
+  font-size: .24108004em;
 }
 
-.katex .sizing.reset-size10.size2,
-.katex .fontsize-ensurer.reset-size10.size2 {
-  font-size: 0.28929605em;
+.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2 {
+  font-size: .28929605em;
 }
 
-.katex .sizing.reset-size10.size3,
-.katex .fontsize-ensurer.reset-size10.size3 {
-  font-size: 0.33751205em;
+.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3 {
+  font-size: .33751205em;
 }
 
-.katex .sizing.reset-size10.size4,
-.katex .fontsize-ensurer.reset-size10.size4 {
-  font-size: 0.38572806em;
+.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4 {
+  font-size: .38572806em;
 }
 
-.katex .sizing.reset-size10.size5,
-.katex .fontsize-ensurer.reset-size10.size5 {
-  font-size: 0.43394407em;
+.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5 {
+  font-size: .43394407em;
 }
 
-.katex .sizing.reset-size10.size6,
-.katex .fontsize-ensurer.reset-size10.size6 {
-  font-size: 0.48216008em;
+.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6 {
+  font-size: .48216008em;
 }
 
-.katex .sizing.reset-size10.size7,
-.katex .fontsize-ensurer.reset-size10.size7 {
-  font-size: 0.57859209em;
+.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7 {
+  font-size: .57859209em;
 }
 
-.katex .sizing.reset-size10.size8,
-.katex .fontsize-ensurer.reset-size10.size8 {
-  font-size: 0.69431051em;
+.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8 {
+  font-size: .69431051em;
 }
 
-.katex .sizing.reset-size10.size9,
-.katex .fontsize-ensurer.reset-size10.size9 {
-  font-size: 0.83317261em;
+.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9 {
+  font-size: .83317261em;
 }
 
-.katex .sizing.reset-size10.size10,
-.katex .fontsize-ensurer.reset-size10.size10 {
+.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10 {
   font-size: 1em;
 }
 
-.katex .sizing.reset-size10.size11,
-.katex .fontsize-ensurer.reset-size10.size11 {
+.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11 {
   font-size: 1.19961427em;
 }
 
-.katex .sizing.reset-size11.size1,
-.katex .fontsize-ensurer.reset-size11.size1 {
-  font-size: 0.20096463em;
+.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1 {
+  font-size: .20096463em;
 }
 
-.katex .sizing.reset-size11.size2,
-.katex .fontsize-ensurer.reset-size11.size2 {
-  font-size: 0.24115756em;
+.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2 {
+  font-size: .24115756em;
 }
 
-.katex .sizing.reset-size11.size3,
-.katex .fontsize-ensurer.reset-size11.size3 {
-  font-size: 0.28135048em;
+.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3 {
+  font-size: .28135048em;
 }
 
-.katex .sizing.reset-size11.size4,
-.katex .fontsize-ensurer.reset-size11.size4 {
-  font-size: 0.32154341em;
+.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4 {
+  font-size: .32154341em;
 }
 
-.katex .sizing.reset-size11.size5,
-.katex .fontsize-ensurer.reset-size11.size5 {
-  font-size: 0.36173633em;
+.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5 {
+  font-size: .36173633em;
 }
 
-.katex .sizing.reset-size11.size6,
-.katex .fontsize-ensurer.reset-size11.size6 {
-  font-size: 0.40192926em;
+.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6 {
+  font-size: .40192926em;
 }
 
-.katex .sizing.reset-size11.size7,
-.katex .fontsize-ensurer.reset-size11.size7 {
-  font-size: 0.48231511em;
+.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7 {
+  font-size: .48231511em;
 }
 
-.katex .sizing.reset-size11.size8,
-.katex .fontsize-ensurer.reset-size11.size8 {
-  font-size: 0.57877814em;
+.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8 {
+  font-size: .57877814em;
 }
 
-.katex .sizing.reset-size11.size9,
-.katex .fontsize-ensurer.reset-size11.size9 {
-  font-size: 0.69453376em;
+.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9 {
+  font-size: .69453376em;
 }
 
-.katex .sizing.reset-size11.size10,
-.katex .fontsize-ensurer.reset-size11.size10 {
-  font-size: 0.83360129em;
+.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10 {
+  font-size: .83360129em;
 }
 
-.katex .sizing.reset-size11.size11,
-.katex .fontsize-ensurer.reset-size11.size11 {
+.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11 {
   font-size: 1em;
 }
 
 .katex .delimsizing.size1 {
-  font-family: KaTeX_Size1;
+  font-family: "KaTeX_Size1";
 }
 
 .katex .delimsizing.size2 {
-  font-family: KaTeX_Size2;
+  font-family: "KaTeX_Size2";
 }
 
 .katex .delimsizing.size3 {
-  font-family: KaTeX_Size3;
+  font-family: "KaTeX_Size3";
 }
 
 .katex .delimsizing.size4 {
-  font-family: KaTeX_Size4;
+  font-family: "KaTeX_Size4";
 }
 
-.katex .delimsizing.mult .delim-size1 > span {
-  font-family: KaTeX_Size1;
+.katex .delimsizing.mult .delim-size1>span {
+  font-family: "KaTeX_Size1";
 }
 
-.katex .delimsizing.mult .delim-size4 > span {
-  font-family: KaTeX_Size4;
+.katex .delimsizing.mult .delim-size4>span {
+  font-family: "KaTeX_Size4";
 }
 
 .katex .nulldelimiter {
   display: inline-block;
-  width: 0.12em;
+  width: .12em;
 }
 
-.katex .delimcenter {
-  position: relative;
-}
-
-.katex .op-symbol {
+.katex .delimcenter,.katex .op-symbol {
   position: relative;
 }
 
 .katex .op-symbol.small-op {
-  font-family: KaTeX_Size1;
+  font-family: "KaTeX_Size1";
 }
 
 .katex .op-symbol.large-op {
-  font-family: KaTeX_Size2;
-}
-
-.katex .op-limits > .vlist-t {
-  text-align: center;
+  font-family: "KaTeX_Size2";
 }
 
-.katex .accent > .vlist-t {
+.katex .accent>.vlist-t,.katex .op-limits>.vlist-t {
   text-align: center;
 }
 
@@ -1128,15 +948,15 @@ $katex-font-path: "../../assets/fonts/katex" !default;
   display: inline-block;
 }
 
-.katex .mtable .col-align-c > .vlist-t {
+.katex .mtable .col-align-c>.vlist-t {
   text-align: center;
 }
 
-.katex .mtable .col-align-l > .vlist-t {
+.katex .mtable .col-align-l>.vlist-t {
   text-align: left;
 }
 
-.katex .mtable .col-align-r > .vlist-t {
+.katex .mtable .col-align-r>.vlist-t {
   text-align: right;
 }
 
@@ -1145,10 +965,6 @@ $katex-font-path: "../../assets/fonts/katex" !default;
 }
 
 .katex svg {
-  display: block;
-  position: absolute;
-  width: 100%;
-  height: inherit;
   fill: currentColor;
   stroke: currentColor;
   fill-rule: nonzero;
@@ -1160,6 +976,10 @@ $katex-font-path: "../../assets/fonts/katex" !default;
   stroke-dasharray: none;
   stroke-dashoffset: 0;
   stroke-opacity: 1;
+  display: block;
+  height: inherit;
+  position: absolute;
+  width: 100%;
 }
 
 .katex svg path {
@@ -1168,122 +988,118 @@ $katex-font-path: "../../assets/fonts/katex" !default;
 
 .katex img {
   border-style: none;
-  min-width: 0;
-  min-height: 0;
-  max-width: none;
   max-height: none;
+  max-width: none;
+  min-height: 0;
+  min-width: 0;
 }
 
 .katex .stretchy {
-  width: 100%;
   display: block;
-  position: relative;
   overflow: hidden;
+  position: relative;
+  width: 100%;
 }
 
-.katex .stretchy::before,
-.katex .stretchy::after {
+.katex .stretchy:after,.katex .stretchy:before {
   content: "";
 }
 
 .katex .hide-tail {
-  width: 100%;
-  position: relative;
   overflow: hidden;
+  position: relative;
+  width: 100%;
 }
 
 .katex .halfarrow-left {
-  position: absolute;
   left: 0;
-  width: 50.2%;
   overflow: hidden;
+  position: absolute;
+  width: 50.2%;
 }
 
 .katex .halfarrow-right {
+  overflow: hidden;
   position: absolute;
   right: 0;
   width: 50.2%;
-  overflow: hidden;
 }
 
 .katex .brace-left {
-  position: absolute;
   left: 0;
-  width: 25.1%;
   overflow: hidden;
+  position: absolute;
+  width: 25.1%;
 }
 
 .katex .brace-center {
-  position: absolute;
   left: 25%;
-  width: 50%;
   overflow: hidden;
+  position: absolute;
+  width: 50%;
 }
 
 .katex .brace-right {
+  overflow: hidden;
   position: absolute;
   right: 0;
   width: 25.1%;
-  overflow: hidden;
 }
 
 .katex .x-arrow-pad {
-  padding: 0 0.5em;
+  padding: 0 .5em;
 }
 
 .katex .cd-arrow-pad {
-  padding: 0 0.55556em 0 0.27778em;
+  padding: 0 .55556em 0 .27778em;
 }
 
-.katex .x-arrow,
-.katex .mover,
-.katex .munder {
+.katex .mover,.katex .munder,.katex .x-arrow {
   text-align: center;
 }
 
 .katex .boxpad {
-  padding: 0 0.3em 0 0.3em;
+  padding: 0 .3em;
 }
 
-.katex .fbox,
-.katex .fcolorbox {
+.katex .fbox,.katex .fcolorbox {
+  border: .04em solid;
   box-sizing: border-box;
-  border: 0.04em solid;
 }
 
 .katex .cancel-pad {
-  padding: 0 0.2em 0 0.2em;
+  padding: 0 .2em;
 }
 
 .katex .cancel-lap {
-  margin-left: -0.2em;
-  margin-right: -0.2em;
+  margin-left: -.2em;
+  margin-right: -.2em;
 }
 
 .katex .sout {
   border-bottom-style: solid;
-  border-bottom-width: 0.08em;
+  border-bottom-width: .08em;
 }
 
 .katex .angl {
-  box-sizing: border-content;
-  border-top: 0.049em solid;
-  border-right: 0.049em solid;
-  margin-right: 0.03889em;
+  border-right: .049em solid;
+  border-top: .049em solid;
+  box-sizing: border-box;
+  margin-right: .03889em;
 }
 
 .katex .anglpad {
-  padding: 0 0.03889em 0 0.03889em;
+  padding: 0 .03889em;
 }
 
-.katex .eqn-num::before {
-  counter-increment: katexEqnNo;
+.katex .eqn-num:before {
   content: "(" counter(katexEqnNo) ")";
+  counter-increment: katexEqnNo;
 }
 
-.katex .mml-eqn-num::before {
-  counter-increment: mmlEqnNo;
+.katex .mml-eqn-num:before {
   content: "(" counter(mmlEqnNo) ")";
+  counter-increment: mmlEqnNo;
 }
 
 .katex .mtr-glue {
@@ -1298,16 +1114,14 @@ $katex-font-path: "../../assets/fonts/katex" !default;
 .katex .cd-label-left {
   display: inline-block;
   position: absolute;
-  right: -webkit-calc(50% + 0.3em);
-  right: calc(50% + 0.3em);
+  right: calc(50% + .3em);
   text-align: left;
 }
 
 .katex .cd-label-right {
   display: inline-block;
+  left: calc(50% + .3em);
   position: absolute;
-  left: -webkit-calc(50% + 0.3em);
-  left: calc(50% + 0.3em);
   text-align: right;
 }
 
@@ -1317,33 +1131,32 @@ $katex-font-path: "../../assets/fonts/katex" !default;
   text-align: center;
 }
 
-.katex-display > .katex {
+.katex-display>.katex {
   display: block;
   text-align: center;
   white-space: nowrap;
 }
 
-.katex-display > .katex > .katex-html {
+.katex-display>.katex>.katex-html {
   display: block;
   position: relative;
 }
 
-.katex-display > .katex > .katex-html > .tag {
+.katex-display>.katex>.katex-html>.tag {
   position: absolute;
   right: 0;
 }
 
-.katex-display.leqno > .katex > .katex-html > .tag {
+.katex-display.leqno>.katex>.katex-html>.tag {
   left: 0;
   right: auto;
 }
 
-.katex-display.fleqn > .katex {
-  text-align: left;
+.katex-display.fleqn>.katex {
   padding-left: 2em;
+  text-align: left;
 }
 
 body {
   counter-reset: katexEqnNo mmlEqnNo;
 }
-