type-on-strap 2.4.7 → 2.4.8

data/_sass/external/katex/katex.scss

@@ -0,0 +1,1414 @@
+$font-family_1: KaTeX_Main;
+$font-family_2: KaTeX_SansSerif;
+$font-family_3: KaTeX_Typewriter;
+$font-family_4: KaTeX_Math;
+$font-family_5: KaTeX_AMS;
+$font-family_6: KaTeX_Caligraphic;
+$font-family_7: KaTeX_Fraktur;
+$font-family_8: KaTeX_Script;
+$font-family_9: KaTeX_Size1;
+$font-family_10: KaTeX_Size2;
+$font-family_11: KaTeX_Size3;
+$font-family_12: KaTeX_Size4;
+$border-color_1: currentColor;
+
+@font-face {
+  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;
+  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;
+  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;
+  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;
+  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;
+  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;
+  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;
+  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;
+  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;
+  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;
+  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";
+  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";
+  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";
+  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;
+  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;
+  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;
+  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;
+  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;
+  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;
+  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 {
+  text-rendering: auto;
+  font: normal 1.21em KaTeX_Main,Times New Roman,serif;
+  line-height: 1.2;
+  text-indent: 0;
+  * {
+    -ms-high-contrast-adjust: none !important;
+    border-color: $border-color_1;
+  }
+  .katex-version {
+    &:after {
+      content: "0.16.9";
+    }
+  }
+  .katex-mathml {
+    clip: rect(1px,1px,1px,1px);
+    border: 0;
+    height: 1px;
+    overflow: hidden;
+    padding: 0;
+    position: absolute;
+    width: 1px;
+  }
+  .katex-html {
+    >.newline {
+      display: block;
+    }
+  }
+  .base {
+    position: relative;
+    white-space: nowrap;
+    width: -webkit-min-content;
+    width: -moz-min-content;
+    width: min-content;
+    display: inline-block;
+  }
+  .strut {
+    display: inline-block;
+  }
+  .textbf {
+    font-weight: 700;
+  }
+  .textit {
+    font-style: italic;
+  }
+  .textrm {
+    font-family: $font-family_1;
+  }
+  .textsf {
+    font-family: $font-family_2;
+  }
+  .texttt {
+    font-family: $font-family_3;
+  }
+  .mathnormal {
+    font-family: $font-family_4;
+    font-style: italic;
+  }
+  .mathit {
+    font-family: $font-family_1;
+    font-style: italic;
+  }
+  .mathrm {
+    font-style: normal;
+  }
+  .mathbf {
+    font-family: $font-family_1;
+    font-weight: 700;
+  }
+  .boldsymbol {
+    font-family: $font-family_4;
+    font-style: italic;
+    font-weight: 700;
+  }
+  .amsrm {
+    font-family: $font-family_5;
+  }
+  .mathbb {
+    font-family: $font-family_5;
+  }
+  .textbb {
+    font-family: $font-family_5;
+  }
+  .mathcal {
+    font-family: $font-family_6;
+  }
+  .mathfrak {
+    font-family: $font-family_7;
+  }
+  .textfrak {
+    font-family: $font-family_7;
+  }
+  .mathboldfrak {
+    font-family: $font-family_7;
+    font-weight: 700;
+  }
+  .textboldfrak {
+    font-family: $font-family_7;
+    font-weight: 700;
+  }
+  .mathtt {
+    font-family: $font-family_3;
+  }
+  .mathscr {
+    font-family: $font-family_8;
+  }
+  .textscr {
+    font-family: $font-family_8;
+  }
+  .mathsf {
+    font-family: $font-family_2;
+  }
+  .mathboldsf {
+    font-family: $font-family_2;
+    font-weight: 700;
+  }
+  .textboldsf {
+    font-family: $font-family_2;
+    font-weight: 700;
+  }
+  .mathitsf {
+    font-family: $font-family_2;
+    font-style: italic;
+  }
+  .textitsf {
+    font-family: $font-family_2;
+    font-style: italic;
+  }
+  .mainrm {
+    font-family: $font-family_1;
+    font-style: normal;
+  }
+  .vlist-t {
+    border-collapse: collapse;
+    display: inline-table;
+    table-layout: fixed;
+  }
+  .vlist-r {
+    display: table-row;
+  }
+  .vlist {
+    display: table-cell;
+    position: relative;
+    vertical-align: bottom;
+    >span {
+      display: block;
+      height: 0;
+      position: relative;
+      >span {
+        display: inline-block;
+      }
+      >.pstrut {
+        overflow: hidden;
+        width: 0;
+      }
+    }
+  }
+  .vlist-t2 {
+    margin-right: -2px;
+  }
+  .vlist-s {
+    display: table-cell;
+    font-size: 1px;
+    min-width: 2px;
+    vertical-align: bottom;
+    width: 2px;
+  }
+  .vbox {
+    align-items: baseline;
+    display: inline-flex;
+    flex-direction: column;
+  }
+  .hbox {
+    width: 100%;
+    display: inline-flex;
+    flex-direction: row;
+  }
+  .thinbox {
+    display: inline-flex;
+    flex-direction: row;
+    max-width: 0;
+    width: 0;
+  }
+  .msupsub {
+    text-align: left;
+  }
+  .mfrac {
+    >span {
+      >span {
+        text-align: center;
+      }
+    }
+    .frac-line {
+      border-bottom-style: solid;
+      display: inline-block;
+      width: 100%;
+      min-height: 1px;
+    }
+  }
+  .hdashline {
+    min-height: 1px;
+    border-bottom-style: dashed;
+    display: inline-block;
+    width: 100%;
+  }
+  .hline {
+    min-height: 1px;
+    border-bottom-style: solid;
+    display: inline-block;
+    width: 100%;
+  }
+  .overline {
+    .overline-line {
+      min-height: 1px;
+      border-bottom-style: solid;
+      display: inline-block;
+      width: 100%;
+    }
+  }
+  .rule {
+    min-height: 1px;
+    border: 0 solid;
+    display: inline-block;
+    position: relative;
+  }
+  .underline {
+    .underline-line {
+      min-height: 1px;
+      border-bottom-style: solid;
+      display: inline-block;
+      width: 100%;
+    }
+  }
+  .mspace {
+    display: inline-block;
+  }
+  .clap {
+    position: relative;
+    width: 0;
+    >.inner {
+      position: absolute;
+      left: 0;
+      >span {
+        margin-left: -50%;
+        margin-right: 50%;
+      }
+    }
+    >.fix {
+      display: inline-block;
+    }
+  }
+  .llap {
+    position: relative;
+    width: 0;
+    >.inner {
+      position: absolute;
+      right: 0;
+    }
+    >.fix {
+      display: inline-block;
+    }
+  }
+  .rlap {
+    position: relative;
+    width: 0;
+    >.inner {
+      position: absolute;
+      left: 0;
+    }
+    >.fix {
+      display: inline-block;
+    }
+  }
+  .sqrt {
+    >.root {
+      margin-left: .27777778em;
+      margin-right: -.55555556em;
+    }
+  }
+  .fontsize-ensurer.reset-size1.size1 {
+    font-size: 1em;
+  }
+  .sizing.reset-size1.size1 {
+    font-size: 1em;
+  }
+  .fontsize-ensurer.reset-size1.size2 {
+    font-size: 1.2em;
+  }
+  .sizing.reset-size1.size2 {
+    font-size: 1.2em;
+  }
+  .fontsize-ensurer.reset-size1.size3 {
+    font-size: 1.4em;
+  }
+  .sizing.reset-size1.size3 {
+    font-size: 1.4em;
+  }
+  .fontsize-ensurer.reset-size1.size4 {
+    font-size: 1.6em;
+  }
+  .sizing.reset-size1.size4 {
+    font-size: 1.6em;
+  }
+  .fontsize-ensurer.reset-size1.size5 {
+    font-size: 1.8em;
+  }
+  .sizing.reset-size1.size5 {
+    font-size: 1.8em;
+  }
+  .fontsize-ensurer.reset-size1.size6 {
+    font-size: 2em;
+  }
+  .sizing.reset-size1.size6 {
+    font-size: 2em;
+  }
+  .fontsize-ensurer.reset-size1.size7 {
+    font-size: 2.4em;
+  }
+  .sizing.reset-size1.size7 {
+    font-size: 2.4em;
+  }
+  .fontsize-ensurer.reset-size1.size8 {
+    font-size: 2.88em;
+  }
+  .sizing.reset-size1.size8 {
+    font-size: 2.88em;
+  }
+  .fontsize-ensurer.reset-size1.size9 {
+    font-size: 3.456em;
+  }
+  .sizing.reset-size1.size9 {
+    font-size: 3.456em;
+  }
+  .fontsize-ensurer.reset-size1.size10 {
+    font-size: 4.148em;
+  }
+  .sizing.reset-size1.size10 {
+    font-size: 4.148em;
+  }
+  .fontsize-ensurer.reset-size1.size11 {
+    font-size: 4.976em;
+  }
+  .sizing.reset-size1.size11 {
+    font-size: 4.976em;
+  }
+  .fontsize-ensurer.reset-size2.size1 {
+    font-size: .83333333em;
+  }
+  .sizing.reset-size2.size1 {
+    font-size: .83333333em;
+  }
+  .fontsize-ensurer.reset-size2.size2 {
+    font-size: 1em;
+  }
+  .sizing.reset-size2.size2 {
+    font-size: 1em;
+  }
+  .fontsize-ensurer.reset-size2.size3 {
+    font-size: 1.16666667em;
+  }
+  .sizing.reset-size2.size3 {
+    font-size: 1.16666667em;
+  }
+  .fontsize-ensurer.reset-size2.size4 {
+    font-size: 1.33333333em;
+  }
+  .sizing.reset-size2.size4 {
+    font-size: 1.33333333em;
+  }
+  .fontsize-ensurer.reset-size2.size5 {
+    font-size: 1.5em;
+  }
+  .sizing.reset-size2.size5 {
+    font-size: 1.5em;
+  }
+  .fontsize-ensurer.reset-size2.size6 {
+    font-size: 1.66666667em;
+  }
+  .sizing.reset-size2.size6 {
+    font-size: 1.66666667em;
+  }
+  .fontsize-ensurer.reset-size2.size7 {
+    font-size: 2em;
+  }
+  .sizing.reset-size2.size7 {
+    font-size: 2em;
+  }
+  .fontsize-ensurer.reset-size2.size8 {
+    font-size: 2.4em;
+  }
+  .sizing.reset-size2.size8 {
+    font-size: 2.4em;
+  }
+  .fontsize-ensurer.reset-size2.size9 {
+    font-size: 2.88em;
+  }
+  .sizing.reset-size2.size9 {
+    font-size: 2.88em;
+  }
+  .fontsize-ensurer.reset-size2.size10 {
+    font-size: 3.45666667em;
+  }
+  .sizing.reset-size2.size10 {
+    font-size: 3.45666667em;
+  }
+  .fontsize-ensurer.reset-size2.size11 {
+    font-size: 4.14666667em;
+  }
+  .sizing.reset-size2.size11 {
+    font-size: 4.14666667em;
+  }
+  .fontsize-ensurer.reset-size3.size1 {
+    font-size: .71428571em;
+  }
+  .sizing.reset-size3.size1 {
+    font-size: .71428571em;
+  }
+  .fontsize-ensurer.reset-size3.size2 {
+    font-size: .85714286em;
+  }
+  .sizing.reset-size3.size2 {
+    font-size: .85714286em;
+  }
+  .fontsize-ensurer.reset-size3.size3 {
+    font-size: 1em;
+  }
+  .sizing.reset-size3.size3 {
+    font-size: 1em;
+  }
+  .fontsize-ensurer.reset-size3.size4 {
+    font-size: 1.14285714em;
+  }
+  .sizing.reset-size3.size4 {
+    font-size: 1.14285714em;
+  }
+  .fontsize-ensurer.reset-size3.size5 {
+    font-size: 1.28571429em;
+  }
+  .sizing.reset-size3.size5 {
+    font-size: 1.28571429em;
+  }
+  .fontsize-ensurer.reset-size3.size6 {
+    font-size: 1.42857143em;
+  }
+  .sizing.reset-size3.size6 {
+    font-size: 1.42857143em;
+  }
+  .fontsize-ensurer.reset-size3.size7 {
+    font-size: 1.71428571em;
+  }
+  .sizing.reset-size3.size7 {
+    font-size: 1.71428571em;
+  }
+  .fontsize-ensurer.reset-size3.size8 {
+    font-size: 2.05714286em;
+  }
+  .sizing.reset-size3.size8 {
+    font-size: 2.05714286em;
+  }
+  .fontsize-ensurer.reset-size3.size9 {
+    font-size: 2.46857143em;
+  }
+  .sizing.reset-size3.size9 {
+    font-size: 2.46857143em;
+  }
+  .fontsize-ensurer.reset-size3.size10 {
+    font-size: 2.96285714em;
+  }
+  .sizing.reset-size3.size10 {
+    font-size: 2.96285714em;
+  }
+  .fontsize-ensurer.reset-size3.size11 {
+    font-size: 3.55428571em;
+  }
+  .sizing.reset-size3.size11 {
+    font-size: 3.55428571em;
+  }
+  .fontsize-ensurer.reset-size4.size1 {
+    font-size: .625em;
+  }
+  .sizing.reset-size4.size1 {
+    font-size: .625em;
+  }
+  .fontsize-ensurer.reset-size4.size2 {
+    font-size: .75em;
+  }
+  .sizing.reset-size4.size2 {
+    font-size: .75em;
+  }
+  .fontsize-ensurer.reset-size4.size3 {
+    font-size: .875em;
+  }
+  .sizing.reset-size4.size3 {
+    font-size: .875em;
+  }
+  .fontsize-ensurer.reset-size4.size4 {
+    font-size: 1em;
+  }
+  .sizing.reset-size4.size4 {
+    font-size: 1em;
+  }
+  .fontsize-ensurer.reset-size4.size5 {
+    font-size: 1.125em;
+  }
+  .sizing.reset-size4.size5 {
+    font-size: 1.125em;
+  }
+  .fontsize-ensurer.reset-size4.size6 {
+    font-size: 1.25em;
+  }
+  .sizing.reset-size4.size6 {
+    font-size: 1.25em;
+  }
+  .fontsize-ensurer.reset-size4.size7 {
+    font-size: 1.5em;
+  }
+  .sizing.reset-size4.size7 {
+    font-size: 1.5em;
+  }
+  .fontsize-ensurer.reset-size4.size8 {
+    font-size: 1.8em;
+  }
+  .sizing.reset-size4.size8 {
+    font-size: 1.8em;
+  }
+  .fontsize-ensurer.reset-size4.size9 {
+    font-size: 2.16em;
+  }
+  .sizing.reset-size4.size9 {
+    font-size: 2.16em;
+  }
+  .fontsize-ensurer.reset-size4.size10 {
+    font-size: 2.5925em;
+  }
+  .sizing.reset-size4.size10 {
+    font-size: 2.5925em;
+  }
+  .fontsize-ensurer.reset-size4.size11 {
+    font-size: 3.11em;
+  }
+  .sizing.reset-size4.size11 {
+    font-size: 3.11em;
+  }
+  .fontsize-ensurer.reset-size5.size1 {
+    font-size: .55555556em;
+  }
+  .sizing.reset-size5.size1 {
+    font-size: .55555556em;
+  }
+  .fontsize-ensurer.reset-size5.size2 {
+    font-size: .66666667em;
+  }
+  .sizing.reset-size5.size2 {
+    font-size: .66666667em;
+  }
+  .fontsize-ensurer.reset-size5.size3 {
+    font-size: .77777778em;
+  }
+  .sizing.reset-size5.size3 {
+    font-size: .77777778em;
+  }
+  .fontsize-ensurer.reset-size5.size4 {
+    font-size: .88888889em;
+  }
+  .sizing.reset-size5.size4 {
+    font-size: .88888889em;
+  }
+  .fontsize-ensurer.reset-size5.size5 {
+    font-size: 1em;
+  }
+  .sizing.reset-size5.size5 {
+    font-size: 1em;
+  }
+  .fontsize-ensurer.reset-size5.size6 {
+    font-size: 1.11111111em;
+  }
+  .sizing.reset-size5.size6 {
+    font-size: 1.11111111em;
+  }
+  .fontsize-ensurer.reset-size5.size7 {
+    font-size: 1.33333333em;
+  }
+  .sizing.reset-size5.size7 {
+    font-size: 1.33333333em;
+  }
+  .fontsize-ensurer.reset-size5.size8 {
+    font-size: 1.6em;
+  }
+  .sizing.reset-size5.size8 {
+    font-size: 1.6em;
+  }
+  .fontsize-ensurer.reset-size5.size9 {
+    font-size: 1.92em;
+  }
+  .sizing.reset-size5.size9 {
+    font-size: 1.92em;
+  }
+  .fontsize-ensurer.reset-size5.size10 {
+    font-size: 2.30444444em;
+  }
+  .sizing.reset-size5.size10 {
+    font-size: 2.30444444em;
+  }
+  .fontsize-ensurer.reset-size5.size11 {
+    font-size: 2.76444444em;
+  }
+  .sizing.reset-size5.size11 {
+    font-size: 2.76444444em;
+  }
+  .fontsize-ensurer.reset-size6.size1 {
+    font-size: .5em;
+  }
+  .sizing.reset-size6.size1 {
+    font-size: .5em;
+  }
+  .fontsize-ensurer.reset-size6.size2 {
+    font-size: .6em;
+  }
+  .sizing.reset-size6.size2 {
+    font-size: .6em;
+  }
+  .fontsize-ensurer.reset-size6.size3 {
+    font-size: .7em;
+  }
+  .sizing.reset-size6.size3 {
+    font-size: .7em;
+  }
+  .fontsize-ensurer.reset-size6.size4 {
+    font-size: .8em;
+  }
+  .sizing.reset-size6.size4 {
+    font-size: .8em;
+  }
+  .fontsize-ensurer.reset-size6.size5 {
+    font-size: .9em;
+  }
+  .sizing.reset-size6.size5 {
+    font-size: .9em;
+  }
+  .fontsize-ensurer.reset-size6.size6 {
+    font-size: 1em;
+  }
+  .sizing.reset-size6.size6 {
+    font-size: 1em;
+  }
+  .fontsize-ensurer.reset-size6.size7 {
+    font-size: 1.2em;
+  }
+  .sizing.reset-size6.size7 {
+    font-size: 1.2em;
+  }
+  .fontsize-ensurer.reset-size6.size8 {
+    font-size: 1.44em;
+  }
+  .sizing.reset-size6.size8 {
+    font-size: 1.44em;
+  }
+  .fontsize-ensurer.reset-size6.size9 {
+    font-size: 1.728em;
+  }
+  .sizing.reset-size6.size9 {
+    font-size: 1.728em;
+  }
+  .fontsize-ensurer.reset-size6.size10 {
+    font-size: 2.074em;
+  }
+  .sizing.reset-size6.size10 {
+    font-size: 2.074em;
+  }
+  .fontsize-ensurer.reset-size6.size11 {
+    font-size: 2.488em;
+  }
+  .sizing.reset-size6.size11 {
+    font-size: 2.488em;
+  }
+  .fontsize-ensurer.reset-size7.size1 {
+    font-size: .41666667em;
+  }
+  .sizing.reset-size7.size1 {
+    font-size: .41666667em;
+  }
+  .fontsize-ensurer.reset-size7.size2 {
+    font-size: .5em;
+  }
+  .sizing.reset-size7.size2 {
+    font-size: .5em;
+  }
+  .fontsize-ensurer.reset-size7.size3 {
+    font-size: .58333333em;
+  }
+  .sizing.reset-size7.size3 {
+    font-size: .58333333em;
+  }
+  .fontsize-ensurer.reset-size7.size4 {
+    font-size: .66666667em;
+  }
+  .sizing.reset-size7.size4 {
+    font-size: .66666667em;
+  }
+  .fontsize-ensurer.reset-size7.size5 {
+    font-size: .75em;
+  }
+  .sizing.reset-size7.size5 {
+    font-size: .75em;
+  }
+  .fontsize-ensurer.reset-size7.size6 {
+    font-size: .83333333em;
+  }
+  .sizing.reset-size7.size6 {
+    font-size: .83333333em;
+  }
+  .fontsize-ensurer.reset-size7.size7 {
+    font-size: 1em;
+  }
+  .sizing.reset-size7.size7 {
+    font-size: 1em;
+  }
+  .fontsize-ensurer.reset-size7.size8 {
+    font-size: 1.2em;
+  }
+  .sizing.reset-size7.size8 {
+    font-size: 1.2em;
+  }
+  .fontsize-ensurer.reset-size7.size9 {
+    font-size: 1.44em;
+  }
+  .sizing.reset-size7.size9 {
+    font-size: 1.44em;
+  }
+  .fontsize-ensurer.reset-size7.size10 {
+    font-size: 1.72833333em;
+  }
+  .sizing.reset-size7.size10 {
+    font-size: 1.72833333em;
+  }
+  .fontsize-ensurer.reset-size7.size11 {
+    font-size: 2.07333333em;
+  }
+  .sizing.reset-size7.size11 {
+    font-size: 2.07333333em;
+  }
+  .fontsize-ensurer.reset-size8.size1 {
+    font-size: .34722222em;
+  }
+  .sizing.reset-size8.size1 {
+    font-size: .34722222em;
+  }
+  .fontsize-ensurer.reset-size8.size2 {
+    font-size: .41666667em;
+  }
+  .sizing.reset-size8.size2 {
+    font-size: .41666667em;
+  }
+  .fontsize-ensurer.reset-size8.size3 {
+    font-size: .48611111em;
+  }
+  .sizing.reset-size8.size3 {
+    font-size: .48611111em;
+  }
+  .fontsize-ensurer.reset-size8.size4 {
+    font-size: .55555556em;
+  }
+  .sizing.reset-size8.size4 {
+    font-size: .55555556em;
+  }
+  .fontsize-ensurer.reset-size8.size5 {
+    font-size: .625em;
+  }
+  .sizing.reset-size8.size5 {
+    font-size: .625em;
+  }
+  .fontsize-ensurer.reset-size8.size6 {
+    font-size: .69444444em;
+  }
+  .sizing.reset-size8.size6 {
+    font-size: .69444444em;
+  }
+  .fontsize-ensurer.reset-size8.size7 {
+    font-size: .83333333em;
+  }
+  .sizing.reset-size8.size7 {
+    font-size: .83333333em;
+  }
+  .fontsize-ensurer.reset-size8.size8 {
+    font-size: 1em;
+  }
+  .sizing.reset-size8.size8 {
+    font-size: 1em;
+  }
+  .fontsize-ensurer.reset-size8.size9 {
+    font-size: 1.2em;
+  }
+  .sizing.reset-size8.size9 {
+    font-size: 1.2em;
+  }
+  .fontsize-ensurer.reset-size8.size10 {
+    font-size: 1.44027778em;
+  }
+  .sizing.reset-size8.size10 {
+    font-size: 1.44027778em;
+  }
+  .fontsize-ensurer.reset-size8.size11 {
+    font-size: 1.72777778em;
+  }
+  .sizing.reset-size8.size11 {
+    font-size: 1.72777778em;
+  }
+  .fontsize-ensurer.reset-size9.size1 {
+    font-size: .28935185em;
+  }
+  .sizing.reset-size9.size1 {
+    font-size: .28935185em;
+  }
+  .fontsize-ensurer.reset-size9.size2 {
+    font-size: .34722222em;
+  }
+  .sizing.reset-size9.size2 {
+    font-size: .34722222em;
+  }
+  .fontsize-ensurer.reset-size9.size3 {
+    font-size: .40509259em;
+  }
+  .sizing.reset-size9.size3 {
+    font-size: .40509259em;
+  }
+  .fontsize-ensurer.reset-size9.size4 {
+    font-size: .46296296em;
+  }
+  .sizing.reset-size9.size4 {
+    font-size: .46296296em;
+  }
+  .fontsize-ensurer.reset-size9.size5 {
+    font-size: .52083333em;
+  }
+  .sizing.reset-size9.size5 {
+    font-size: .52083333em;
+  }
+  .fontsize-ensurer.reset-size9.size6 {
+    font-size: .5787037em;
+  }
+  .sizing.reset-size9.size6 {
+    font-size: .5787037em;
+  }
+  .fontsize-ensurer.reset-size9.size7 {
+    font-size: .69444444em;
+  }
+  .sizing.reset-size9.size7 {
+    font-size: .69444444em;
+  }
+  .fontsize-ensurer.reset-size9.size8 {
+    font-size: .83333333em;
+  }
+  .sizing.reset-size9.size8 {
+    font-size: .83333333em;
+  }
+  .fontsize-ensurer.reset-size9.size9 {
+    font-size: 1em;
+  }
+  .sizing.reset-size9.size9 {
+    font-size: 1em;
+  }
+  .fontsize-ensurer.reset-size9.size10 {
+    font-size: 1.20023148em;
+  }
+  .sizing.reset-size9.size10 {
+    font-size: 1.20023148em;
+  }
+  .fontsize-ensurer.reset-size9.size11 {
+    font-size: 1.43981481em;
+  }
+  .sizing.reset-size9.size11 {
+    font-size: 1.43981481em;
+  }
+  .fontsize-ensurer.reset-size10.size1 {
+    font-size: .24108004em;
+  }
+  .sizing.reset-size10.size1 {
+    font-size: .24108004em;
+  }
+  .fontsize-ensurer.reset-size10.size2 {
+    font-size: .28929605em;
+  }
+  .sizing.reset-size10.size2 {
+    font-size: .28929605em;
+  }
+  .fontsize-ensurer.reset-size10.size3 {
+    font-size: .33751205em;
+  }
+  .sizing.reset-size10.size3 {
+    font-size: .33751205em;
+  }
+  .fontsize-ensurer.reset-size10.size4 {
+    font-size: .38572806em;
+  }
+  .sizing.reset-size10.size4 {
+    font-size: .38572806em;
+  }
+  .fontsize-ensurer.reset-size10.size5 {
+    font-size: .43394407em;
+  }
+  .sizing.reset-size10.size5 {
+    font-size: .43394407em;
+  }
+  .fontsize-ensurer.reset-size10.size6 {
+    font-size: .48216008em;
+  }
+  .sizing.reset-size10.size6 {
+    font-size: .48216008em;
+  }
+  .fontsize-ensurer.reset-size10.size7 {
+    font-size: .57859209em;
+  }
+  .sizing.reset-size10.size7 {
+    font-size: .57859209em;
+  }
+  .fontsize-ensurer.reset-size10.size8 {
+    font-size: .69431051em;
+  }
+  .sizing.reset-size10.size8 {
+    font-size: .69431051em;
+  }
+  .fontsize-ensurer.reset-size10.size9 {
+    font-size: .83317261em;
+  }
+  .sizing.reset-size10.size9 {
+    font-size: .83317261em;
+  }
+  .fontsize-ensurer.reset-size10.size10 {
+    font-size: 1em;
+  }
+  .sizing.reset-size10.size10 {
+    font-size: 1em;
+  }
+  .fontsize-ensurer.reset-size10.size11 {
+    font-size: 1.19961427em;
+  }
+  .sizing.reset-size10.size11 {
+    font-size: 1.19961427em;
+  }
+  .fontsize-ensurer.reset-size11.size1 {
+    font-size: .20096463em;
+  }
+  .sizing.reset-size11.size1 {
+    font-size: .20096463em;
+  }
+  .fontsize-ensurer.reset-size11.size2 {
+    font-size: .24115756em;
+  }
+  .sizing.reset-size11.size2 {
+    font-size: .24115756em;
+  }
+  .fontsize-ensurer.reset-size11.size3 {
+    font-size: .28135048em;
+  }
+  .sizing.reset-size11.size3 {
+    font-size: .28135048em;
+  }
+  .fontsize-ensurer.reset-size11.size4 {
+    font-size: .32154341em;
+  }
+  .sizing.reset-size11.size4 {
+    font-size: .32154341em;
+  }
+  .fontsize-ensurer.reset-size11.size5 {
+    font-size: .36173633em;
+  }
+  .sizing.reset-size11.size5 {
+    font-size: .36173633em;
+  }
+  .fontsize-ensurer.reset-size11.size6 {
+    font-size: .40192926em;
+  }
+  .sizing.reset-size11.size6 {
+    font-size: .40192926em;
+  }
+  .fontsize-ensurer.reset-size11.size7 {
+    font-size: .48231511em;
+  }
+  .sizing.reset-size11.size7 {
+    font-size: .48231511em;
+  }
+  .fontsize-ensurer.reset-size11.size8 {
+    font-size: .57877814em;
+  }
+  .sizing.reset-size11.size8 {
+    font-size: .57877814em;
+  }
+  .fontsize-ensurer.reset-size11.size9 {
+    font-size: .69453376em;
+  }
+  .sizing.reset-size11.size9 {
+    font-size: .69453376em;
+  }
+  .fontsize-ensurer.reset-size11.size10 {
+    font-size: .83360129em;
+  }
+  .sizing.reset-size11.size10 {
+    font-size: .83360129em;
+  }
+  .fontsize-ensurer.reset-size11.size11 {
+    font-size: 1em;
+  }
+  .sizing.reset-size11.size11 {
+    font-size: 1em;
+  }
+  .delimsizing.size1 {
+    font-family: $font-family_9;
+  }
+  .delimsizing.size2 {
+    font-family: $font-family_10;
+  }
+  .delimsizing.size3 {
+    font-family: $font-family_11;
+  }
+  .delimsizing.size4 {
+    font-family: $font-family_12;
+  }
+  .delimsizing.mult {
+    .delim-size1 {
+      >span {
+        font-family: $font-family_9;
+      }
+    }
+    .delim-size4 {
+      >span {
+        font-family: $font-family_12;
+      }
+    }
+  }
+  .nulldelimiter {
+    display: inline-block;
+    width: .12em;
+  }
+  .delimcenter {
+    position: relative;
+  }
+  .op-symbol {
+    position: relative;
+  }
+  .op-symbol.small-op {
+    font-family: $font-family_9;
+  }
+  .op-symbol.large-op {
+    font-family: $font-family_10;
+  }
+  .accent {
+    >.vlist-t {
+      text-align: center;
+    }
+    .accent-body {
+      position: relative;
+      &:not(.accent-full) {
+        width: 0;
+      }
+    }
+  }
+  .op-limits {
+    >.vlist-t {
+      text-align: center;
+    }
+  }
+  .overlay {
+    display: block;
+  }
+  .mtable {
+    .vertical-separator {
+      display: inline-block;
+      min-width: 1px;
+    }
+    .arraycolsep {
+      display: inline-block;
+    }
+    .col-align-c {
+      >.vlist-t {
+        text-align: center;
+      }
+    }
+    .col-align-l {
+      >.vlist-t {
+        text-align: left;
+      }
+    }
+    .col-align-r {
+      >.vlist-t {
+        text-align: right;
+      }
+    }
+  }
+  .svg-align {
+    text-align: left;
+  }
+  svg {
+    fill: currentColor;
+    stroke: currentColor;
+    fill-rule: nonzero;
+    fill-opacity: 1;
+    stroke-width: 1;
+    stroke-linecap: butt;
+    stroke-linejoin: miter;
+    stroke-miterlimit: 4;
+    stroke-dasharray: none;
+    stroke-dashoffset: 0;
+    stroke-opacity: 1;
+    display: block;
+    height: inherit;
+    position: absolute;
+    width: 100%;
+    path {
+      stroke: none;
+    }
+  }
+  img {
+    border-style: none;
+    max-height: none;
+    max-width: none;
+    min-height: 0;
+    min-width: 0;
+  }
+  .stretchy {
+    display: block;
+    overflow: hidden;
+    position: relative;
+    width: 100%;
+    &:after {
+      content: "";
+    }
+    &:before {
+      content: "";
+    }
+  }
+  .hide-tail {
+    overflow: hidden;
+    position: relative;
+    width: 100%;
+  }
+  .halfarrow-left {
+    left: 0;
+    overflow: hidden;
+    position: absolute;
+    width: 50.2%;
+  }
+  .halfarrow-right {
+    overflow: hidden;
+    position: absolute;
+    right: 0;
+    width: 50.2%;
+  }
+  .brace-left {
+    left: 0;
+    overflow: hidden;
+    position: absolute;
+    width: 25.1%;
+  }
+  .brace-center {
+    left: 25%;
+    overflow: hidden;
+    position: absolute;
+    width: 50%;
+  }
+  .brace-right {
+    overflow: hidden;
+    position: absolute;
+    right: 0;
+    width: 25.1%;
+  }
+  .x-arrow-pad {
+    padding: 0 .5em;
+  }
+  .cd-arrow-pad {
+    padding: 0 .55556em 0 .27778em;
+  }
+  .mover {
+    text-align: center;
+  }
+  .munder {
+    text-align: center;
+  }
+  .x-arrow {
+    text-align: center;
+  }
+  .boxpad {
+    padding: 0 .3em;
+  }
+  .fbox {
+    border: .04em solid;
+    box-sizing: border-box;
+  }
+  .fcolorbox {
+    border: .04em solid;
+    box-sizing: border-box;
+  }
+  .cancel-pad {
+    padding: 0 .2em;
+  }
+  .cancel-lap {
+    margin-left: -.2em;
+    margin-right: -.2em;
+  }
+  .sout {
+    border-bottom-style: solid;
+    border-bottom-width: .08em;
+  }
+  .angl {
+    border-right: .049em solid;
+    border-top: .049em solid;
+    box-sizing: border-box;
+    margin-right: .03889em;
+  }
+  .anglpad {
+    padding: 0 .03889em;
+  }
+  .eqn-num {
+    &:before {
+      content: "(" counter(katexEqnNo) ")";
+      counter-increment: katexEqnNo;
+    }
+  }
+  .mml-eqn-num {
+    &:before {
+      content: "(" counter(mmlEqnNo) ")";
+      counter-increment: mmlEqnNo;
+    }
+  }
+  .mtr-glue {
+    width: 50%;
+  }
+  .cd-vert-arrow {
+    display: inline-block;
+    position: relative;
+  }
+  .cd-label-left {
+    display: inline-block;
+    position: absolute;
+    right: calc(50% + .3em);
+    text-align: left;
+  }
+  .cd-label-right {
+    display: inline-block;
+    left: calc(50% + .3em);
+    position: absolute;
+    text-align: right;
+  }
+}
+.katex-display {
+  display: block;
+  margin: 1em 0;
+  text-align: center;
+  >.katex {
+    display: block;
+    text-align: center;
+    white-space: nowrap;
+    >.katex-html {
+      display: block;
+      position: relative;
+      >.tag {
+        position: absolute;
+        right: 0;
+      }
+    }
+  }
+}
+.katex-display.leqno {
+  >.katex {
+    >.katex-html {
+      >.tag {
+        left: 0;
+        right: auto;
+      }
+    }
+  }
+}
+.katex-display.fleqn {
+  >.katex {
+    padding-left: 2em;
+    text-align: left;
+  }
+}
+body {
+  counter-reset: katexEqnNo mmlEqnNo;
+}