@charset "UTF-8";

/* sass-plugin-0:/private/tmp/nota/packages/nota/dist/nota.css */
@font-face {
  font-family: KaTeX_AMS;
  font-style: normal;
  font-weight: 400;
  src:
    url(./KaTeX_AMS-Regular-TJLJL4LF-TJLJL4LF.woff2) format("woff2"),
    url(./KaTeX_AMS-Regular-D2KP4FMK-D2KP4FMK.woff) format("woff"),
    url(./KaTeX_AMS-Regular-IWRKEU76-IWRKEU76.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Caligraphic;
  font-style: normal;
  font-weight: 700;
  src:
    url(./KaTeX_Caligraphic-Bold-A4FGJPZE-A4FGJPZE.woff2) format("woff2"),
    url(./KaTeX_Caligraphic-Bold-3QFT2RRI-3QFT2RRI.woff) format("woff"),
    url(./KaTeX_Caligraphic-Bold-5ZAQQ26C-5ZAQQ26C.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Caligraphic;
  font-style: normal;
  font-weight: 400;
  src:
    url(./KaTeX_Caligraphic-Regular-5AQN6JPD-5AQN6JPD.woff2) format("woff2"),
    url(./KaTeX_Caligraphic-Regular-HLJMRKRD-HLJMRKRD.woff) format("woff"),
    url(./KaTeX_Caligraphic-Regular-2OVLWDZ2-2OVLWDZ2.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Fraktur;
  font-style: normal;
  font-weight: 700;
  src:
    url(./KaTeX_Fraktur-Bold-EXPMJYTE-EXPMJYTE.woff2) format("woff2"),
    url(./KaTeX_Fraktur-Bold-FZ3BCJ2Q-FZ3BCJ2Q.woff) format("woff"),
    url(./KaTeX_Fraktur-Bold-DWDWLVJG-DWDWLVJG.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Fraktur;
  font-style: normal;
  font-weight: 400;
  src:
    url(./KaTeX_Fraktur-Regular-5VUTOTCU-5VUTOTCU.woff2) format("woff2"),
    url(./KaTeX_Fraktur-Regular-YSMM55YA-YSMM55YA.woff) format("woff"),
    url(./KaTeX_Fraktur-Regular-YHV657FY-YHV657FY.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Main;
  font-style: normal;
  font-weight: 700;
  src:
    url(./KaTeX_Main-Bold-RYTBPAJO-RYTBPAJO.woff2) format("woff2"),
    url(./KaTeX_Main-Bold-44PDGQ3M-44PDGQ3M.woff) format("woff"),
    url(./KaTeX_Main-Bold-XRKJ55GM-XRKJ55GM.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Main;
  font-style: italic;
  font-weight: 700;
  src:
    url(./KaTeX_Main-BoldItalic-NEN5HUDK-NEN5HUDK.woff2) format("woff2"),
    url(./KaTeX_Main-BoldItalic-75NZUAOR-75NZUAOR.woff) format("woff"),
    url(./KaTeX_Main-BoldItalic-2OZTTEHI-2OZTTEHI.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Main;
  font-style: italic;
  font-weight: 400;
  src:
    url(./KaTeX_Main-Italic-I4RGHRIB-I4RGHRIB.woff2) format("woff2"),
    url(./KaTeX_Main-Italic-Z7C5WPEI-Z7C5WPEI.woff) format("woff"),
    url(./KaTeX_Main-Italic-CBSDCHPH-CBSDCHPH.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Main;
  font-style: normal;
  font-weight: 400;
  src:
    url(./KaTeX_Main-Regular-QDOSNKZ7-QDOSNKZ7.woff2) format("woff2"),
    url(./KaTeX_Main-Regular-PTT3WREM-PTT3WREM.woff) format("woff"),
    url(./KaTeX_Main-Regular-EI3CXM3Q-EI3CXM3Q.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Math;
  font-style: italic;
  font-weight: 700;
  src:
    url(./KaTeX_Math-BoldItalic-QL3FE3HI-QL3FE3HI.woff2) format("woff2"),
    url(./KaTeX_Math-BoldItalic-TTQM4Q46-TTQM4Q46.woff) format("woff"),
    url(./KaTeX_Math-BoldItalic-4JVQKLC2-4JVQKLC2.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Math;
  font-style: italic;
  font-weight: 400;
  src:
    url(./KaTeX_Math-Italic-4PQAQTUY-4PQAQTUY.woff2) format("woff2"),
    url(./KaTeX_Math-Italic-UY24HI2K-UY24HI2K.woff) format("woff"),
    url(./KaTeX_Math-Italic-H6G3DAZK-H6G3DAZK.ttf) format("truetype");
}
@font-face {
  font-family: "KaTeX_SansSerif";
  font-style: normal;
  font-weight: 700;
  src:
    url(./KaTeX_SansSerif-Bold-A2I4FCTO-A2I4FCTO.woff2) format("woff2"),
    url(./KaTeX_SansSerif-Bold-CSDKTMIY-CSDKTMIY.woff) format("woff"),
    url(./KaTeX_SansSerif-Bold-MUKVYI7M-MUKVYI7M.ttf) format("truetype");
}
@font-face {
  font-family: "KaTeX_SansSerif";
  font-style: italic;
  font-weight: 400;
  src:
    url(./KaTeX_SansSerif-Italic-7572WT77-7572WT77.woff2) format("woff2"),
    url(./KaTeX_SansSerif-Italic-5MRPOBFG-5MRPOBFG.woff) format("woff"),
    url(./KaTeX_SansSerif-Italic-ZTHWE4KF-ZTHWE4KF.ttf) format("truetype");
}
@font-face {
  font-family: "KaTeX_SansSerif";
  font-style: normal;
  font-weight: 400;
  src:
    url(./KaTeX_SansSerif-Regular-NP3JSUZI-NP3JSUZI.woff2) format("woff2"),
    url(./KaTeX_SansSerif-Regular-LMYQNDXX-LMYQNDXX.woff) format("woff"),
    url(./KaTeX_SansSerif-Regular-JPRVGZRK-JPRVGZRK.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Script;
  font-style: normal;
  font-weight: 400;
  src:
    url(./KaTeX_Script-Regular-UJSYW2S5-UJSYW2S5.woff2) format("woff2"),
    url(./KaTeX_Script-Regular-RW5HTF5K-RW5HTF5K.woff) format("woff"),
    url(./KaTeX_Script-Regular-OV7ENKO5-OV7ENKO5.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Size1;
  font-style: normal;
  font-weight: 400;
  src:
    url(./KaTeX_Size1-Regular-ZCMDSENI-ZCMDSENI.woff2) format("woff2"),
    url(./KaTeX_Size1-Regular-F5ZHUTPG-F5ZHUTPG.woff) format("woff"),
    url(./KaTeX_Size1-Regular-LWGTSSNI-LWGTSSNI.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Size2;
  font-style: normal;
  font-weight: 400;
  src:
    url(./KaTeX_Size2-Regular-SJGZARPW-SJGZARPW.woff2) format("woff2"),
    url(./KaTeX_Size2-Regular-7OYNEPTJ-7OYNEPTJ.woff) format("woff"),
    url(./KaTeX_Size2-Regular-DFUXO4TD-DFUXO4TD.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Size3;
  font-style: normal;
  font-weight: 400;
  src:
    url(./KaTeX_Size3-Regular-FUBTDZ7H-FUBTDZ7H.woff2) format("woff2"),
    url(./KaTeX_Size3-Regular-QWI3SUNU-QWI3SUNU.woff) format("woff"),
    url(./KaTeX_Size3-Regular-LOCLHTHD-LOCLHTHD.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Size4;
  font-style: normal;
  font-weight: 400;
  src:
    url(./KaTeX_Size4-Regular-XDEQ342W-XDEQ342W.woff2) format("woff2"),
    url(./KaTeX_Size4-Regular-CO65PUFG-CO65PUFG.woff) format("woff"),
    url(./KaTeX_Size4-Regular-HHPMIA6K-HHPMIA6K.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Typewriter;
  font-style: normal;
  font-weight: 400;
  src:
    url(./KaTeX_Typewriter-Regular-2KCJEGRV-2KCJEGRV.woff2) format("woff2"),
    url(./KaTeX_Typewriter-Regular-PARCPDB5-PARCPDB5.woff) format("woff"),
    url(./KaTeX_Typewriter-Regular-GPK5Q6VM-GPK5Q6VM.ttf) format("truetype");
}
.katex {
  text-rendering: auto;
  font:
    normal 1.21em KaTeX_Main,
    Times New Roman,
    serif;
  line-height: 1.2;
  text-indent: 0;
}
.katex * {
  -ms-high-contrast-adjust: none !important;
  border-color: currentColor;
}
.katex .katex-version:after {
  content: "0.13.20";
}
.katex .katex-mathml {
  clip: rect(1px, 1px, 1px, 1px);
  border: 0;
  height: 1px;
  overflow: hidden;
  padding: 0;
  position: absolute;
  width: 1px;
}
.katex .katex-html > .newline {
  display: block;
}
.katex .base {
  position: relative;
  white-space: nowrap;
  width: -webkit-min-content;
  width: -moz-min-content;
  width: min-content;
}
.katex .base,
.katex .strut {
  display: inline-block;
}
.katex .textbf {
  font-weight: 700;
}
.katex .textit {
  font-style: italic;
}
.katex .textrm {
  font-family: KaTeX_Main;
}
.katex .textsf {
  font-family: KaTeX_SansSerif;
}
.katex .texttt {
  font-family: KaTeX_Typewriter;
}
.katex .mathnormal {
  font-family: KaTeX_Math;
  font-style: italic;
}
.katex .mathit {
  font-family: KaTeX_Main;
  font-style: italic;
}
.katex .mathrm {
  font-style: normal;
}
.katex .mathbf {
  font-family: KaTeX_Main;
  font-weight: 700;
}
.katex .boldsymbol {
  font-family: KaTeX_Math;
  font-style: italic;
  font-weight: 700;
}
.katex .amsrm,
.katex .mathbb,
.katex .textbb {
  font-family: KaTeX_AMS;
}
.katex .mathcal {
  font-family: KaTeX_Caligraphic;
}
.katex .mathfrak,
.katex .textfrak {
  font-family: KaTeX_Fraktur;
}
.katex .mathtt {
  font-family: KaTeX_Typewriter;
}
.katex .mathscr,
.katex .textscr {
  font-family: KaTeX_Script;
}
.katex .mathsf,
.katex .textsf {
  font-family: KaTeX_SansSerif;
}
.katex .mathboldsf,
.katex .textboldsf {
  font-family: KaTeX_SansSerif;
  font-weight: 700;
}
.katex .mathitsf,
.katex .textitsf {
  font-family: KaTeX_SansSerif;
  font-style: italic;
}
.katex .mainrm {
  font-family: KaTeX_Main;
  font-style: normal;
}
.katex .vlist-t {
  border-collapse: collapse;
  display: inline-table;
  table-layout: fixed;
}
.katex .vlist-r {
  display: table-row;
}
.katex .vlist {
  display: table-cell;
  position: relative;
  vertical-align: bottom;
}
.katex .vlist > span {
  display: block;
  height: 0;
  position: relative;
}
.katex .vlist > span > span {
  display: inline-block;
}
.katex .vlist > span > .pstrut {
  overflow: hidden;
  width: 0;
}
.katex .vlist-t2 {
  margin-right: -2px;
}
.katex .vlist-s {
  display: table-cell;
  font-size: 1px;
  min-width: 2px;
  vertical-align: bottom;
  width: 2px;
}
.katex .vbox {
  align-items: baseline;
  display: inline-flex;
  flex-direction: column;
}
.katex .hbox {
  width: 100%;
}
.katex .hbox,
.katex .thinbox {
  display: inline-flex;
  flex-direction: row;
}
.katex .thinbox {
  max-width: 0;
  width: 0;
}
.katex .msupsub {
  text-align: left;
}
.katex .mfrac > span > span {
  text-align: center;
}
.katex .mfrac .frac-line {
  border-bottom-style: solid;
  display: inline-block;
  width: 100%;
}
.katex .hdashline,
.katex .hline,
.katex .mfrac .frac-line,
.katex .overline .overline-line,
.katex .rule,
.katex .underline .underline-line {
  min-height: 1px;
}
.katex .mspace {
  display: inline-block;
}
.katex .clap,
.katex .llap,
.katex .rlap {
  position: relative;
  width: 0;
}
.katex .clap > .inner,
.katex .llap > .inner,
.katex .rlap > .inner {
  position: absolute;
}
.katex .clap > .fix,
.katex .llap > .fix,
.katex .rlap > .fix {
  display: inline-block;
}
.katex .llap > .inner {
  right: 0;
}
.katex .clap > .inner,
.katex .rlap > .inner {
  left: 0;
}
.katex .clap > .inner > span {
  margin-left: -50%;
  margin-right: 50%;
}
.katex .rule {
  border: 0 solid;
  display: inline-block;
  position: relative;
}
.katex .hline,
.katex .overline .overline-line,
.katex .underline .underline-line {
  border-bottom-style: solid;
  display: inline-block;
  width: 100%;
}
.katex .hdashline {
  border-bottom-style: dashed;
  display: inline-block;
  width: 100%;
}
.katex .sqrt > .root {
  margin-left: .27777778em;
  margin-right: -.55555556em;
}
.katex .fontsize-ensurer.reset-size1.size1,
.katex .sizing.reset-size1.size1 {
  font-size: 1em;
}
.katex .fontsize-ensurer.reset-size1.size2,
.katex .sizing.reset-size1.size2 {
  font-size: 1.2em;
}
.katex .fontsize-ensurer.reset-size1.size3,
.katex .sizing.reset-size1.size3 {
  font-size: 1.4em;
}
.katex .fontsize-ensurer.reset-size1.size4,
.katex .sizing.reset-size1.size4 {
  font-size: 1.6em;
}
.katex .fontsize-ensurer.reset-size1.size5,
.katex .sizing.reset-size1.size5 {
  font-size: 1.8em;
}
.katex .fontsize-ensurer.reset-size1.size6,
.katex .sizing.reset-size1.size6 {
  font-size: 2em;
}
.katex .fontsize-ensurer.reset-size1.size7,
.katex .sizing.reset-size1.size7 {
  font-size: 2.4em;
}
.katex .fontsize-ensurer.reset-size1.size8,
.katex .sizing.reset-size1.size8 {
  font-size: 2.88em;
}
.katex .fontsize-ensurer.reset-size1.size9,
.katex .sizing.reset-size1.size9 {
  font-size: 3.456em;
}
.katex .fontsize-ensurer.reset-size1.size10,
.katex .sizing.reset-size1.size10 {
  font-size: 4.148em;
}
.katex .fontsize-ensurer.reset-size1.size11,
.katex .sizing.reset-size1.size11 {
  font-size: 4.976em;
}
.katex .fontsize-ensurer.reset-size2.size1,
.katex .sizing.reset-size2.size1 {
  font-size: .83333333em;
}
.katex .fontsize-ensurer.reset-size2.size2,
.katex .sizing.reset-size2.size2 {
  font-size: 1em;
}
.katex .fontsize-ensurer.reset-size2.size3,
.katex .sizing.reset-size2.size3 {
  font-size: 1.16666667em;
}
.katex .fontsize-ensurer.reset-size2.size4,
.katex .sizing.reset-size2.size4 {
  font-size: 1.33333333em;
}
.katex .fontsize-ensurer.reset-size2.size5,
.katex .sizing.reset-size2.size5 {
  font-size: 1.5em;
}
.katex .fontsize-ensurer.reset-size2.size6,
.katex .sizing.reset-size2.size6 {
  font-size: 1.66666667em;
}
.katex .fontsize-ensurer.reset-size2.size7,
.katex .sizing.reset-size2.size7 {
  font-size: 2em;
}
.katex .fontsize-ensurer.reset-size2.size8,
.katex .sizing.reset-size2.size8 {
  font-size: 2.4em;
}
.katex .fontsize-ensurer.reset-size2.size9,
.katex .sizing.reset-size2.size9 {
  font-size: 2.88em;
}
.katex .fontsize-ensurer.reset-size2.size10,
.katex .sizing.reset-size2.size10 {
  font-size: 3.45666667em;
}
.katex .fontsize-ensurer.reset-size2.size11,
.katex .sizing.reset-size2.size11 {
  font-size: 4.14666667em;
}
.katex .fontsize-ensurer.reset-size3.size1,
.katex .sizing.reset-size3.size1 {
  font-size: .71428571em;
}
.katex .fontsize-ensurer.reset-size3.size2,
.katex .sizing.reset-size3.size2 {
  font-size: .85714286em;
}
.katex .fontsize-ensurer.reset-size3.size3,
.katex .sizing.reset-size3.size3 {
  font-size: 1em;
}
.katex .fontsize-ensurer.reset-size3.size4,
.katex .sizing.reset-size3.size4 {
  font-size: 1.14285714em;
}
.katex .fontsize-ensurer.reset-size3.size5,
.katex .sizing.reset-size3.size5 {
  font-size: 1.28571429em;
}
.katex .fontsize-ensurer.reset-size3.size6,
.katex .sizing.reset-size3.size6 {
  font-size: 1.42857143em;
}
.katex .fontsize-ensurer.reset-size3.size7,
.katex .sizing.reset-size3.size7 {
  font-size: 1.71428571em;
}
.katex .fontsize-ensurer.reset-size3.size8,
.katex .sizing.reset-size3.size8 {
  font-size: 2.05714286em;
}
.katex .fontsize-ensurer.reset-size3.size9,
.katex .sizing.reset-size3.size9 {
  font-size: 2.46857143em;
}
.katex .fontsize-ensurer.reset-size3.size10,
.katex .sizing.reset-size3.size10 {
  font-size: 2.96285714em;
}
.katex .fontsize-ensurer.reset-size3.size11,
.katex .sizing.reset-size3.size11 {
  font-size: 3.55428571em;
}
.katex .fontsize-ensurer.reset-size4.size1,
.katex .sizing.reset-size4.size1 {
  font-size: .625em;
}
.katex .fontsize-ensurer.reset-size4.size2,
.katex .sizing.reset-size4.size2 {
  font-size: .75em;
}
.katex .fontsize-ensurer.reset-size4.size3,
.katex .sizing.reset-size4.size3 {
  font-size: .875em;
}
.katex .fontsize-ensurer.reset-size4.size4,
.katex .sizing.reset-size4.size4 {
  font-size: 1em;
}
.katex .fontsize-ensurer.reset-size4.size5,
.katex .sizing.reset-size4.size5 {
  font-size: 1.125em;
}
.katex .fontsize-ensurer.reset-size4.size6,
.katex .sizing.reset-size4.size6 {
  font-size: 1.25em;
}
.katex .fontsize-ensurer.reset-size4.size7,
.katex .sizing.reset-size4.size7 {
  font-size: 1.5em;
}
.katex .fontsize-ensurer.reset-size4.size8,
.katex .sizing.reset-size4.size8 {
  font-size: 1.8em;
}
.katex .fontsize-ensurer.reset-size4.size9,
.katex .sizing.reset-size4.size9 {
  font-size: 2.16em;
}
.katex .fontsize-ensurer.reset-size4.size10,
.katex .sizing.reset-size4.size10 {
  font-size: 2.5925em;
}
.katex .fontsize-ensurer.reset-size4.size11,
.katex .sizing.reset-size4.size11 {
  font-size: 3.11em;
}
.katex .fontsize-ensurer.reset-size5.size1,
.katex .sizing.reset-size5.size1 {
  font-size: .55555556em;
}
.katex .fontsize-ensurer.reset-size5.size2,
.katex .sizing.reset-size5.size2 {
  font-size: .66666667em;
}
.katex .fontsize-ensurer.reset-size5.size3,
.katex .sizing.reset-size5.size3 {
  font-size: .77777778em;
}
.katex .fontsize-ensurer.reset-size5.size4,
.katex .sizing.reset-size5.size4 {
  font-size: .88888889em;
}
.katex .fontsize-ensurer.reset-size5.size5,
.katex .sizing.reset-size5.size5 {
  font-size: 1em;
}
.katex .fontsize-ensurer.reset-size5.size6,
.katex .sizing.reset-size5.size6 {
  font-size: 1.11111111em;
}
.katex .fontsize-ensurer.reset-size5.size7,
.katex .sizing.reset-size5.size7 {
  font-size: 1.33333333em;
}
.katex .fontsize-ensurer.reset-size5.size8,
.katex .sizing.reset-size5.size8 {
  font-size: 1.6em;
}
.katex .fontsize-ensurer.reset-size5.size9,
.katex .sizing.reset-size5.size9 {
  font-size: 1.92em;
}
.katex .fontsize-ensurer.reset-size5.size10,
.katex .sizing.reset-size5.size10 {
  font-size: 2.30444444em;
}
.katex .fontsize-ensurer.reset-size5.size11,
.katex .sizing.reset-size5.size11 {
  font-size: 2.76444444em;
}
.katex .fontsize-ensurer.reset-size6.size1,
.katex .sizing.reset-size6.size1 {
  font-size: .5em;
}
.katex .fontsize-ensurer.reset-size6.size2,
.katex .sizing.reset-size6.size2 {
  font-size: .6em;
}
.katex .fontsize-ensurer.reset-size6.size3,
.katex .sizing.reset-size6.size3 {
  font-size: .7em;
}
.katex .fontsize-ensurer.reset-size6.size4,
.katex .sizing.reset-size6.size4 {
  font-size: .8em;
}
.katex .fontsize-ensurer.reset-size6.size5,
.katex .sizing.reset-size6.size5 {
  font-size: .9em;
}
.katex .fontsize-ensurer.reset-size6.size6,
.katex .sizing.reset-size6.size6 {
  font-size: 1em;
}
.katex .fontsize-ensurer.reset-size6.size7,
.katex .sizing.reset-size6.size7 {
  font-size: 1.2em;
}
.katex .fontsize-ensurer.reset-size6.size8,
.katex .sizing.reset-size6.size8 {
  font-size: 1.44em;
}
.katex .fontsize-ensurer.reset-size6.size9,
.katex .sizing.reset-size6.size9 {
  font-size: 1.728em;
}
.katex .fontsize-ensurer.reset-size6.size10,
.katex .sizing.reset-size6.size10 {
  font-size: 2.074em;
}
.katex .fontsize-ensurer.reset-size6.size11,
.katex .sizing.reset-size6.size11 {
  font-size: 2.488em;
}
.katex .fontsize-ensurer.reset-size7.size1,
.katex .sizing.reset-size7.size1 {
  font-size: .41666667em;
}
.katex .fontsize-ensurer.reset-size7.size2,
.katex .sizing.reset-size7.size2 {
  font-size: .5em;
}
.katex .fontsize-ensurer.reset-size7.size3,
.katex .sizing.reset-size7.size3 {
  font-size: .58333333em;
}
.katex .fontsize-ensurer.reset-size7.size4,
.katex .sizing.reset-size7.size4 {
  font-size: .66666667em;
}
.katex .fontsize-ensurer.reset-size7.size5,
.katex .sizing.reset-size7.size5 {
  font-size: .75em;
}
.katex .fontsize-ensurer.reset-size7.size6,
.katex .sizing.reset-size7.size6 {
  font-size: .83333333em;
}
.katex .fontsize-ensurer.reset-size7.size7,
.katex .sizing.reset-size7.size7 {
  font-size: 1em;
}
.katex .fontsize-ensurer.reset-size7.size8,
.katex .sizing.reset-size7.size8 {
  font-size: 1.2em;
}
.katex .fontsize-ensurer.reset-size7.size9,
.katex .sizing.reset-size7.size9 {
  font-size: 1.44em;
}
.katex .fontsize-ensurer.reset-size7.size10,
.katex .sizing.reset-size7.size10 {
  font-size: 1.72833333em;
}
.katex .fontsize-ensurer.reset-size7.size11,
.katex .sizing.reset-size7.size11 {
  font-size: 2.07333333em;
}
.katex .fontsize-ensurer.reset-size8.size1,
.katex .sizing.reset-size8.size1 {
  font-size: .34722222em;
}
.katex .fontsize-ensurer.reset-size8.size2,
.katex .sizing.reset-size8.size2 {
  font-size: .41666667em;
}
.katex .fontsize-ensurer.reset-size8.size3,
.katex .sizing.reset-size8.size3 {
  font-size: .48611111em;
}
.katex .fontsize-ensurer.reset-size8.size4,
.katex .sizing.reset-size8.size4 {
  font-size: .55555556em;
}
.katex .fontsize-ensurer.reset-size8.size5,
.katex .sizing.reset-size8.size5 {
  font-size: .625em;
}
.katex .fontsize-ensurer.reset-size8.size6,
.katex .sizing.reset-size8.size6 {
  font-size: .69444444em;
}
.katex .fontsize-ensurer.reset-size8.size7,
.katex .sizing.reset-size8.size7 {
  font-size: .83333333em;
}
.katex .fontsize-ensurer.reset-size8.size8,
.katex .sizing.reset-size8.size8 {
  font-size: 1em;
}
.katex .fontsize-ensurer.reset-size8.size9,
.katex .sizing.reset-size8.size9 {
  font-size: 1.2em;
}
.katex .fontsize-ensurer.reset-size8.size10,
.katex .sizing.reset-size8.size10 {
  font-size: 1.44027778em;
}
.katex .fontsize-ensurer.reset-size8.size11,
.katex .sizing.reset-size8.size11 {
  font-size: 1.72777778em;
}
.katex .fontsize-ensurer.reset-size9.size1,
.katex .sizing.reset-size9.size1 {
  font-size: .28935185em;
}
.katex .fontsize-ensurer.reset-size9.size2,
.katex .sizing.reset-size9.size2 {
  font-size: .34722222em;
}
.katex .fontsize-ensurer.reset-size9.size3,
.katex .sizing.reset-size9.size3 {
  font-size: .40509259em;
}
.katex .fontsize-ensurer.reset-size9.size4,
.katex .sizing.reset-size9.size4 {
  font-size: .46296296em;
}
.katex .fontsize-ensurer.reset-size9.size5,
.katex .sizing.reset-size9.size5 {
  font-size: .52083333em;
}
.katex .fontsize-ensurer.reset-size9.size6,
.katex .sizing.reset-size9.size6 {
  font-size: .5787037em;
}
.katex .fontsize-ensurer.reset-size9.size7,
.katex .sizing.reset-size9.size7 {
  font-size: .69444444em;
}
.katex .fontsize-ensurer.reset-size9.size8,
.katex .sizing.reset-size9.size8 {
  font-size: .83333333em;
}
.katex .fontsize-ensurer.reset-size9.size9,
.katex .sizing.reset-size9.size9 {
  font-size: 1em;
}
.katex .fontsize-ensurer.reset-size9.size10,
.katex .sizing.reset-size9.size10 {
  font-size: 1.20023148em;
}
.katex .fontsize-ensurer.reset-size9.size11,
.katex .sizing.reset-size9.size11 {
  font-size: 1.43981481em;
}
.katex .fontsize-ensurer.reset-size10.size1,
.katex .sizing.reset-size10.size1 {
  font-size: .24108004em;
}
.katex .fontsize-ensurer.reset-size10.size2,
.katex .sizing.reset-size10.size2 {
  font-size: .28929605em;
}
.katex .fontsize-ensurer.reset-size10.size3,
.katex .sizing.reset-size10.size3 {
  font-size: .33751205em;
}
.katex .fontsize-ensurer.reset-size10.size4,
.katex .sizing.reset-size10.size4 {
  font-size: .38572806em;
}
.katex .fontsize-ensurer.reset-size10.size5,
.katex .sizing.reset-size10.size5 {
  font-size: .43394407em;
}
.katex .fontsize-ensurer.reset-size10.size6,
.katex .sizing.reset-size10.size6 {
  font-size: .48216008em;
}
.katex .fontsize-ensurer.reset-size10.size7,
.katex .sizing.reset-size10.size7 {
  font-size: .57859209em;
}
.katex .fontsize-ensurer.reset-size10.size8,
.katex .sizing.reset-size10.size8 {
  font-size: .69431051em;
}
.katex .fontsize-ensurer.reset-size10.size9,
.katex .sizing.reset-size10.size9 {
  font-size: .83317261em;
}
.katex .fontsize-ensurer.reset-size10.size10,
.katex .sizing.reset-size10.size10 {
  font-size: 1em;
}
.katex .fontsize-ensurer.reset-size10.size11,
.katex .sizing.reset-size10.size11 {
  font-size: 1.19961427em;
}
.katex .fontsize-ensurer.reset-size11.size1,
.katex .sizing.reset-size11.size1 {
  font-size: .20096463em;
}
.katex .fontsize-ensurer.reset-size11.size2,
.katex .sizing.reset-size11.size2 {
  font-size: .24115756em;
}
.katex .fontsize-ensurer.reset-size11.size3,
.katex .sizing.reset-size11.size3 {
  font-size: .28135048em;
}
.katex .fontsize-ensurer.reset-size11.size4,
.katex .sizing.reset-size11.size4 {
  font-size: .32154341em;
}
.katex .fontsize-ensurer.reset-size11.size5,
.katex .sizing.reset-size11.size5 {
  font-size: .36173633em;
}
.katex .fontsize-ensurer.reset-size11.size6,
.katex .sizing.reset-size11.size6 {
  font-size: .40192926em;
}
.katex .fontsize-ensurer.reset-size11.size7,
.katex .sizing.reset-size11.size7 {
  font-size: .48231511em;
}
.katex .fontsize-ensurer.reset-size11.size8,
.katex .sizing.reset-size11.size8 {
  font-size: .57877814em;
}
.katex .fontsize-ensurer.reset-size11.size9,
.katex .sizing.reset-size11.size9 {
  font-size: .69453376em;
}
.katex .fontsize-ensurer.reset-size11.size10,
.katex .sizing.reset-size11.size10 {
  font-size: .83360129em;
}
.katex .fontsize-ensurer.reset-size11.size11,
.katex .sizing.reset-size11.size11 {
  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: .12em;
}
.katex .delimcenter,
.katex .op-symbol {
  position: relative;
}
.katex .op-symbol.small-op {
  font-family: KaTeX_Size1;
}
.katex .op-symbol.large-op {
  font-family: KaTeX_Size2;
}
.katex .accent > .vlist-t,
.katex .op-limits > .vlist-t {
  text-align: center;
}
.katex .accent .accent-body {
  position: relative;
}
.katex .accent .accent-body:not(.accent-full) {
  width: 0;
}
.katex .overlay {
  display: block;
}
.katex .mtable .vertical-separator {
  display: inline-block;
  min-width: 1px;
}
.katex .mtable .arraycolsep {
  display: inline-block;
}
.katex .mtable .col-align-c > .vlist-t {
  text-align: center;
}
.katex .mtable .col-align-l > .vlist-t {
  text-align: left;
}
.katex .mtable .col-align-r > .vlist-t {
  text-align: right;
}
.katex .svg-align {
  text-align: left;
}
.katex 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%;
}
.katex svg path {
  stroke: none;
}
.katex img {
  border-style: none;
  max-height: none;
  max-width: none;
  min-height: 0;
  min-width: 0;
}
.katex .stretchy {
  display: block;
  overflow: hidden;
  position: relative;
  width: 100%;
}
.katex .stretchy:after,
.katex .stretchy:before {
  content: "";
}
.katex .hide-tail {
  overflow: hidden;
  position: relative;
  width: 100%;
}
.katex .halfarrow-left {
  left: 0;
  overflow: hidden;
  position: absolute;
  width: 50.2%;
}
.katex .halfarrow-right {
  overflow: hidden;
  position: absolute;
  right: 0;
  width: 50.2%;
}
.katex .brace-left {
  left: 0;
  overflow: hidden;
  position: absolute;
  width: 25.1%;
}
.katex .brace-center {
  left: 25%;
  overflow: hidden;
  position: absolute;
  width: 50%;
}
.katex .brace-right {
  overflow: hidden;
  position: absolute;
  right: 0;
  width: 25.1%;
}
.katex .x-arrow-pad {
  padding: 0 .5em;
}
.katex .cd-arrow-pad {
  padding: 0 .55556em 0 .27778em;
}
.katex .mover,
.katex .munder,
.katex .x-arrow {
  text-align: center;
}
.katex .boxpad {
  padding: 0 .3em;
}
.katex .fbox,
.katex .fcolorbox {
  border: .04em solid;
  box-sizing: border-box;
}
.katex .cancel-pad {
  padding: 0 .2em;
}
.katex .cancel-lap {
  margin-left: -.2em;
  margin-right: -.2em;
}
.katex .sout {
  border-bottom-style: solid;
  border-bottom-width: .08em;
}
.katex .angl {
  border-right: .049em solid;
  border-top: .049em solid;
  box-sizing: border-box;
  margin-right: .03889em;
}
.katex .anglpad {
  padding: 0 .03889em;
}
.katex .eqn-num:before {
  content: "(" counter(katexEqnNo) ")";
  counter-increment: katexEqnNo;
}
.katex .mml-eqn-num:before {
  content: "(" counter(mmlEqnNo) ")";
  counter-increment: mmlEqnNo;
}
.katex .mtr-glue {
  width: 50%;
}
.katex .cd-vert-arrow {
  display: inline-block;
  position: relative;
}
.katex .cd-label-left {
  display: inline-block;
  position: absolute;
  right: calc(50% + .3em);
  text-align: left;
}
.katex .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 > .katex {
  display: block;
  text-align: center;
  white-space: nowrap;
}
.katex-display > .katex > .katex-html {
  display: block;
  position: relative;
}
.katex-display > .katex > .katex-html > .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;
}
.textcolor-peach {
  color: #fadfcb;
}
.bgcolor-peach {
  background: #fadfcb;
}
.textcolor-forest-green {
  color: #badcc7;
}
.bgcolor-forest-green {
  background: #badcc7;
}
.textcolor-error {
  color: #be2222;
}
.bgcolor-error {
  background: #be2222;
}
.textcolor-highlight {
  color: #fff9ac;
}
.bgcolor-highlight {
  background: #fff9ac;
}
.document {
  text-align: justify;
  line-height: 1.3em;
  font-family: serif;
  font-size: 18px;
  overflow-wrap: anywhere;
}
.footnotes {
  font-size: 14px;
  line-height: 1.2em;
  border-top: 1px solid #ccc;
  padding-top: 10px;
  margin-top: 2rem;
}
.footnotes .backlink {
  color: #000;
  font-size: 10px;
}
.footnotes .footnote-number {
  font-size: 16px;
  margin-right: 10px;
}
.footnotes .footnote {
  margin-bottom: 1rem;
  display: flex;
}
.footnote-body p {
  text-indent: 0;
}
.error {
  color: #be2222;
  padding: 2px;
  border: 1px solid #be2222;
  border-radius: 2px;
}
h1,
h2,
h3,
h4,
h5,
h6 {
  margin: 0;
  text-align: left;
  line-height: 1em;
}
h1 {
  font-size: 2em !important;
}
a[href],
.ref {
  cursor: pointer;
  text-decoration: none;
}
a[href]:hover,
.ref:hover {
  text-decoration: underline;
}
a[href].nolink,
.ref.nolink {
  color: inherit;
}
a[href].nolink:hover,
.ref.nolink:hover {
  text-decoration: none;
  background: rgba(19, 92, 202, .1);
}
.def-mode .ref.nolink {
  border: 1px solid rgba(19, 92, 202, .2);
  padding: 3px;
  display: inline-block;
}
@keyframes yellowflash {
  0% {
    background: #ffdc00;
  }
  to {
    background: transparent;
  }
}
*:target {
  animation: yellowflash 1s;
  padding: 4px;
  margin: -4px;
  border-radius: 2px;
}
p {
  margin: 0;
}
p:not(:first-child) {
  text-indent: 1em;
}
.section-title + p {
  text-indent: 0;
}
p.noindent {
  text-indent: 0;
}
.document-title {
  margin-bottom: 2rem;
}
.authors .author {
  margin-bottom: .25rem;
}
.authors .author .author-name {
  font-size: 22px;
}
.abstract {
  margin: 1em 0 2rem;
}
.section-title {
  margin-bottom: 1rem;
  margin-top: 0;
  font-size: 22px;
}
.section-title .section-number {
  margin-right: 20px;
}
h2.section-title {
  text-transform: uppercase;
}
pre,
code {
  font-family: Inconsolata, monospace;
}
code {
  border: 1px solid #eee;
  padding: 0 3px 1px;
  border-radius: 4px;
  white-space: nowrap;
}
pre {
  margin: .5rem 0;
}
section {
  margin-top: 2rem;
}
.katex {
  font-size: 1.1rem;
}
.katex .newline {
  display: inline;
}
.katex .newline:before {
  content: "\a";
  white-space: pre;
}
.nomargin .katex-display {
  margin: 0;
}
.katex-display .base {
  margin-bottom: -.33em;
}
.katex .vlist-t2 > .vlist-r:nth-child(2) > .vlist {
  pointer-events: none;
  height: 0px !important;
}
.tex-highlight {
  background: #fff9ac;
}
.bib-references {
  text-align: justify;
  font-size: 16px;
  line-height: 1.3em;
}
.bib-reference {
  text-indent: -1em;
  padding-left: 1em;
}
.row {
  display: flex;
  justify-content: center;
  margin: 1rem 0;
}
.row > * {
  margin-right: 2rem;
}
.row > *:last-child {
  margin-right: 0;
}
.figure.level-1 {
  display: flex;
  justify-content: center;
  flex-wrap: wrap;
  border-top: 1px solid #ddd;
  border-bottom: 1px solid #ddd;
  padding: 1rem 0;
  margin: 2rem 0;
}
.figure.level-2 {
  margin: 1rem 0;
}
.caption {
  font-size: 16px;
}
sup.footnote-marker {
  vertical-align: top;
  position: relative;
  bottom: .25em;
}
.tooltip {
  border: 2px solid #aaa;
  background: white;
  padding: 6px 10px;
  border-radius: 4px;
  box-shadow: 2px 2px 4px #0003;
  max-width: 600px;
  width: max-content;
}
.tooltip .arrow {
  visibility: hidden;
}
.tooltip .arrow,
.tooltip .arrow:before {
  position: absolute;
  width: 8px;
  height: 8px;
  background: inherit;
  border-radius: 2px;
  border: 2px solid transparent;
}
.tooltip .arrow:before {
  visibility: visible;
  content: "";
  transform: rotate(45deg);
}
.tooltip[data-popper-placement^=top] .arrow {
  bottom: -4px;
}
.tooltip[data-popper-placement^=top] .arrow:before {
  border-bottom-color: #aaa;
  border-right-color: #aaa;
}
.tooltip[data-popper-placement^=bottom] .arrow {
  top: -8px;
}
.tooltip[data-popper-placement^=bottom] .arrow:before {
  border-top-color: #aaa;
  border-left-color: #aaa;
}
.tooltip[data-popper-placement^=left] .arrow {
  right: -4px;
}
.tooltip[data-popper-placement^=left] .arrow:before {
  border-right-color: #aaa;
  border-top-color: #aaa;
}
.tooltip[data-popper-placement^=right] .arrow {
  left: -4px;
}
.tooltip[data-popper-placement^=right] .arrow:before {
  border-left-color: #aaa;
  border-bottom-color: #aaa;
}
.expandable {
  margin: 1rem 0;
}
.expandable .expand {
  cursor: pointer;
  font-family: "Helvetica", sans-serif;
  border: black;
  color: #000;
  padding: 2px 4px;
  border-radius: 4px;
}
.expandable > .inner {
  transition: all .25s ease;
  overflow: hidden;
}
.expandable > .inner > div {
  border: 1px solid #ccc;
  border-radius: 4px;
  padding: .5rem 1rem;
}
.expandable.expanded > .inner {
  margin-top: 10px;
}
.smallcaps {
  font-variant: small-caps;
}
.togglebox-parent,
.togglebox-grandparent {
  display: inline-block;
}
.toggle-button {
  font-size: .65rem;
  position: relative;
  bottom: 2px;
  margin-left: .5rem;
  border: 1px solid #ccc;
  border-radius: 2px;
  padding: 0 2px;
  vertical-align: middle;
  color: #555;
  cursor: pointer;
}
.toggle-button.big {
  font-size: 1rem;
}
.togglebox {
  display: flex;
  justify-content: center;
}
.togglebox > div {
  display: inline-block;
}
.inferrule {
  display: inline-block;
  text-align: center;
  margin: .5rem 0;
}
.inferrule .divider {
  width: 100%;
  height: 1px;
  background: black;
  margin: 6px 0;
}
.inferrule .premise {
  margin-right: 2rem;
  display: inline-block;
}
.inferrule .premise:last-child {
  margin-right: 0;
}
.inferrule .premise-row {
  display: block;
  line-height: 2rem;
}
.inferrule .right {
  height: 0;
}
.inferrule .right > div {
  position: relative;
}
.theorem-body {
  font-style: italic;
}
.theorem-body p {
  text-indent: 0;
}
.theorem-body ul,
.theorem-body ol {
  margin: 0;
}
.theorem-body ul li,
.theorem-body ol li {
  margin: 0;
}
.correspondence {
  line-height: 1.5em;
}
.correspondence .link {
  border-bottom: 1px solid black;
  padding-bottom: 1px;
}
.correspondence .link.type-1 {
  border-color: #d62728;
}
.correspondence.hover-type-1 .link.type-1 {
  border-width: 3px;
}
.correspondence .link.type-2 {
  border-color: #2ca02c;
}
.correspondence.hover-type-2 .link.type-2 {
  border-width: 3px;
}
.correspondence .link.type-3 {
  border-color: #1f77b4;
}
.correspondence.hover-type-3 .link.type-3 {
  border-width: 3px;
}
.correspondence .link.type-4 {
  border-color: #e377c2;
}
.correspondence.hover-type-4 .link.type-4 {
  border-width: 3px;
}
.correspondence .link.type-5 {
  border-color: #9467bd;
}
.correspondence.hover-type-5 .link.type-5 {
  border-width: 3px;
}
.correspondence .link.type-6 {
  border-color: #e17f0e;
}
.correspondence.hover-type-6 .link.type-6 {
  border-width: 3px;
}
hr {
  border-color: #eee;
  margin: 1rem 2rem;
}
ul,
ol {
  padding-left: 1.5rem;
}
ul > li,
ol > li {
  margin-bottom: .5rem;
}
ul > li:last-child,
ol > li:last-child {
  margin-bottom: 0;
}
ol.parenkey {
  counter-reset: list;
}
ol.parenkey[start="2"] {
  counter-increment: list;
}
ol.parenkey > li {
  list-style: none;
}
ol.parenkey > li:before {
  content: "(" counter(list, lower-alpha) ") ";
  counter-increment: list;
  margin-left: -1.5rem;
}
.full-width-container {
  position: relative;
}
.comments {
  position: relative;
  height: 100%;
}
.comment {
  border: 1px solid #999;
  background: white;
  padding: .5rem;
  border-radius: 4px;
  display: inline-block;
  position: absolute;
  left: 0;
}
.comment > p:first-child {
  text-indent: 0;
}
q {
  quotes: "\201c" "\201d" "\2018" "\2019";
}
.portal {
  position: fixed;
  width: 0;
  height: 0;
}
.loader {
  position: relative;
  opacity: .2;
}
.loader.loaded {
  opacity: 1;
}
.loader .loader-overlay {
  display: flex;
  position: absolute;
  width: 100%;
  height: 100%;
  top: 0;
  left: 0;
  opacity: 1;
  z-index: 1000;
}
.loader .loader-overlay .loader-spinner {
  width: 100%;
  height: 100%;
  max-width: 60px;
  max-height: 60px;
  margin: auto;
}
.loader .loader-overlay .loader-spinner > div {
  width: inherit;
  height: inherit;
}
@keyframes fade {
  0% {
    opacity: 1;
  }
  75% {
    opacity: 1;
  }
  to {
    opacity: 0;
  }
}
.logger {
  position: fixed;
  bottom: 20px;
  right: 20px;
  z-index: 1000;
}
.logger .log {
  border: 1px solid #ccc;
  border-radius: 4px;
  padding: .5rem 1rem;
  margin-top: 1rem;
  opacity: 0;
  max-width: 600px;
  background: white;
}
.react-spinner-loader-swing div {
  border-radius: 50%;
  float: left;
  height: 1em;
  width: 1em;
}
.react-spinner-loader-swing div:nth-of-type(1) {
  background: -webkit-linear-gradient(left, #385c78 0%, #325774 100%);
  background: linear-gradient(to right, #385c78 0%, #325774 100%);
}
.react-spinner-loader-swing div:nth-of-type(2) {
  background: -webkit-linear-gradient(left, #325774 0%, #47536a 100%);
  background: linear-gradient(to right, #325774 0%, #47536a 100%);
}
.react-spinner-loader-swing div:nth-of-type(3) {
  background: -webkit-linear-gradient(left, #4a5369 0%, #6b4d59 100%);
  background: linear-gradient(to right, #4a5369 0%, #6b4d59 100%);
}
.react-spinner-loader-swing div:nth-of-type(4) {
  background: -webkit-linear-gradient(left, #744c55 0%, #954646 100%);
  background: linear-gradient(to right, #744c55 0%, #954646 100%);
}
.react-spinner-loader-swing div:nth-of-type(5) {
  background: -webkit-linear-gradient(left, #9c4543 0%, #bb4034 100%);
  background: linear-gradient(to right, #9c4543 0%, #bb4034 100%);
}
.react-spinner-loader-swing div:nth-of-type(6) {
  background: -webkit-linear-gradient(left, #c33f31 0%, #d83b27 100%);
  background: linear-gradient(to right, #c33f31 0%, #d83b27 100%);
}
.react-spinner-loader-swing div:nth-of-type(7) {
  background: -webkit-linear-gradient(left, #da3b26 0%, #db412c 100%);
  background: linear-gradient(to right, #da3b26 0%, #db412c 100%);
}
.react-spinner-loader-shadow {
  clear: left;
  padding-top: 1.5em;
}
.react-spinner-loader-shadow div {
  -webkit-filter: blur(1px);
  filter: blur(1px);
  float: left;
  width: 1em;
  height: .25em;
  border-radius: 50%;
  background: #e3dbd2;
}
.react-spinner-loader-shadow .react-spinner-loader-shadow-l {
  background: #d5d8d6;
}
.react-spinner-loader-shadow .react-spinner-loader-shadow-r {
  background: #eed3ca;
}
@-webkit-keyframes ball-l {
  0%, 50% {
    -webkit-transform: rotate(0) translateX(0);
    transform: rotate(0) translateX(0);
  }
  to {
    -webkit-transform: rotate(50deg) translateX(-2.5em);
    transform: rotate(50deg) translateX(-2.5em);
  }
}
@keyframes ball-l {
  0%, 50% {
    -webkit-transform: rotate(0) translate(0);
    transform: rotate(0) translateX(0);
  }
  to {
    -webkit-transform: rotate(50deg) translateX(-2.5em);
    transform: rotate(50deg) translateX(-2.5em);
  }
}
@-webkit-keyframes ball-r {
  0% {
    -webkit-transform: rotate(-50deg) translateX(2.5em);
    transform: rotate(-50deg) translateX(2.5em);
  }
  50%, to {
    -webkit-transform: rotate(0) translateX(0);
    transform: rotate(0) translateX(0);
  }
}
@keyframes ball-r {
  0% {
    -webkit-transform: rotate(-50deg) translateX(2.5em);
    transform: rotate(-50deg) translateX(2.5em);
  }
  50%, to {
    -webkit-transform: rotate(0) translateX(0);
    transform: rotate(0) translateX(0);
  }
}
@-webkit-keyframes shadow-l-n {
  0%, 50% {
    opacity: .5;
    -webkit-transform: translateX(0);
    transform: translateX(0);
  }
  to {
    opacity: .125;
    -webkit-transform: translateX(-1.57em);
    transform: translateX(-1.75em);
  }
}
@keyframes shadow-l-n {
  0%, 50% {
    opacity: .5;
    -webkit-transform: translateX(0);
    transform: translateX(0);
  }
  to {
    opacity: .125;
    -webkit-transform: translateX(-1.75);
    transform: translateX(-1.75em);
  }
}
@-webkit-keyframes shadow-r-n {
  0% {
    opacity: .125;
    -webkit-transform: translateX(1.75em);
    transform: translateX(1.75em);
  }
  50%, to {
    opacity: .5;
    -webkit-transform: translateX(0);
    transform: translateX(0);
  }
}
@keyframes shadow-r-n {
  0% {
    opacity: .125;
    -webkit-transform: translateX(1.75em);
    transform: translateX(1.75em);
  }
  50%, to {
    opacity: .5;
    -webkit-transform: translateX(0);
    transform: translateX(0);
  }
}
.react-spinner-loader-swing-l {
  -webkit-animation: ball-l .425s ease-in-out infinite alternate;
  animation: ball-l .425s ease-in-out infinite alternate;
}
.react-spinner-loader-swing-r {
  -webkit-animation: ball-r .425s ease-in-out infinite alternate;
  animation: ball-r .425s ease-in-out infinite alternate;
}
.react-spinner-loader-shadow-l {
  -webkit-animation: shadow-l-n .425s ease-in-out infinite alternate;
  animation: shadow-l-n .425s ease-in-out infinite alternate;
}
.react-spinner-loader-shadow-r {
  -webkit-animation: shadow-r-n .425s ease-in-out infinite alternate;
  animation: shadow-r-n .425s ease-in-out infinite alternate;
}
.react-spinner-loader-svg-calLoader {
  width: 230px;
  height: 230px;
  transform-origin: 115px 115px;
  animation: 1.4s linear infinite loader-spin;
  -webkit-animation: 1.4s linear infinite loader-spin;
}
.react-spinner-loader-svg-cal-loader__path {
  animation: 1.4s ease-in-out infinite loader-path;
  -webkit-animation: 1.4s ease-in-out infinite loader-path;
}
@keyframes loader-spin {
  to {
    transform: rotate(360deg);
  }
}
@keyframes loader-path {
  0% {
    stroke-dasharray:
      0,
      580,
      0,
      0,
      0,
      0,
      0,
      0,
      0;
  }
  50% {
    stroke-dasharray:
      0,
      450,
      10,
      30,
      10,
      30,
      10,
      30,
      10;
  }
  to {
    stroke-dasharray:
      0,
      580,
      0,
      0,
      0,
      0,
      0,
      0,
      0;
  }
}
.react-spinner-loader-svg svg {
  -webkit-transform-origin: 50% 65%;
  transform-origin: 50% 65%;
}
.react-spinner-loader-svg svg polygon {
  stroke-dasharray: 17;
  -webkit-animation: dash 2.5s cubic-bezier(.35, .04, .63, .95) infinite;
  animation: dash 2.5s cubic-bezier(.35, .04, .63, .95) infinite;
}
@-webkit-keyframes dash {
  to {
    stroke-dashoffset: 136;
  }
}
@keyframes dash {
  to {
    stroke-dashoffset: 136;
  }
}
@-webkit-keyframes rotate {
  to {
    -webkit-transform: rotate(360deg);
    transform: rotate(360deg);
  }
}
@keyframes rotate {
  to {
    -webkit-transform: rotate(360deg);
    transform: rotate(360deg);
  }
}

/* sass-plugin-0:/private/tmp/nota/packages/nota-theme-acm/dist/nota-theme-acm.css */
@font-face {
  font-family: "Linux Libertine O";
  src: url(./LinLibertine_R-J4ZACR57-J4ZACR57.otf);
}
@font-face {
  font-family: "Linux Libertine O";
  src: url(./LinLibertine_RB-CJXLDNSO-CJXLDNSO.otf);
  font-weight: bold;
}
@font-face {
  font-family: "Linux Libertine O";
  src: url(./LinLibertine_RI-OY7Z4ZTG-OY7Z4ZTG.otf);
  font-style: italic;
}
@font-face {
  font-family: "Linux Biolinum O";
  src: url(./LinBiolinum_R-IQT4N247-IQT4N247.otf);
}
@font-face {
  font-family: "Linux Biolinum O";
  src: url(./LinBiolinum_RB-DFPWW57F-DFPWW57F.otf);
  font-weight: bold;
}
@font-face {
  font-family: "Linux Biolinum O";
  src: url(./LinBiolinum_RI-RF2ZXQLL-RF2ZXQLL.otf);
  font-style: italic;
}
.document {
  font-family: "Linux Libertine O", serif;
}
h1,
h2,
h3,
h4,
h5,
h6 {
  font-family: "Linux Biolinum O", serif;
}
a[href],
.ref {
  color: #652b7e;
}
.authors .author .author-name {
  text-transform: uppercase;
  font-family: "Linux Biolinum O", serif;
}
.caption {
  font-family: "Linux Biolinum O", serif;
}

/* sass-plugin-0:/private/tmp/nota/packages/nota-cli/css/nota-cli.scss */
#page-container {
  width: 800px;
  margin: 0 auto;
  padding-top: 20px;
}

/* sass-plugin-0:/private/tmp/nota/node_modules/codemirror/lib/codemirror.css */
.CodeMirror {
  font-family: monospace;
  height: 300px;
  color: black;
  direction: ltr;
}
.CodeMirror-lines {
  padding: 4px 0;
}
.CodeMirror pre.CodeMirror-line,
.CodeMirror pre.CodeMirror-line-like {
  padding: 0 4px;
}
.CodeMirror-scrollbar-filler,
.CodeMirror-gutter-filler {
  background-color: white;
}
.CodeMirror-gutters {
  border-right: 1px solid #ddd;
  background-color: #f7f7f7;
  white-space: nowrap;
}
.CodeMirror-linenumbers {
}
.CodeMirror-linenumber {
  padding: 0 3px 0 5px;
  min-width: 20px;
  text-align: right;
  color: #999;
  white-space: nowrap;
}
.CodeMirror-guttermarker {
  color: black;
}
.CodeMirror-guttermarker-subtle {
  color: #999;
}
.CodeMirror-cursor {
  border-left: 1px solid black;
  border-right: none;
  width: 0;
}
.CodeMirror div.CodeMirror-secondarycursor {
  border-left: 1px solid silver;
}
.cm-fat-cursor .CodeMirror-cursor {
  width: auto;
  border: 0 !important;
  background: #7e7;
}
.cm-fat-cursor div.CodeMirror-cursors {
  z-index: 1;
}
.cm-fat-cursor-mark {
  background-color: rgba(20, 255, 20, 0.5);
  -webkit-animation: blink 1.06s steps(1) infinite;
  -moz-animation: blink 1.06s steps(1) infinite;
  animation: blink 1.06s steps(1) infinite;
}
.cm-animate-fat-cursor {
  width: auto;
  -webkit-animation: blink 1.06s steps(1) infinite;
  -moz-animation: blink 1.06s steps(1) infinite;
  animation: blink 1.06s steps(1) infinite;
  background-color: #7e7;
}
@-moz-keyframes blink {
  0% {
  }
  50% {
    background-color: transparent;
  }
  100% {
  }
}
@-webkit-keyframes blink {
  0% {
  }
  50% {
    background-color: transparent;
  }
  100% {
  }
}
@keyframes blink {
  0% {
  }
  50% {
    background-color: transparent;
  }
  100% {
  }
}
.CodeMirror-overwrite .CodeMirror-cursor {
}
.cm-tab {
  display: inline-block;
  text-decoration: inherit;
}
.CodeMirror-rulers {
  position: absolute;
  left: 0;
  right: 0;
  top: -50px;
  bottom: 0;
  overflow: hidden;
}
.CodeMirror-ruler {
  border-left: 1px solid #ccc;
  top: 0;
  bottom: 0;
  position: absolute;
}
.cm-s-default .cm-header {
  color: blue;
}
.cm-s-default .cm-quote {
  color: #090;
}
.cm-negative {
  color: #d44;
}
.cm-positive {
  color: #292;
}
.cm-header,
.cm-strong {
  font-weight: bold;
}
.cm-em {
  font-style: italic;
}
.cm-link {
  text-decoration: underline;
}
.cm-strikethrough {
  text-decoration: line-through;
}
.cm-s-default .cm-keyword {
  color: #708;
}
.cm-s-default .cm-atom {
  color: #219;
}
.cm-s-default .cm-number {
  color: #164;
}
.cm-s-default .cm-def {
  color: #00f;
}
.cm-s-default .cm-variable,
.cm-s-default .cm-punctuation,
.cm-s-default .cm-property,
.cm-s-default .cm-operator {
}
.cm-s-default .cm-variable-2 {
  color: #05a;
}
.cm-s-default .cm-variable-3,
.cm-s-default .cm-type {
  color: #085;
}
.cm-s-default .cm-comment {
  color: #a50;
}
.cm-s-default .cm-string {
  color: #a11;
}
.cm-s-default .cm-string-2 {
  color: #f50;
}
.cm-s-default .cm-meta {
  color: #555;
}
.cm-s-default .cm-qualifier {
  color: #555;
}
.cm-s-default .cm-builtin {
  color: #30a;
}
.cm-s-default .cm-bracket {
  color: #997;
}
.cm-s-default .cm-tag {
  color: #170;
}
.cm-s-default .cm-attribute {
  color: #00c;
}
.cm-s-default .cm-hr {
  color: #999;
}
.cm-s-default .cm-link {
  color: #00c;
}
.cm-s-default .cm-error {
  color: #f00;
}
.cm-invalidchar {
  color: #f00;
}
.CodeMirror-composing {
  border-bottom: 2px solid;
}
div.CodeMirror span.CodeMirror-matchingbracket {
  color: #0b0;
}
div.CodeMirror span.CodeMirror-nonmatchingbracket {
  color: #a22;
}
.CodeMirror-matchingtag {
  background: rgba(255, 150, 0, .3);
}
.CodeMirror-activeline-background {
  background: #e8f2ff;
}
.CodeMirror {
  position: relative;
  overflow: hidden;
  background: white;
}
.CodeMirror-scroll {
  overflow: scroll !important;
  margin-bottom: -50px;
  margin-right: -50px;
  padding-bottom: 50px;
  height: 100%;
  outline: none;
  position: relative;
}
.CodeMirror-sizer {
  position: relative;
  border-right: 50px solid transparent;
}
.CodeMirror-vscrollbar,
.CodeMirror-hscrollbar,
.CodeMirror-scrollbar-filler,
.CodeMirror-gutter-filler {
  position: absolute;
  z-index: 6;
  display: none;
  outline: none;
}
.CodeMirror-vscrollbar {
  right: 0;
  top: 0;
  overflow-x: hidden;
  overflow-y: scroll;
}
.CodeMirror-hscrollbar {
  bottom: 0;
  left: 0;
  overflow-y: hidden;
  overflow-x: scroll;
}
.CodeMirror-scrollbar-filler {
  right: 0;
  bottom: 0;
}
.CodeMirror-gutter-filler {
  left: 0;
  bottom: 0;
}
.CodeMirror-gutters {
  position: absolute;
  left: 0;
  top: 0;
  min-height: 100%;
  z-index: 3;
}
.CodeMirror-gutter {
  white-space: normal;
  height: 100%;
  display: inline-block;
  vertical-align: top;
  margin-bottom: -50px;
}
.CodeMirror-gutter-wrapper {
  position: absolute;
  z-index: 4;
  background: none !important;
  border: none !important;
}
.CodeMirror-gutter-background {
  position: absolute;
  top: 0;
  bottom: 0;
  z-index: 4;
}
.CodeMirror-gutter-elt {
  position: absolute;
  cursor: default;
  z-index: 4;
}
.CodeMirror-gutter-wrapper ::selection {
  background-color: transparent;
}
.CodeMirror-gutter-wrapper ::-moz-selection {
  background-color: transparent;
}
.CodeMirror-lines {
  cursor: text;
  min-height: 1px;
}
.CodeMirror pre.CodeMirror-line,
.CodeMirror pre.CodeMirror-line-like {
  -moz-border-radius: 0;
  -webkit-border-radius: 0;
  border-radius: 0;
  border-width: 0;
  background: transparent;
  font-family: inherit;
  font-size: inherit;
  margin: 0;
  white-space: pre;
  word-wrap: normal;
  line-height: inherit;
  color: inherit;
  z-index: 2;
  position: relative;
  overflow: visible;
  -webkit-tap-highlight-color: transparent;
  -webkit-font-variant-ligatures: contextual;
  font-variant-ligatures: contextual;
}
.CodeMirror-wrap pre.CodeMirror-line,
.CodeMirror-wrap pre.CodeMirror-line-like {
  word-wrap: break-word;
  white-space: pre-wrap;
  word-break: normal;
}
.CodeMirror-linebackground {
  position: absolute;
  left: 0;
  right: 0;
  top: 0;
  bottom: 0;
  z-index: 0;
}
.CodeMirror-linewidget {
  position: relative;
  z-index: 2;
  padding: 0.1px;
}
.CodeMirror-widget {
}
.CodeMirror-rtl pre {
  direction: rtl;
}
.CodeMirror-code {
  outline: none;
}
.CodeMirror-scroll,
.CodeMirror-sizer,
.CodeMirror-gutter,
.CodeMirror-gutters,
.CodeMirror-linenumber {
  -moz-box-sizing: content-box;
  box-sizing: content-box;
}
.CodeMirror-measure {
  position: absolute;
  width: 100%;
  height: 0;
  overflow: hidden;
  visibility: hidden;
}
.CodeMirror-cursor {
  position: absolute;
  pointer-events: none;
}
.CodeMirror-measure pre {
  position: static;
}
div.CodeMirror-cursors {
  visibility: hidden;
  position: relative;
  z-index: 3;
}
div.CodeMirror-dragcursors {
  visibility: visible;
}
.CodeMirror-focused div.CodeMirror-cursors {
  visibility: visible;
}
.CodeMirror-selected {
  background: #d9d9d9;
}
.CodeMirror-focused .CodeMirror-selected {
  background: #d7d4f0;
}
.CodeMirror-crosshair {
  cursor: crosshair;
}
.CodeMirror-line::selection,
.CodeMirror-line > span::selection,
.CodeMirror-line > span > span::selection {
  background: #d7d4f0;
}
.CodeMirror-line::-moz-selection,
.CodeMirror-line > span::-moz-selection,
.CodeMirror-line > span > span::-moz-selection {
  background: #d7d4f0;
}
.cm-searching {
  background-color: #ffa;
  background-color: rgba(255, 255, 0, .4);
}
.cm-force-border {
  padding-right: .1px;
}
@media print {
  .CodeMirror div.CodeMirror-cursors {
    visibility: hidden;
  }
}
.cm-tab-wrap-hack:after {
  content: "";
}
span.CodeMirror-selectedtext {
  background: none;
}
/*# sourceMappingURL=index.css.map */