@font-face {
  font-family: 'KaTeX_AMS';
  src: url('/static/fonts/KaTeX_AMS-Regular.eot');
  src: url('/static/fonts/KaTeX_AMS-Regular.eot#iefix') format('embedded-opentype'), url('/static/fonts/KaTeX_AMS-Regular.woff2') format('woff2'), url('/static/fonts/KaTeX_AMS-Regular.woff') format('woff'), url('/static/fonts/KaTeX_AMS-Regular.ttf') format('ttf');
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: 'KaTeX_Caligraphic';
  src: url('/static/fonts/KaTeX_Caligraphic-Bold.eot');
  src: url('/static/fonts/KaTeX_Caligraphic-Bold.eot#iefix') format('embedded-opentype'), url('/static/fonts/KaTeX_Caligraphic-Bold.woff2') format('woff2'), url('/static/fonts/KaTeX_Caligraphic-Bold.woff') format('woff'), url('/static/fonts/KaTeX_Caligraphic-Bold.ttf') format('ttf');
  font-weight: bold;
  font-style: normal;
}
@font-face {
  font-family: 'KaTeX_Caligraphic';
  src: url('/static/fonts/KaTeX_Caligraphic-Regular.eot');
  src: url('/static/fonts/KaTeX_Caligraphic-Regular.eot#iefix') format('embedded-opentype'), url('/static/fonts/KaTeX_Caligraphic-Regular.woff2') format('woff2'), url('/static/fonts/KaTeX_Caligraphic-Regular.woff') format('woff'), url('/static/fonts/KaTeX_Caligraphic-Regular.ttf') format('ttf');
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: 'KaTeX_Fraktur';
  src: url('/static/fonts/KaTeX_Fraktur-Bold.eot');
  src: url('/static/fonts/KaTeX_Fraktur-Bold.eot#iefix') format('embedded-opentype'), url('/static/fonts/KaTeX_Fraktur-Bold.woff2') format('woff2'), url('/static/fonts/KaTeX_Fraktur-Bold.woff') format('woff'), url('/static/fonts/KaTeX_Fraktur-Bold.ttf') format('ttf');
  font-weight: bold;
  font-style: normal;
}
@font-face {
  font-family: 'KaTeX_Fraktur';
  src: url('/static/fonts/KaTeX_Fraktur-Regular.eot');
  src: url('/static/fonts/KaTeX_Fraktur-Regular.eot#iefix') format('embedded-opentype'), url('/static/fonts/KaTeX_Fraktur-Regular.woff2') format('woff2'), url('/static/fonts/KaTeX_Fraktur-Regular.woff') format('woff'), url('/static/fonts/KaTeX_Fraktur-Regular.ttf') format('ttf');
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: 'KaTeX_Main';
  src: url('/static/fonts/KaTeX_Main-Bold.eot');
  src: url('/static/fonts/KaTeX_Main-Bold.eot#iefix') format('embedded-opentype'), url('/static/fonts/KaTeX_Main-Bold.woff2') format('woff2'), url('/static/fonts/KaTeX_Main-Bold.woff') format('woff'), url('/static/fonts/KaTeX_Main-Bold.ttf') format('ttf');
  font-weight: bold;
  font-style: normal;
}
@font-face {
  font-family: 'KaTeX_Main';
  src: url('/static/fonts/KaTeX_Main-Italic.eot');
  src: url('/static/fonts/KaTeX_Main-Italic.eot#iefix') format('embedded-opentype'), url('/static/fonts/KaTeX_Main-Italic.woff2') format('woff2'), url('/static/fonts/KaTeX_Main-Italic.woff') format('woff'), url('/static/fonts/KaTeX_Main-Italic.ttf') format('ttf');
  font-weight: normal;
  font-style: italic;
}
@font-face {
  font-family: 'KaTeX_Main';
  src: url('/static/fonts/KaTeX_Main-Regular.eot');
  src: url('/static/fonts/KaTeX_Main-Regular.eot#iefix') format('embedded-opentype'), url('/static/fonts/KaTeX_Main-Regular.woff2') format('woff2'), url('/static/fonts/KaTeX_Main-Regular.woff') format('woff'), url('/static/fonts/KaTeX_Main-Regular.ttf') format('ttf');
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: 'KaTeX_Math';
  src: url('/static/fonts/KaTeX_Math-BoldItalic.eot');
  src: url('/static/fonts/KaTeX_Math-BoldItalic.eot#iefix') format('embedded-opentype'), url('/static/fonts/KaTeX_Math-BoldItalic.woff2') format('woff2'), url('/static/fonts/KaTeX_Math-BoldItalic.woff') format('woff'), url('/static/fonts/KaTeX_Math-BoldItalic.ttf') format('ttf');
  font-weight: bold;
  font-style: italic;
}
@font-face {
  font-family: 'KaTeX_Math';
  src: url('/static/fonts/KaTeX_Math-Italic.eot');
  src: url('/static/fonts/KaTeX_Math-Italic.eot#iefix') format('embedded-opentype'), url('/static/fonts/KaTeX_Math-Italic.woff2') format('woff2'), url('/static/fonts/KaTeX_Math-Italic.woff') format('woff'), url('/static/fonts/KaTeX_Math-Italic.ttf') format('ttf');
  font-weight: normal;
  font-style: italic;
}
@font-face {
  font-family: 'KaTeX_Math';
  src: url('/static/fonts/KaTeX_Math-Regular.eot');
  src: url('/static/fonts/KaTeX_Math-Regular.eot#iefix') format('embedded-opentype'), url('/static/fonts/KaTeX_Math-Regular.woff2') format('woff2'), url('/static/fonts/KaTeX_Math-Regular.woff') format('woff'), url('/static/fonts/KaTeX_Math-Regular.ttf') format('ttf');
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: 'KaTeX_SansSerif';
  src: url('/static/fonts/KaTeX_SansSerif-Bold.eot');
  src: url('/static/fonts/KaTeX_SansSerif-Bold.eot#iefix') format('embedded-opentype'), url('/static/fonts/KaTeX_SansSerif-Bold.woff2') format('woff2'), url('/static/fonts/KaTeX_SansSerif-Bold.woff') format('woff'), url('/static/fonts/KaTeX_SansSerif-Bold.ttf') format('ttf');
  font-weight: bold;
  font-style: normal;
}
@font-face {
  font-family: 'KaTeX_SansSerif';
  src: url('/static/fonts/KaTeX_SansSerif-Italic.eot');
  src: url('/static/fonts/KaTeX_SansSerif-Italic.eot#iefix') format('embedded-opentype'), url('/static/fonts/KaTeX_SansSerif-Italic.woff2') format('woff2'), url('/static/fonts/KaTeX_SansSerif-Italic.woff') format('woff'), url('/static/fonts/KaTeX_SansSerif-Italic.ttf') format('ttf');
  font-weight: normal;
  font-style: italic;
}
@font-face {
  font-family: 'KaTeX_SansSerif';
  src: url('/static/fonts/KaTeX_SansSerif-Regular.eot');
  src: url('/static/fonts/KaTeX_SansSerif-Regular.eot#iefix') format('embedded-opentype'), url('/static/fonts/KaTeX_SansSerif-Regular.woff2') format('woff2'), url('/static/fonts/KaTeX_SansSerif-Regular.woff') format('woff'), url('/static/fonts/KaTeX_SansSerif-Regular.ttf') format('ttf');
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: 'KaTeX_Script';
  src: url('/static/fonts/KaTeX_Script-Regular.eot');
  src: url('/static/fonts/KaTeX_Script-Regular.eot#iefix') format('embedded-opentype'), url('/static/fonts/KaTeX_Script-Regular.woff2') format('woff2'), url('/static/fonts/KaTeX_Script-Regular.woff') format('woff'), url('/static/fonts/KaTeX_Script-Regular.ttf') format('ttf');
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: 'KaTeX_Size1';
  src: url('/static/fonts/KaTeX_Size1-Regular.eot');
  src: url('/static/fonts/KaTeX_Size1-Regular.eot#iefix') format('embedded-opentype'), url('/static/fonts/KaTeX_Size1-Regular.woff2') format('woff2'), url('/static/fonts/KaTeX_Size1-Regular.woff') format('woff'), url('/static/fonts/KaTeX_Size1-Regular.ttf') format('ttf');
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: 'KaTeX_Size2';
  src: url('/static/fonts/KaTeX_Size2-Regular.eot');
  src: url('/static/fonts/KaTeX_Size2-Regular.eot#iefix') format('embedded-opentype'), url('/static/fonts/KaTeX_Size2-Regular.woff2') format('woff2'), url('/static/fonts/KaTeX_Size2-Regular.woff') format('woff'), url('/static/fonts/KaTeX_Size2-Regular.ttf') format('ttf');
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: 'KaTeX_Size3';
  src: url('/static/fonts/KaTeX_Size3-Regular.eot');
  src: url('/static/fonts/KaTeX_Size3-Regular.eot#iefix') format('embedded-opentype'), url('/static/fonts/KaTeX_Size3-Regular.woff2') format('woff2'), url('/static/fonts/KaTeX_Size3-Regular.woff') format('woff'), url('/static/fonts/KaTeX_Size3-Regular.ttf') format('ttf');
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: 'KaTeX_Size4';
  src: url('/static/fonts/KaTeX_Size4-Regular.eot');
  src: url('/static/fonts/KaTeX_Size4-Regular.eot#iefix') format('embedded-opentype'), url('/static/fonts/KaTeX_Size4-Regular.woff2') format('woff2'), url('/static/fonts/KaTeX_Size4-Regular.woff') format('woff'), url('/static/fonts/KaTeX_Size4-Regular.ttf') format('ttf');
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: 'KaTeX_Typewriter';
  src: url('/static/fonts/KaTeX_Typewriter-Regular.eot');
  src: url('/static/fonts/KaTeX_Typewriter-Regular.eot#iefix') format('embedded-opentype'), url('/static/fonts/KaTeX_Typewriter-Regular.woff2') format('woff2'), url('/static/fonts/KaTeX_Typewriter-Regular.woff') format('woff'), url('/static/fonts/KaTeX_Typewriter-Regular.ttf') format('ttf');
  font-weight: normal;
  font-style: normal;
}
.katex-display {
  display: block;
  margin: 1em 0;
  text-align: center;
}
.katex-display > .katex {
  display: inline-block;
}
math.katex {
  font-size: 1.21em;
  line-height: 1.2;
}
.katex {
  font: normal 1.21em KaTeX_Main;
  line-height: 1.2;
  white-space: nowrap;
}
.katex .katex-html {
  display: inline-block;
}
.katex .katex-mathml {
  position: absolute !important;
  clip: rect(1px, 1px, 1px, 1px);
  padding: 0 !important;
  border: 0 !important;
  height: 1px !important;
  width: 1px !important;
  overflow: hidden;
}
.katex .base {
  display: inline-block;
}
.katex .strut {
  display: inline-block;
}
.katex .mathit {
  font-family: KaTeX_Math;
  font-style: italic;
}
.katex .amsrm {
  font-family: KaTeX_AMS;
}
.katex .textstyle > .mord + .mop {
  margin-left: 0.16667em;
}
.katex .textstyle > .mord + .mbin {
  margin-left: 0.22222em;
}
.katex .textstyle > .mord + .mrel {
  margin-left: 0.27778em;
}
.katex .textstyle > .mord + .minner {
  margin-left: 0.16667em;
}
.katex .textstyle > .mop + .mord {
  margin-left: 0.16667em;
}
.katex .textstyle > .mop + .mop {
  margin-left: 0.16667em;
}
.katex .textstyle > .mop + .mrel {
  margin-left: 0.27778em;
}
.katex .textstyle > .mop + .minner {
  margin-left: 0.16667em;
}
.katex .textstyle > .mbin + .mord {
  margin-left: 0.22222em;
}
.katex .textstyle > .mbin + .mop {
  margin-left: 0.22222em;
}
.katex .textstyle > .mbin + .mopen {
  margin-left: 0.22222em;
}
.katex .textstyle > .mbin + .minner {
  margin-left: 0.22222em;
}
.katex .textstyle > .mrel + .mord {
  margin-left: 0.27778em;
}
.katex .textstyle > .mrel + .mop {
  margin-left: 0.27778em;
}
.katex .textstyle > .mrel + .mopen {
  margin-left: 0.27778em;
}
.katex .textstyle > .mrel + .minner {
  margin-left: 0.27778em;
}
.katex .textstyle > .mclose + .mop {
  margin-left: 0.16667em;
}
.katex .textstyle > .mclose + .mbin {
  margin-left: 0.22222em;
}
.katex .textstyle > .mclose + .mrel {
  margin-left: 0.27778em;
}
.katex .textstyle > .mclose + .minner {
  margin-left: 0.16667em;
}
.katex .textstyle > .mpunct + .mord {
  margin-left: 0.16667em;
}
.katex .textstyle > .mpunct + .mop {
  margin-left: 0.16667em;
}
.katex .textstyle > .mpunct + .mrel {
  margin-left: 0.16667em;
}
.katex .textstyle > .mpunct + .mopen {
  margin-left: 0.16667em;
}
.katex .textstyle > .mpunct + .mclose {
  margin-left: 0.16667em;
}
.katex .textstyle > .mpunct + .mpunct {
  margin-left: 0.16667em;
}
.katex .textstyle > .mpunct + .minner {
  margin-left: 0.16667em;
}
.katex .textstyle > .minner + .mord {
  margin-left: 0.16667em;
}
.katex .textstyle > .minner + .mop {
  margin-left: 0.16667em;
}
.katex .textstyle > .minner + .mbin {
  margin-left: 0.22222em;
}
.katex .textstyle > .minner + .mrel {
  margin-left: 0.27778em;
}
.katex .textstyle > .minner + .mopen {
  margin-left: 0.16667em;
}
.katex .textstyle > .minner + .mpunct {
  margin-left: 0.16667em;
}
.katex .textstyle > .minner + .minner {
  margin-left: 0.16667em;
}
.katex .mord + .mop {
  margin-left: 0.16667em;
}
.katex .mop + .mord {
  margin-left: 0.16667em;
}
.katex .mop + .mop {
  margin-left: 0.16667em;
}
.katex .mclose + .mop {
  margin-left: 0.16667em;
}
.katex .minner + .mop {
  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 .style-wrap {
  position: relative;
}
.katex .vlist {
  display: inline-block;
}
.katex .vlist > span {
  display: block;
  height: 0;
  position: relative;
}
.katex .vlist > span > span {
  display: inline-block;
}
.katex .vlist .baseline-fix {
  display: inline-table;
  table-layout: fixed;
}
.katex .msupsub {
  text-align: left;
}
.katex .mfrac > span > span {
  text-align: center;
}
.katex .mfrac .frac-line {
  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;
}
.katex .mspace.negativethinspace {
  margin-left: -0.16667em;
}
.katex .mspace.thinspace {
  width: 0.16667em;
}
.katex .mspace.mediumspace {
  width: 0.22222em;
}
.katex .mspace.thickspace {
  width: 0.27778em;
}
.katex .mspace.enspace {
  width: 0.5em;
}
.katex .mspace.quad {
  width: 1em;
}
.katex .mspace.qquad {
  width: 2em;
}
.katex .llap,
.katex .rlap {
  width: 0;
  position: relative;
}
.katex .llap > .inner,
.katex .rlap > .inner {
  position: absolute;
}
.katex .llap > .fix,
.katex .rlap > .fix {
  display: inline-block;
}
.katex .llap > .inner {
  right: 0;
}
.katex .rlap > .inner {
  left: 0;
}
.katex .katex-logo .a {
  font-size: 0.75em;
  margin-left: -0.32em;
  position: relative;
  top: -0.2em;
}
.katex .katex-logo .t {
  margin-left: -0.23em;
}
.katex .katex-logo .e {
  margin-left: -0.1667em;
  position: relative;
  top: 0.2155em;
}
.katex .katex-logo .x {
  margin-left: -0.125em;
}
.katex .rule {
  display: inline-block;
  border-style: solid;
  position: relative;
}
.katex .overline .overline-line {
  width: 100%;
}
.katex .overline .overline-line:before {
  border-bottom-style: solid;
  border-bottom-width: 1px;
  content: "";
  display: block;
}
.katex .overline .overline-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 {
  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 .sizing,
.katex .fontsize-ensurer {
  display: inline-block;
}
.katex .sizing.reset-size1.size1,
.katex .fontsize-ensurer.reset-size1.size1 {
  font-size: 1em;
}
.katex .sizing.reset-size1.size2,
.katex .fontsize-ensurer.reset-size1.size2 {
  font-size: 1.4em;
}
.katex .sizing.reset-size1.size3,
.katex .fontsize-ensurer.reset-size1.size3 {
  font-size: 1.6em;
}
.katex .sizing.reset-size1.size4,
.katex .fontsize-ensurer.reset-size1.size4 {
  font-size: 1.8em;
}
.katex .sizing.reset-size1.size5,
.katex .fontsize-ensurer.reset-size1.size5 {
  font-size: 2em;
}
.katex .sizing.reset-size1.size6,
.katex .fontsize-ensurer.reset-size1.size6 {
  font-size: 2.4em;
}
.katex .sizing.reset-size1.size7,
.katex .fontsize-ensurer.reset-size1.size7 {
  font-size: 2.88em;
}
.katex .sizing.reset-size1.size8,
.katex .fontsize-ensurer.reset-size1.size8 {
  font-size: 3.46em;
}
.katex .sizing.reset-size1.size9,
.katex .fontsize-ensurer.reset-size1.size9 {
  font-size: 4.14em;
}
.katex .sizing.reset-size1.size10,
.katex .fontsize-ensurer.reset-size1.size10 {
  font-size: 4.98em;
}
.katex .sizing.reset-size2.size1,
.katex .fontsize-ensurer.reset-size2.size1 {
  font-size: 0.71428571em;
}
.katex .sizing.reset-size2.size2,
.katex .fontsize-ensurer.reset-size2.size2 {
  font-size: 1em;
}
.katex .sizing.reset-size2.size3,
.katex .fontsize-ensurer.reset-size2.size3 {
  font-size: 1.14285714em;
}
.katex .sizing.reset-size2.size4,
.katex .fontsize-ensurer.reset-size2.size4 {
  font-size: 1.28571429em;
}
.katex .sizing.reset-size2.size5,
.katex .fontsize-ensurer.reset-size2.size5 {
  font-size: 1.42857143em;
}
.katex .sizing.reset-size2.size6,
.katex .fontsize-ensurer.reset-size2.size6 {
  font-size: 1.71428571em;
}
.katex .sizing.reset-size2.size7,
.katex .fontsize-ensurer.reset-size2.size7 {
  font-size: 2.05714286em;
}
.katex .sizing.reset-size2.size8,
.katex .fontsize-ensurer.reset-size2.size8 {
  font-size: 2.47142857em;
}
.katex .sizing.reset-size2.size9,
.katex .fontsize-ensurer.reset-size2.size9 {
  font-size: 2.95714286em;
}
.katex .sizing.reset-size2.size10,
.katex .fontsize-ensurer.reset-size2.size10 {
  font-size: 3.55714286em;
}
.katex .sizing.reset-size3.size1,
.katex .fontsize-ensurer.reset-size3.size1 {
  font-size: 0.625em;
}
.katex .sizing.reset-size3.size2,
.katex .fontsize-ensurer.reset-size3.size2 {
  font-size: 0.875em;
}
.katex .sizing.reset-size3.size3,
.katex .fontsize-ensurer.reset-size3.size3 {
  font-size: 1em;
}
.katex .sizing.reset-size3.size4,
.katex .fontsize-ensurer.reset-size3.size4 {
  font-size: 1.125em;
}
.katex .sizing.reset-size3.size5,
.katex .fontsize-ensurer.reset-size3.size5 {
  font-size: 1.25em;
}
.katex .sizing.reset-size3.size6,
.katex .fontsize-ensurer.reset-size3.size6 {
  font-size: 1.5em;
}
.katex .sizing.reset-size3.size7,
.katex .fontsize-ensurer.reset-size3.size7 {
  font-size: 1.8em;
}
.katex .sizing.reset-size3.size8,
.katex .fontsize-ensurer.reset-size3.size8 {
  font-size: 2.1625em;
}
.katex .sizing.reset-size3.size9,
.katex .fontsize-ensurer.reset-size3.size9 {
  font-size: 2.5875em;
}
.katex .sizing.reset-size3.size10,
.katex .fontsize-ensurer.reset-size3.size10 {
  font-size: 3.1125em;
}
.katex .sizing.reset-size4.size1,
.katex .fontsize-ensurer.reset-size4.size1 {
  font-size: 0.55555556em;
}
.katex .sizing.reset-size4.size2,
.katex .fontsize-ensurer.reset-size4.size2 {
  font-size: 0.77777778em;
}
.katex .sizing.reset-size4.size3,
.katex .fontsize-ensurer.reset-size4.size3 {
  font-size: 0.88888889em;
}
.katex .sizing.reset-size4.size4,
.katex .fontsize-ensurer.reset-size4.size4 {
  font-size: 1em;
}
.katex .sizing.reset-size4.size5,
.katex .fontsize-ensurer.reset-size4.size5 {
  font-size: 1.11111111em;
}
.katex .sizing.reset-size4.size6,
.katex .fontsize-ensurer.reset-size4.size6 {
  font-size: 1.33333333em;
}
.katex .sizing.reset-size4.size7,
.katex .fontsize-ensurer.reset-size4.size7 {
  font-size: 1.6em;
}
.katex .sizing.reset-size4.size8,
.katex .fontsize-ensurer.reset-size4.size8 {
  font-size: 1.92222222em;
}
.katex .sizing.reset-size4.size9,
.katex .fontsize-ensurer.reset-size4.size9 {
  font-size: 2.3em;
}
.katex .sizing.reset-size4.size10,
.katex .fontsize-ensurer.reset-size4.size10 {
  font-size: 2.76666667em;
}
.katex .sizing.reset-size5.size1,
.katex .fontsize-ensurer.reset-size5.size1 {
  font-size: 0.5em;
}
.katex .sizing.reset-size5.size2,
.katex .fontsize-ensurer.reset-size5.size2 {
  font-size: 0.7em;
}
.katex .sizing.reset-size5.size3,
.katex .fontsize-ensurer.reset-size5.size3 {
  font-size: 0.8em;
}
.katex .sizing.reset-size5.size4,
.katex .fontsize-ensurer.reset-size5.size4 {
  font-size: 0.9em;
}
.katex .sizing.reset-size5.size5,
.katex .fontsize-ensurer.reset-size5.size5 {
  font-size: 1em;
}
.katex .sizing.reset-size5.size6,
.katex .fontsize-ensurer.reset-size5.size6 {
  font-size: 1.2em;
}
.katex .sizing.reset-size5.size7,
.katex .fontsize-ensurer.reset-size5.size7 {
  font-size: 1.44em;
}
.katex .sizing.reset-size5.size8,
.katex .fontsize-ensurer.reset-size5.size8 {
  font-size: 1.73em;
}
.katex .sizing.reset-size5.size9,
.katex .fontsize-ensurer.reset-size5.size9 {
  font-size: 2.07em;
}
.katex .sizing.reset-size5.size10,
.katex .fontsize-ensurer.reset-size5.size10 {
  font-size: 2.49em;
}
.katex .sizing.reset-size6.size1,
.katex .fontsize-ensurer.reset-size6.size1 {
  font-size: 0.41666667em;
}
.katex .sizing.reset-size6.size2,
.katex .fontsize-ensurer.reset-size6.size2 {
  font-size: 0.58333333em;
}
.katex .sizing.reset-size6.size3,
.katex .fontsize-ensurer.reset-size6.size3 {
  font-size: 0.66666667em;
}
.katex .sizing.reset-size6.size4,
.katex .fontsize-ensurer.reset-size6.size4 {
  font-size: 0.75em;
}
.katex .sizing.reset-size6.size5,
.katex .fontsize-ensurer.reset-size6.size5 {
  font-size: 0.83333333em;
}
.katex .sizing.reset-size6.size6,
.katex .fontsize-ensurer.reset-size6.size6 {
  font-size: 1em;
}
.katex .sizing.reset-size6.size7,
.katex .fontsize-ensurer.reset-size6.size7 {
  font-size: 1.2em;
}
.katex .sizing.reset-size6.size8,
.katex .fontsize-ensurer.reset-size6.size8 {
  font-size: 1.44166667em;
}
.katex .sizing.reset-size6.size9,
.katex .fontsize-ensurer.reset-size6.size9 {
  font-size: 1.725em;
}
.katex .sizing.reset-size6.size10,
.katex .fontsize-ensurer.reset-size6.size10 {
  font-size: 2.075em;
}
.katex .sizing.reset-size7.size1,
.katex .fontsize-ensurer.reset-size7.size1 {
  font-size: 0.34722222em;
}
.katex .sizing.reset-size7.size2,
.katex .fontsize-ensurer.reset-size7.size2 {
  font-size: 0.48611111em;
}
.katex .sizing.reset-size7.size3,
.katex .fontsize-ensurer.reset-size7.size3 {
  font-size: 0.55555556em;
}
.katex .sizing.reset-size7.size4,
.katex .fontsize-ensurer.reset-size7.size4 {
  font-size: 0.625em;
}
.katex .sizing.reset-size7.size5,
.katex .fontsize-ensurer.reset-size7.size5 {
  font-size: 0.69444444em;
}
.katex .sizing.reset-size7.size6,
.katex .fontsize-ensurer.reset-size7.size6 {
  font-size: 0.83333333em;
}
.katex .sizing.reset-size7.size7,
.katex .fontsize-ensurer.reset-size7.size7 {
  font-size: 1em;
}
.katex .sizing.reset-size7.size8,
.katex .fontsize-ensurer.reset-size7.size8 {
  font-size: 1.20138889em;
}
.katex .sizing.reset-size7.size9,
.katex .fontsize-ensurer.reset-size7.size9 {
  font-size: 1.4375em;
}
.katex .sizing.reset-size7.size10,
.katex .fontsize-ensurer.reset-size7.size10 {
  font-size: 1.72916667em;
}
.katex .sizing.reset-size8.size1,
.katex .fontsize-ensurer.reset-size8.size1 {
  font-size: 0.28901734em;
}
.katex .sizing.reset-size8.size2,
.katex .fontsize-ensurer.reset-size8.size2 {
  font-size: 0.40462428em;
}
.katex .sizing.reset-size8.size3,
.katex .fontsize-ensurer.reset-size8.size3 {
  font-size: 0.46242775em;
}
.katex .sizing.reset-size8.size4,
.katex .fontsize-ensurer.reset-size8.size4 {
  font-size: 0.52023121em;
}
.katex .sizing.reset-size8.size5,
.katex .fontsize-ensurer.reset-size8.size5 {
  font-size: 0.57803468em;
}
.katex .sizing.reset-size8.size6,
.katex .fontsize-ensurer.reset-size8.size6 {
  font-size: 0.69364162em;
}
.katex .sizing.reset-size8.size7,
.katex .fontsize-ensurer.reset-size8.size7 {
  font-size: 0.83236994em;
}
.katex .sizing.reset-size8.size8,
.katex .fontsize-ensurer.reset-size8.size8 {
  font-size: 1em;
}
.katex .sizing.reset-size8.size9,
.katex .fontsize-ensurer.reset-size8.size9 {
  font-size: 1.19653179em;
}
.katex .sizing.reset-size8.size10,
.katex .fontsize-ensurer.reset-size8.size10 {
  font-size: 1.43930636em;
}
.katex .sizing.reset-size9.size1,
.katex .fontsize-ensurer.reset-size9.size1 {
  font-size: 0.24154589em;
}
.katex .sizing.reset-size9.size2,
.katex .fontsize-ensurer.reset-size9.size2 {
  font-size: 0.33816425em;
}
.katex .sizing.reset-size9.size3,
.katex .fontsize-ensurer.reset-size9.size3 {
  font-size: 0.38647343em;
}
.katex .sizing.reset-size9.size4,
.katex .fontsize-ensurer.reset-size9.size4 {
  font-size: 0.43478261em;
}
.katex .sizing.reset-size9.size5,
.katex .fontsize-ensurer.reset-size9.size5 {
  font-size: 0.48309179em;
}
.katex .sizing.reset-size9.size6,
.katex .fontsize-ensurer.reset-size9.size6 {
  font-size: 0.57971014em;
}
.katex .sizing.reset-size9.size7,
.katex .fontsize-ensurer.reset-size9.size7 {
  font-size: 0.69565217em;
}
.katex .sizing.reset-size9.size8,
.katex .fontsize-ensurer.reset-size9.size8 {
  font-size: 0.83574879em;
}
.katex .sizing.reset-size9.size9,
.katex .fontsize-ensurer.reset-size9.size9 {
  font-size: 1em;
}
.katex .sizing.reset-size9.size10,
.katex .fontsize-ensurer.reset-size9.size10 {
  font-size: 1.20289855em;
}
.katex .sizing.reset-size10.size1,
.katex .fontsize-ensurer.reset-size10.size1 {
  font-size: 0.20080321em;
}
.katex .sizing.reset-size10.size2,
.katex .fontsize-ensurer.reset-size10.size2 {
  font-size: 0.2811245em;
}
.katex .sizing.reset-size10.size3,
.katex .fontsize-ensurer.reset-size10.size3 {
  font-size: 0.32128514em;
}
.katex .sizing.reset-size10.size4,
.katex .fontsize-ensurer.reset-size10.size4 {
  font-size: 0.36144578em;
}
.katex .sizing.reset-size10.size5,
.katex .fontsize-ensurer.reset-size10.size5 {
  font-size: 0.40160643em;
}
.katex .sizing.reset-size10.size6,
.katex .fontsize-ensurer.reset-size10.size6 {
  font-size: 0.48192771em;
}
.katex .sizing.reset-size10.size7,
.katex .fontsize-ensurer.reset-size10.size7 {
  font-size: 0.57831325em;
}
.katex .sizing.reset-size10.size8,
.katex .fontsize-ensurer.reset-size10.size8 {
  font-size: 0.69477912em;
}
.katex .sizing.reset-size10.size9,
.katex .fontsize-ensurer.reset-size10.size9 {
  font-size: 0.8313253em;
}
.katex .sizing.reset-size10.size10,
.katex .fontsize-ensurer.reset-size10.size10 {
  font-size: 1em;
}
.katex .delimsizing.size1 {
  font-family: KaTeX_Size1;
}
.katex .delimsizing.size2 {
  font-family: KaTeX_Size2;
}
.katex .delimsizing.size3 {
  font-family: KaTeX_Size3;
}
.katex .delimsizing.size4 {
  font-family: KaTeX_Size4;
}
.katex .delimsizing.mult .delim-size1 > span {
  font-family: KaTeX_Size1;
}
.katex .delimsizing.mult .delim-size4 > span {
  font-family: KaTeX_Size4;
}
.katex .nulldelimiter {
  display: inline-block;
  width: 0.12em;
}
.katex .op-symbol {
  position: relative;
}
.katex .op-symbol.small-op {
  font-family: KaTeX_Size1;
}
.katex .op-symbol.large-op {
  font-family: KaTeX_Size2;
}
.katex .op-limits > .vlist > span {
  text-align: center;
}
.katex .accent > .vlist > span {
  text-align: center;
}
.katex .accent .accent-body > span {
  width: 0;
}
.katex .accent .accent-body.accent-vec > span {
  position: relative;
  left: 0.326em;
}
