@font-face {
  font-family: KaTeX_AMS;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_AMS-Regular.woff2) format("woff2"),
    url(fonts/KaTeX_AMS-Regular.woff) format("woff"),
    url(fonts/KaTeX_AMS-Regular.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Caligraphic;
  font-style: normal;
  font-weight: 700;
  src: url(fonts/KaTeX_Caligraphic-Bold.woff2) format("woff2"),
    url(fonts/KaTeX_Caligraphic-Bold.woff) format("woff"),
    url(fonts/KaTeX_Caligraphic-Bold.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Caligraphic;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Caligraphic-Regular.woff2) format("woff2"),
    url(fonts/KaTeX_Caligraphic-Regular.woff) format("woff"),
    url(fonts/KaTeX_Caligraphic-Regular.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Fraktur;
  font-style: normal;
  font-weight: 700;
  src: url(fonts/KaTeX_Fraktur-Bold.woff2) format("woff2"),
    url(fonts/KaTeX_Fraktur-Bold.woff) format("woff"),
    url(fonts/KaTeX_Fraktur-Bold.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Fraktur;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Fraktur-Regular.woff2) format("woff2"),
    url(fonts/KaTeX_Fraktur-Regular.woff) format("woff"),
    url(fonts/KaTeX_Fraktur-Regular.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Main;
  font-style: normal;
  font-weight: 700;
  src: url(fonts/KaTeX_Main-Bold.woff2) format("woff2"),
    url(fonts/KaTeX_Main-Bold.woff) format("woff"),
    url(fonts/KaTeX_Main-Bold.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Main;
  font-style: italic;
  font-weight: 700;
  src: url(fonts/KaTeX_Main-BoldItalic.woff2) format("woff2"),
    url(fonts/KaTeX_Main-BoldItalic.woff) format("woff"),
    url(fonts/KaTeX_Main-BoldItalic.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Main;
  font-style: italic;
  font-weight: 400;
  src: url(fonts/KaTeX_Main-Italic.woff2) format("woff2"),
    url(fonts/KaTeX_Main-Italic.woff) format("woff"),
    url(fonts/KaTeX_Main-Italic.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Main;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Main-Regular.woff2) format("woff2"),
    url(fonts/KaTeX_Main-Regular.woff) format("woff"),
    url(fonts/KaTeX_Main-Regular.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Math;
  font-style: italic;
  font-weight: 700;
  src: url(fonts/KaTeX_Math-BoldItalic.woff2) format("woff2"),
    url(fonts/KaTeX_Math-BoldItalic.woff) format("woff"),
    url(fonts/KaTeX_Math-BoldItalic.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Math;
  font-style: italic;
  font-weight: 400;
  src: url(fonts/KaTeX_Math-Italic.woff2) format("woff2"),
    url(fonts/KaTeX_Math-Italic.woff) format("woff"),
    url(fonts/KaTeX_Math-Italic.ttf) format("truetype");
}
@font-face {
  font-family: "KaTeX_SansSerif";
  font-style: normal;
  font-weight: 700;
  src: url(fonts/KaTeX_SansSerif-Bold.woff2) format("woff2"),
    url(fonts/KaTeX_SansSerif-Bold.woff) format("woff"),
    url(fonts/KaTeX_SansSerif-Bold.ttf) format("truetype");
}
@font-face {
  font-family: "KaTeX_SansSerif";
  font-style: italic;
  font-weight: 400;
  src: url(fonts/KaTeX_SansSerif-Italic.woff2) format("woff2"),
    url(fonts/KaTeX_SansSerif-Italic.woff) format("woff"),
    url(fonts/KaTeX_SansSerif-Italic.ttf) format("truetype");
}
@font-face {
  font-family: "KaTeX_SansSerif";
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_SansSerif-Regular.woff2) format("woff2"),
    url(fonts/KaTeX_SansSerif-Regular.woff) format("woff"),
    url(fonts/KaTeX_SansSerif-Regular.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Script;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Script-Regular.woff2) format("woff2"),
    url(fonts/KaTeX_Script-Regular.woff) format("woff"),
    url(fonts/KaTeX_Script-Regular.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Size1;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Size1-Regular.woff2) format("woff2"),
    url(fonts/KaTeX_Size1-Regular.woff) format("woff"),
    url(fonts/KaTeX_Size1-Regular.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Size2;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Size2-Regular.woff2) format("woff2"),
    url(fonts/KaTeX_Size2-Regular.woff) format("woff"),
    url(fonts/KaTeX_Size2-Regular.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Size3;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Size3-Regular.woff2) format("woff2"),
    url(fonts/KaTeX_Size3-Regular.woff) format("woff"),
    url(fonts/KaTeX_Size3-Regular.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Size4;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Size4-Regular.woff2) format("woff2"),
    url(fonts/KaTeX_Size4-Regular.woff) format("woff"),
    url(fonts/KaTeX_Size4-Regular.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Typewriter;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Typewriter-Regular.woff2) format("woff2"),
    url(fonts/KaTeX_Typewriter-Regular.woff) format("woff"),
    url(fonts/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;
}
.katex * {
  -ms-high-contrast-adjust: none !important;
  border-color: currentColor;
}
.katex .katex-version:after {
  content: "0.16.9";
}
.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 .mathboldfrak,
.katex .textboldfrak {
  font-family: KaTeX_Fraktur;
  font-weight: 700;
}
.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: 0.27777778em;
  margin-right: -0.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: 0.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: 0.71428571em;
}
.katex .fontsize-ensurer.reset-size3.size2,
.katex .sizing.reset-size3.size2 {
  font-size: 0.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: 0.625em;
}
.katex .fontsize-ensurer.reset-size4.size2,
.katex .sizing.reset-size4.size2 {
  font-size: 0.75em;
}
.katex .fontsize-ensurer.reset-size4.size3,
.katex .sizing.reset-size4.size3 {
  font-size: 0.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: 0.55555556em;
}
.katex .fontsize-ensurer.reset-size5.size2,
.katex .sizing.reset-size5.size2 {
  font-size: 0.66666667em;
}
.katex .fontsize-ensurer.reset-size5.size3,
.katex .sizing.reset-size5.size3 {
  font-size: 0.77777778em;
}
.katex .fontsize-ensurer.reset-size5.size4,
.katex .sizing.reset-size5.size4 {
  font-size: 0.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: 0.5em;
}
.katex .fontsize-ensurer.reset-size6.size2,
.katex .sizing.reset-size6.size2 {
  font-size: 0.6em;
}
.katex .fontsize-ensurer.reset-size6.size3,
.katex .sizing.reset-size6.size3 {
  font-size: 0.7em;
}
.katex .fontsize-ensurer.reset-size6.size4,
.katex .sizing.reset-size6.size4 {
  font-size: 0.8em;
}
.katex .fontsize-ensurer.reset-size6.size5,
.katex .sizing.reset-size6.size5 {
  font-size: 0.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: 0.41666667em;
}
.katex .fontsize-ensurer.reset-size7.size2,
.katex .sizing.reset-size7.size2 {
  font-size: 0.5em;
}
.katex .fontsize-ensurer.reset-size7.size3,
.katex .sizing.reset-size7.size3 {
  font-size: 0.58333333em;
}
.katex .fontsize-ensurer.reset-size7.size4,
.katex .sizing.reset-size7.size4 {
  font-size: 0.66666667em;
}
.katex .fontsize-ensurer.reset-size7.size5,
.katex .sizing.reset-size7.size5 {
  font-size: 0.75em;
}
.katex .fontsize-ensurer.reset-size7.size6,
.katex .sizing.reset-size7.size6 {
  font-size: 0.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: 0.34722222em;
}
.katex .fontsize-ensurer.reset-size8.size2,
.katex .sizing.reset-size8.size2 {
  font-size: 0.41666667em;
}
.katex .fontsize-ensurer.reset-size8.size3,
.katex .sizing.reset-size8.size3 {
  font-size: 0.48611111em;
}
.katex .fontsize-ensurer.reset-size8.size4,
.katex .sizing.reset-size8.size4 {
  font-size: 0.55555556em;
}
.katex .fontsize-ensurer.reset-size8.size5,
.katex .sizing.reset-size8.size5 {
  font-size: 0.625em;
}
.katex .fontsize-ensurer.reset-size8.size6,
.katex .sizing.reset-size8.size6 {
  font-size: 0.69444444em;
}
.katex .fontsize-ensurer.reset-size8.size7,
.katex .sizing.reset-size8.size7 {
  font-size: 0.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: 0.28935185em;
}
.katex .fontsize-ensurer.reset-size9.size2,
.katex .sizing.reset-size9.size2 {
  font-size: 0.34722222em;
}
.katex .fontsize-ensurer.reset-size9.size3,
.katex .sizing.reset-size9.size3 {
  font-size: 0.40509259em;
}
.katex .fontsize-ensurer.reset-size9.size4,
.katex .sizing.reset-size9.size4 {
  font-size: 0.46296296em;
}
.katex .fontsize-ensurer.reset-size9.size5,
.katex .sizing.reset-size9.size5 {
  font-size: 0.52083333em;
}
.katex .fontsize-ensurer.reset-size9.size6,
.katex .sizing.reset-size9.size6 {
  font-size: 0.5787037em;
}
.katex .fontsize-ensurer.reset-size9.size7,
.katex .sizing.reset-size9.size7 {
  font-size: 0.69444444em;
}
.katex .fontsize-ensurer.reset-size9.size8,
.katex .sizing.reset-size9.size8 {
  font-size: 0.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: 0.24108004em;
}
.katex .fontsize-ensurer.reset-size10.size2,
.katex .sizing.reset-size10.size2 {
  font-size: 0.28929605em;
}
.katex .fontsize-ensurer.reset-size10.size3,
.katex .sizing.reset-size10.size3 {
  font-size: 0.33751205em;
}
.katex .fontsize-ensurer.reset-size10.size4,
.katex .sizing.reset-size10.size4 {
  font-size: 0.38572806em;
}
.katex .fontsize-ensurer.reset-size10.size5,
.katex .sizing.reset-size10.size5 {
  font-size: 0.43394407em;
}
.katex .fontsize-ensurer.reset-size10.size6,
.katex .sizing.reset-size10.size6 {
  font-size: 0.48216008em;
}
.katex .fontsize-ensurer.reset-size10.size7,
.katex .sizing.reset-size10.size7 {
  font-size: 0.57859209em;
}
.katex .fontsize-ensurer.reset-size10.size8,
.katex .sizing.reset-size10.size8 {
  font-size: 0.69431051em;
}
.katex .fontsize-ensurer.reset-size10.size9,
.katex .sizing.reset-size10.size9 {
  font-size: 0.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: 0.20096463em;
}
.katex .fontsize-ensurer.reset-size11.size2,
.katex .sizing.reset-size11.size2 {
  font-size: 0.24115756em;
}
.katex .fontsize-ensurer.reset-size11.size3,
.katex .sizing.reset-size11.size3 {
  font-size: 0.28135048em;
}
.katex .fontsize-ensurer.reset-size11.size4,
.katex .sizing.reset-size11.size4 {
  font-size: 0.32154341em;
}
.katex .fontsize-ensurer.reset-size11.size5,
.katex .sizing.reset-size11.size5 {
  font-size: 0.36173633em;
}
.katex .fontsize-ensurer.reset-size11.size6,
.katex .sizing.reset-size11.size6 {
  font-size: 0.40192926em;
}
.katex .fontsize-ensurer.reset-size11.size7,
.katex .sizing.reset-size11.size7 {
  font-size: 0.48231511em;
}
.katex .fontsize-ensurer.reset-size11.size8,
.katex .sizing.reset-size11.size8 {
  font-size: 0.57877814em;
}
.katex .fontsize-ensurer.reset-size11.size9,
.katex .sizing.reset-size11.size9 {
  font-size: 0.69453376em;
}
.katex .fontsize-ensurer.reset-size11.size10,
.katex .sizing.reset-size11.size10 {
  font-size: 0.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: 0.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 0.5em;
}
.katex .cd-arrow-pad {
  padding: 0 0.55556em 0 0.27778em;
}
.katex .mover,
.katex .munder,
.katex .x-arrow {
  text-align: center;
}
.katex .boxpad {
  padding: 0 0.3em;
}
.katex .fbox,
.katex .fcolorbox {
  border: 0.04em solid;
  box-sizing: border-box;
}
.katex .cancel-pad {
  padding: 0 0.2em;
}
.katex .cancel-lap {
  margin-left: -0.2em;
  margin-right: -0.2em;
}
.katex .sout {
  border-bottom-style: solid;
  border-bottom-width: 0.08em;
}
.katex .angl {
  border-right: 0.049em solid;
  border-top: 0.049em solid;
  box-sizing: border-box;
  margin-right: 0.03889em;
}
.katex .anglpad {
  padding: 0 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% + 0.3em);
  text-align: left;
}
.katex .cd-label-right {
  display: inline-block;
  left: calc(50% + 0.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;
}

/* GT America Font Face Declarations - Optimized with WOFF2 */

/* Font Loading Strategy:
   1. WOFF2 format with WOFF fallback for broader compatibility
   2. Multiple URL formats to handle different deployment scenarios
   3. font-display: swap for better performance
   4. Explicit format declarations for better browser support
*/

/* Light Weight (300) */
@font-face {
  font-display: swap;
  font-family: "GT America";
  font-style: normal;
  font-weight: 300;
  src: url("/fonts/gt-america/GT-America-Standard-Light.woff2") format("woff2");
}

@font-face {
  font-display: swap;
  font-family: "GT America";
  font-style: italic;
  font-weight: 300;
  src: url("/fonts/gt-america/GT-America-Standard-Light-Italic.woff2")
    format("woff2");
}

/* Regular Weight (400) */
@font-face {
  font-display: swap;
  font-family: "GT America";
  font-style: normal;
  font-weight: 400;
  src: url("/fonts/gt-america/GT-America-Standard-Regular.woff2")
    format("woff2");
}

@font-face {
  font-display: swap;
  font-family: "GT America";
  font-style: italic;
  font-weight: 400;
  src: url("/fonts/gt-america/GT-America-Standard-Regular-Italic.woff2")
    format("woff2");
}

/* Medium Weight (500) */
@font-face {
  font-display: swap;
  font-family: "GT America";
  font-style: normal;
  font-weight: 500;
  src: url("/fonts/gt-america/GT-America-Standard-Medium.woff2") format("woff2");
}

@font-face {
  font-display: swap;
  font-family: "GT America";
  font-style: italic;
  font-weight: 500;
  src: url("/fonts/gt-america/GT-America-Standard-Medium-Italic.woff2")
    format("woff2");
}

/* Bold Weight (700) */
@font-face {
  font-display: swap;
  font-family: "GT America";
  font-style: normal;
  font-weight: 700;
  src: url("/fonts/gt-america/GT-America-Standard-Bold.woff2") format("woff2");
}

@font-face {
  font-display: swap;
  font-family: "GT America";
  font-style: italic;
  font-weight: 700;
  src: url("/fonts/gt-america/GT-America-Standard-Bold-Italic.woff2")
    format("woff2");
}

/* Black Weight (900) - Added for extra bold needs */
@font-face {
  font-display: swap;
  font-family: "GT America";
  font-style: normal;
  font-weight: 900;
  src: url("/fonts/gt-america/GT-America-Standard-Black.woff2") format("woff2");
}

@font-face {
  font-display: swap;
  font-family: "GT America";
  font-style: italic;
  font-weight: 900;
  src: url("/fonts/gt-america/GT-America-Standard-Black-Italic.woff2")
    format("woff2");
}

/* CSS Custom Properties for Font Stack */
:root {
  --font-sans: "GT America", -apple-system, BlinkMacSystemFont, "Segoe UI",
    Roboto, "Helvetica Neue", Arial, sans-serif;
  --font-sans-fallback: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto,
    "Helvetica Neue", Arial, sans-serif;
}

/* Utility class for GT America font */
.font-gt-america {
  font-family: var(--font-sans);
}

/* Font weight utilities */
.font-light {
  font-weight: 300;
}

.font-regular {
  font-weight: 400;
}

.font-medium {
  font-weight: 500;
}

.font-bold {
  font-weight: 700;
}

.font-black {
  font-weight: 900;
}

/* Debug class to test font loading */
.font-test-gt-america {
  font-family: var(--font-sans);
  font-size: 16px;
  padding: 10px;
  background: #f0f0f0;
  margin: 10px 0;
}

.font-test-gt-america::before {
  content: "GT America Font Test: ";
  font-weight: 700;
}

.font-test-gt-america::after {
  content: " (Light 300, Regular 400, Medium 500, Bold 700, Black 900)";
  font-weight: 300;
  font-style: italic;
}

/* Preload critical font weights for performance */
/* Note: Preload links are already added in baseof.html template
   Font paths use both absolute and relative URLs for maximum compatibility
*/

/* Debug: Force font loading with data URI fallback for testing */
@supports (font-display: swap) {
  .font-debug-info::after {
    content: "Font support: YES";
    font-family: "GT America", sans-serif;
  }
}

/* Chakra Petch (self-hosted) */
@font-face {
  font-family: "Chakra Petch";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: local("Chakra Petch Regular"), local("ChakraPetch-Regular"),
    url("/fonts/chakra-petch/chakra-petch-v12-latin-regular.woff2")
      format("woff2");
}

@font-face {
  font-family: "Chakra Petch";
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: local("Chakra Petch Medium"), local("ChakraPetch-Medium"),
    url("/fonts/chakra-petch/chakra-petch-v12-latin-500.woff2") format("woff2");
}

@font-face {
  font-family: "Chakra Petch";
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: local("Chakra Petch SemiBold"), local("ChakraPetch-SemiBold"),
    url("/fonts/chakra-petch/chakra-petch-v12-latin-600.woff2") format("woff2");
}

:root {
  --bg_h: white;
  --bg: white;
  --bg_s: white;
  --bg_code: #f3f3f2;
  --bg1: #ebdbb2;
  --bg2: #d5c4a1;
  --bg3: #bdae93;
  --bg4: #a89984;
  --fg: #282828;
  --fg_code: #64a24e;
  --fg1: #3c3836;
  --fg2: #504945;
  --fg3: #665c54;
  --fg4: #676767;
  --fg5: #d4d0cd;
  --red: #ef402c;
  --green: #9cc355;
  --yellow: #b57614;
  --blue: #0e9ee4;
  --purple: #8f3f71;
  --aqua: #427b58;
  --orange: #af3a03;
  --gray: #817d79;
  --red-dim: #cc2412;
  --green-dim: #98971a;
  --yellow-dim: #d79921;
  --blue-dim: #458598;
  --purple-dim: #b16286;
  --aqua-dim: #689d6a;
  --orange-dim: #d65d0e;
  --gray-dim: #817d79;
  --hover-bg: rgba(128, 128, 128, 0.12);
  --font-sans: "GT America", -apple-system, BlinkMacSystemFont, "Segoe UI",
    Roboto, "Helvetica Neue", Arial, sans-serif;
  --font-sans-fallback: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto,
    "Helvetica Neue", Arial, sans-serif;
}
.darkmode {
  --bg_h: #000000;
  --bg: #000000;
  --bg_s: #1a1a1a;
  --bg_code: #1a1a1a;
  --bg1: #2a2a2a;
  --bg2: #3a3a3a;
  --bg3: #4a4a4a;
  --bg4: #5a5a5a;
  --fg: #ffffff;
  --fg_code: #8ec07c;
  --fg1: #f0f0f0;
  --fg2: #e0e0e0;
  --fg3: #d0d0d0;
  --fg4: #c0c0c0;
  --fg5: #b0b0b0;
  --red: #ef402c;
  --green: #9cc355;
  --yellow: #fabd2f;
  --blue: #0e9ee4;
  --purple: #d3869b;
  --aqua: #8ec07c;
  --gray: #817d79;
  --orange: #fe8019;
  --red-dim: #cc2412;
  --green-dim: #98971a;
  --yellow-dim: #d79921;
  --blue-dim: #458588;
  --purple-dim: #b16286;
  --aqua-dim: #689d6a;
  --gray-dim: #a89984;
  --orange-dim: #d65d0e;
  --hover-bg: rgba(128, 128, 128, 0.4);
}

/* Iowan Old Style Font Declarations */
@font-face {
  font-display: swap;
  font-family: "Iowan Old Style BT";
  font-style: normal;
  font-weight: 400;
  src: url("/fonts/iowan-old-style/iowan-old-style_regular.woff2")
    format("woff2");
}
@font-face {
  font-display: swap;
  font-family: "Iowan Old Style BT";
  font-style: italic;
  font-weight: 400;
  src: url("/fonts/iowan-old-style/iowan-old-style_italic.woff2")
    format("woff2");
}
@font-face {
  font-display: swap;
  font-family: "Iowan Old Style BT";
  font-style: normal;
  font-weight: 700;
  src: url("/fonts/iowan-old-style/iowan-old-style_bold.woff2") format("woff2");
}
@font-face {
  font-display: swap;
  font-family: "Iowan Old Style BT";
  font-style: italic;
  font-weight: 700;
  src: url("/fonts/iowan-old-style/iowan-old-style_bold-italic.woff2")
    format("woff2");
}

/* GT America fonts are now loaded from fonts.css */

@font-face {
  font-display: swap;
  font-family: "Iowan Old Style BT";
  font-style: normal;
  font-weight: 900;
  src: url("/fonts/iowan-old-style/iowan-old-style_black.woff2") format("woff2");
}
@font-face {
  font-display: swap;
  font-family: "Iowan Old Style BT";
  font-style: italic;
  font-weight: 900;
  src: url("/fonts/iowan-old-style/iowan-old-style_black-italic.woff2")
    format("woff2");
}

/* Latin Modern Fonts (for code blocks) */
@font-face {
  font-display: swap;
  font-family: latin modern mono;
  font-style: normal;
  font-weight: 700;
  src: url(../fonts/lmmono-bold.woff);
}
@font-face {
  font-display: swap;
  font-family: latin modern mono;
  font-style: italic;
  font-weight: 700;
  src: url(../fonts/lmmono-bolditalic.woff);
}
@font-face {
  font-display: swap;
  font-family: latin modern mono;
  font-style: italic;
  font-weight: 400;
  src: url(../fonts/lmmono-italic.woff);
}
@font-face {
  font-display: swap;
  font-family: latin modern mono;
  font-style: normal;
  font-weight: 400;
  src: url(../fonts/lmmono-normal.woff);
}
@font-face {
  font-display: swap;
  font-family: latin modern roman;
  font-style: normal;
  font-weight: 700;
  src: url(../fonts/lmroman-bold.woff);
}
@font-face {
  font-display: swap;
  font-family: latin modern roman;
  font-style: italic;
  font-weight: 700;
  src: url(../fonts/lmroman-bolditalic.woff);
}
@font-face {
  font-display: swap;
  font-family: latin modern roman;
  font-style: italic;
  font-weight: 400;
  src: url(../fonts/lmroman-italic.woff);
}
@font-face {
  font-display: swap;
  font-family: latin modern roman;
  font-style: normal;
  font-weight: 400;
  src: url(../fonts/lmroman-normal.woff);
}
* {
  box-sizing: border-box;
  margin: 0;
  padding: 0;
}
html {
  overflow-y: scroll;
  overflow-x: hidden; /* prevent horizontal scrolling globally */
  scrollbar-width: thin;
  scrollbar-color: var(--fg4) var(--bg);
}
body {
  font-family: "Iowan Old Style BT", Georgia, serif;
  font-size: 17px;
  line-height: 1.5;
  background-color: var(--bg);
  color: var(--fg);
  margin: 0;
  padding: 0;
  min-height: 100vh;
  overflow-x: hidden; /* ensure only vertical scrolling on body */
}
#main-title {
  font-family: "Iowan Old Style BT", Georgia, serif;
  font-weight: 400;
  text-transform: none;
  letter-spacing: normal;
  text-wrap: balance;
  font-size: 17px;
  color: var(--fg4);
  position: relative;
  overflow: hidden;
  display: inline-block;
}
#main-title .title-main {
  font-style: normal;
  color: var(--fg) !important;
}
#main-title .title-sub {
  font-style: italic;
  color: var(--fg4);
  margin-left: 8px;
}

.dark-mode-toggle {
  color: var(--fg);
  border: none;
  cursor: pointer;
  background-color: var(--bg);
  padding: 0.5rem;
  border-radius: 50%;
  transition: background-color 0.3s ease-in-out;
  display: flex;
  align-items: center;
  justify-content: center;
  height: 2.5rem;
  width: 2.5rem;
  flex-shrink: 0;
  margin-left: 1.5rem;
}
.dark-mode-toggle:hover {
  color: var(--fg1);
  background-color: var(--hover-bg);
}


/* Mobile full-screen overlay menu */
.mobile-menu-overlay {
  position: fixed;
  inset: 0;
  background: var(--bg);
  opacity: 0;
  visibility: hidden;
  pointer-events: none;
  transition: opacity 0.25s ease, visibility 0.25s ease;
  z-index: 1000;
  display: flex;
  align-items: center;
  justify-content: center;
}
.mobile-menu-overlay.open {
  opacity: 1;
  visibility: visible;
  pointer-events: auto;
}

.mobile-menu-nav {
  display: flex;
  flex-direction: column;
  gap: 1.25rem;
  text-align: center;
}
.mobile-menu-nav a {
  font-family: var(--font-sans);
  font-weight: 400;
  font-size: 20px;
  letter-spacing: -0.01em;
  color: var(--fg) !important;
  text-decoration: none;
}

/* Keep header/hamburger above overlay for close interaction */
#header .site-header,
.hamburger {
  z-index: 1001;
}

/* Prevent background scroll when menu is open */
body.menu-open {
  overflow: hidden;
}
@media screen and (max-width: 768px) {
  #header .site-header {
    position: fixed;
    top: 0;
    left: 0;
    right: 0;
    z-index: 1002; /* stay above overlay (1000) */
    background: var(--bg);
    padding: 0.75rem 1rem;
    height: 50px; /* Slightly smaller but still fixed on mobile */
  }

  .dark-mode-toggle {
    height: 2rem;
    width: 2rem;
    margin-left: 1rem;
  }
}
body:not(.darkmode) #sun {
  display: none;
}
body.darkmode #moon {
  display: none;
}
a {
  text-decoration: none;
  transition: color 0.3s ease-in-out, opacity 0.3s ease-in-out;
}
a:link {
  color: var(--fg4);
}
a:hover,
a:visited {
  color: var(--fg4);
  opacity: 1;
}
::selection {
  background-color: rgba(0, 0, 0, 0.12);
}
.darkmode ::selection {
  background-color: rgba(240, 240, 240, 0.5);
  color: var(--fg);
}
time {
  color: var(--fg4);
  min-width: 5rem;
}
hr {
  background-color: var(--fg4);
  margin-top: 1rem;
  margin-bottom: 1rem;
  border: 0;
  height: 1px;
}
#wrapper {
  background-color: var(--bg);
  display: flex;
  flex-direction: column;
  font-family: "Iowan Old Style BT", Georgia, serif;
  min-height: 100vh;
  overflow-wrap: break-word;
  padding: 0 1rem;
}
@media screen and (max-width: 768px) {
  #wrapper {
    padding-left: 0.33rem;
    padding-right: 0.33rem;
  }
}
.paginator {
  align-items: center;
  display: flex;
  flex-direction: row;
  justify-content: space-between;
  margin-top: 3.5rem;
  position: relative;
}

/* Center the back-to-top link */
.paginator #back-to-top {
  position: absolute;
  left: 50%;
  transform: translateX(-50%);
}
::-webkit-scrollbar {
  background-color: var(--bg);
  height: 8px;
  width: 8px;
}
::-webkit-scrollbar-thumb {
  background-color: var(--fg4);
}
::-webkit-scrollbar-thumb:hover {
  background-color: var(--fg1);
}
#header {
  display: flex;
  justify-content: flex-end; 
  flex-direction: column;
  background-color: var(--bg);
  transition: transform 0.3s ease;
  box-sizing: border-box;
   height:80px; /* Fixed height for consistency */
  padding: 0 1rem;
}


@media screen and (min-width: 769px) {
  /* Reduce header inner padding on desktop where wrapper already has 1rem */
  #header .site-header {
    padding-left: 0.33rem;
    padding-right: 0.33rem;
  }
}

/* Ensure sticky mobile header overrides generic relative positioning */
@media screen and (max-width: 768px) {
  #header .site-header {
    position: fixed;
    top: 0;
    left: 0;
    right: 0;
    z-index: 1002;
    background: var(--bg);
  }
}

/* Offset content so it doesn't hide under the fixed header on mobile */
@media screen and (max-width: 768px) {
  #wrapper {
    padding-top: 30px;
  }
}

/* Navbar spacer for homepage */
.navbar-spacer {
  flex-shrink: 0;
  /* Invisible spacer to maintain layout */
}
#header .site-header > h1 {
  text-align: center;
  margin: 0;
  padding: 0;
}
@media screen and (min-width: 768px) {
  #header .site-header > h1 {
    font-size: 2.8rem;
  }
}



/* Removed general header link color - now handled by specific selectors */
main {
  margin: 0;
  flex: 1;
  padding-left: 1rem;
  padding-right: 1rem;
}
#main {
  align-self: center;
  display: flex;
  flex-direction: column;
  flex-grow: 1;
  width: 100%;
  margin: auto;
  max-width: 680px;
  padding: 1rem;
  animation: fadeIn 0.6s ease-in-out;
}
@media screen and (max-width: 768px) {
  #main {
    width: 100%;
  }
}
#footer {
  font-family: var(--font-sans);
  font-weight: 400;
  font-style: normal;
  color: var(--fg4);
  align-items: center;
  display: flex;
  font-size: 0.9rem;
  letter-spacing: -0.01em;
  flex-direction: column;
  margin-top: 5rem;
  margin-bottom: 1rem;
}

/* Ensure all footer text uses GT America */
#footer * {
  font-family: inherit !important;
}
#footer > .footnote {
  text-align: center;
}
#footer > div > span > a {
  color: var(--fg4);
  text-decoration: none;
  position: relative;
  transition: color 0.3s ease-in-out, opacity 0.3s ease-in-out;
}
#footer > div > span > a:after {
  background-color: var(--fg4);
  content: "";
  position: absolute;
  width: 100%;
  transform: scaleX(0);
  height: 0.5px;
  bottom: 0;
  left: 0;
  transform-origin: bottom right;
  transition: transform 0.2s ease-out, opacity 0.3s ease-in-out;
  opacity: 1;
}
#footer > div > span > a:hover {
  color: var(--fg3);
  opacity: 1;
}
#footer > div > span > a:hover:after {
  transform: scaleX(1);
  transform-origin: bottom left;
  opacity: 0.5;
}

/* Footer layout */
#footer > div {
  display: flex;
  flex-wrap: wrap;
  justify-content: center;
  align-items: center;
  text-align: center;
}

#footer > div > span {
  padding: 0 0.25rem;
}

/* Responsive styles for narrow screens */
@media (max-width: 600px) {
  /* Hide navbar on very small screens to avoid crowding */
  .top-nav {
    display: none;
  }
  .hamburger {
    display: inline-block;
  }
  /* Slightly reduce space on the right of the hamburger */
  #header .site-header {
    padding-right: 0.6rem;
  }


  #footer {
    align-items: flex-start;
    padding-left: 1rem;
    padding-right: 1rem;
  }

  #footer > div {
    flex-direction: column;
    align-items: flex-start;
    text-align: left;
    width: 100%;
  }

  #footer > div > span {
    width: 100%;
    padding: 0.25rem 0;
    font-size: 0.9rem;
  }

  /* Hide all footer separators on mobile */
  #footer > div > .footer-separator {
    display: none;
  }
}


.icon svg {
  fill: var(--fg);
  margin-right: 0.3em;
  margin-left: 0.3em;
}
.taxonomy-svg {
  padding: 0;
  top: 0.125em;
  position: relative;
}
.row {
  margin-left: 2rem;
}
@keyframes fadeIn {
  from {
    opacity: 0;
  }
  to {
    opacity: 1;
  }
}



.logo-container {
  margin-inline: auto;
  padding-block: 1rem 0.4rem;
  text-align: right;
  position:relative;
  height:70px;
 
}
@media (min-width: 1170px) {
	.logo-container {
	width: calc(660px + 3.2rem);
	text-align: right;
  position:relative;
	}
}
@media (max-width: 1170px) {
	.logo-container {
	max-width: calc(660px + 3.2rem);
	text-align: right;
  position:relative;
  width:100%;
	}
}

#logoblok{
	width:60px;
	position:absolute;
	top:10px;
	right:5px;
}

@media (prefers-reduced-motion: reduce) {
  .logo {
    animation: none;
  }
}

@keyframes float {
  0% {
    transform: translateY(5px);
  }
  50% {
    transform: translateY(-5px);
  }
  100% {
    transform: translateY(5px);
  }
}

@keyframes gradRotate {
  0% {
    transform: translate(-50%, -50%) rotate(0deg);
  }
  100% {
    transform: translate(-50%, -50%) rotate(360deg);
  }
}

/* Homepage and list page styles */
/* Ensure outer container accounts for horizontal padding without reducing 660px text width */
#main.index.content {
  max-width: calc(660px + 3.2rem); /* 660 + 2 * 1.6rem */
}

/* Non-blog single pages (e.g., privacy, terms) */
#main.content > article.content {
  max-width: 660px;
  margin-left: auto;
  margin-right: auto;
}

/* Blog index page container width includes horizontal padding */
#main.index.list {
  max-width: calc(660px + 3.2rem); /* 660 + 2 * 1.6rem */
}

/* Constrain inner content to 660px and center it on list pages */
#main.index.list .blog-page-title,
#main.index.list .content,
#main.index.list .post-group {
  max-width: 660px;
  margin-left: 0;
  margin-right: 0;
}

#main.index .post-group ul {
  list-style-type: none;
}

/* Remove bullet points from homepage content lists (e.g., job listings) */
#main.index.content ul {
  list-style-type: none;
  margin-left: 0;
  padding-left: 0;
}

#main.index.content ul li {

  justify-content: space-between;
  align-items: baseline;
  margin-bottom: 0.75rem;
}

/* Style job links - no underline by default, default text color */
#main.index.content ul li a {
  color: var(--fg);
  text-decoration: none;
  position: relative;
  transition: color 0.3s ease-in-out;
}



/* Style job location text as secondary */
#main.index.content .job-location {
  color: var(--fg4);
  margin-left: 2rem;
}

/* Responsive job listings for narrow screens */
@media (max-width: 600px) {
  #main.index.content ul li {
    /*
	flex-direction: column;
    align-items: flex-start;
	*/
  }


  /* Left-align section titles on mobile */
  #main.index.content h2[style*="text-align: center"] {
    text-align: left !important;
  }
}

#main.index.list .post-group ul {
  padding-top: 2rem;
}

#main.index .post-group ul li {
  margin-bottom: 0;
}


#main.index .post-group .post-info {
  display: flex;
  flex-direction: column;
  align-items: flex-start;
  gap: 0.25rem;
}

#main.index .post-group .post-info .post-subtitle {
  font-size: 0.95em;
  color: var(--fg1);
  line-height: 1.4;
  transition: opacity 0.2s ease;
}

#main.index .post-group .post-info .author {
  display: block;
  font-size: 16px;
  color: var(--fg4);
  font-family: var(--font-sans);
  padding-top: 10px;
  transition: opacity 0.2s ease;
}

#main.index .post-group .post-item-link .desktop-time {
  text-align: left;
  font-size: 15px;
  font-family: var(--font-sans);
  color: var(--fg4);
  white-space: nowrap;
  transition: opacity 0.2s ease;
}

@media screen and (min-width: 768px) {
  #main.index .post-group ul {
    margin-left: 0;
    padding-left: 0;
  }
}

/* Hide mobile time on desktop */
.mobile-time {
  display: none;
}

/* Author-date wrapper for mobile layout */
.author-date-wrapper {
  display: block;
}

@media screen and (max-width: 767px) {
  #main.index .post-group .post-item-link {
    display: block;
    padding: 1.6rem;
    margin: 0 -1.6rem;
  }

  /* Hide desktop time on mobile */
  .desktop-time {
    display: none;
  }

  /* Show mobile time */
  .mobile-time {
    display: inline;
    font-size: 16px;
    color: var(--fg4);
    font-family: var(--font-sans);
    transition: opacity 0.2s ease;
  }

  /* Layout author and date on same line */
  .author-date-wrapper {
    display: flex;
    align-items: baseline;
    gap: 0.8rem;
  }

  #main.index .post-group .post-info {
    display: flex;
    flex-direction: column;
    gap: 0.25rem;
  }
}

/* Match mobile horizontal padding to blog posts (left/right = 1.6rem) */
@media (max-width: 1170px) {
  #main.index,
  #main.content {
    padding-left: 1.6rem;
    padding-right: 1.6rem;
  }
}

/* Post title styling */
#main.index .post-group .post-title {
  color: var(--fg);
  font-size: 17px;
  font-weight: bold;
  position: relative;
  display: inline-block;
  transition: opacity 0.2s ease;
}

/* Hover styles: make text darker and underline the title */
#main.index .post-group .post-item-link:hover .post-info .post-title {
  color: var(--fg);
  text-decoration: underline;
  text-decoration-color: color-mix(in srgb, var(--fg2) 20%, transparent);
  text-underline-offset: 2px;
}

#main.index .post-group .post-item-link:hover .post-info .post-subtitle {
  color: var(--fg);
}

#main.index .post-group .post-item-link:hover .author,
#main.index .post-group .post-item-link:hover time,
#main.index .post-group .post-item-link:hover .desktop-time,
#main.index .post-group .post-item-link:hover .mobile-time {
  color: var(--fg3);
}

/* Blog page title styling */
.blog-page-title {
  font-family: var(--font-serif);
  font-size: 1.6rem;
  font-weight: 600;
  text-align: left;
  margin: 0;
  margin-bottom: 0.5rem;
  padding-top: 0.5rem;
  line-height: 1.1;
}

/* Blog page description - only on blog listing page */
main.list .content {
  font-style: italic;
}

/* Inline SVG chart styles */
.chart-line,
.chart-line-2pane {
  margin: 1rem 0;
}
.chart-line .chart-title,
.chart-line-2pane .chart-title {
  font-family: "Iowan Old Style BT", Georgia, serif;
  font-weight: 500;
  font-size: 24px;
  dominant-baseline: hanging;
  fill: var(--fg);
}
.chart-line text,
.chart-line-2pane text {
  font-family: var(--font-sans);
  fill: var(--fg2);
  font-size: 14px;
}
.chart-line .axis-label,
.chart-line-2pane .axis-label {
  font-family: "Iowan Old Style BT", Georgia, serif;
  font-size: 0.9rem;
  fill: var(--fg1);
}
.chart-line .axis-tick,
.chart-line-2pane .axis-tick {
  fill: var(--fg2);
  font-size: 0.8rem;
}
.chart-line .gridline,
.chart-line-2pane .gridline {
  stroke: color-mix(in srgb, var(--fg4) 20%, var(--bg) 80%);
  stroke-width: 1;
}
.chart-line .tick,
.chart-line-2pane .tick {
  stroke: var(--fg4);
}
.chart-line .axis-line,
.chart-line-2pane .axis-line {
  stroke: var(--fg4);
  stroke-width: 1;
}
.chart-line .line,
.chart-line-2pane .line {
  stroke: var(--series-color, var(--blue));
  stroke-width: var(--line-width, 1.7);
  fill: none;
}

/* Ensure both single- and two-pane figures share the same baseline styles */
figure.chart-line .line,
figure.chart-line-2pane .line {
  fill: none;
  stroke-width: 2px;
}
.chart-line .point,
.chart-line-2pane .point {
  fill: var(--series-color, var(--blue));
}
.chart-line .refline,
.chart-line-2pane .refline {
  stroke: var(--red);
  stroke-dasharray: 2 2;
  stroke-width: 2;
}
.chart-line .refline-label,
.chart-line-2pane .refline-label {
  font-family: "Iowan Old Style BT", Georgia, serif;
  fill: var(--fg2);
  font-size: 0.9rem;
}
.chart-line .legend-label,
.chart-line-2pane .legend-label {
  fill: var(--fg1);
  font-size: 14px;
}
.chart-line .legend-swatch,
.chart-line-2pane .legend-swatch {
  fill: var(--series-color, var(--blue));
}
.chart-line .legend-bg,
.chart-line-2pane .legend-bg {
  fill: color-mix(in srgb, var(--bg) 92%, var(--fg4) 8%);
  stroke: color-mix(in srgb, var(--fg4) 20%, var(--bg) 80%);
}
.chart-line .series-color-box,
.chart-line-2pane .series-color-box {
  fill: var(--series-color, var(--blue));
  stroke: color-mix(in srgb, var(--fg4) 20%, var(--bg) 80%);
  stroke-width: 0.5;
}
.chart-line .series-label,
.chart-line-2pane .series-label {
  font-family: "Iowan Old Style BT", Georgia, serif;
  fill: var(--fg1);
  font-size: 0.9rem;
  paint-order: stroke;
  stroke: var(--bg);
  stroke-width: 3px;
}
.chart-line .cursor-line,
.chart-line-2pane .cursor-line {
  stroke: var(--fg3);
  stroke-width: 1.2;
  stroke-opacity: 0.28;
  opacity: 0;
  transition: opacity 220ms ease-in-out;
}
.chart-line .tooltip .tooltip-bg,
.chart-line-2pane .tooltip .tooltip-bg {
  fill: var(--bg_s);
  stroke: color-mix(in srgb, var(--fg4) 30%, var(--bg) 70%);
}
.chart-line .tooltip .tooltip-text,
.chart-line-2pane .tooltip .tooltip-text {
  fill: var(--fg1);
  font-size: 13px;
}

.content figure svg,
figure svg {
  display: block;
  margin-left: auto;
  margin-right: auto;
  max-width: 100%;
  height: auto;
}

figure.half-width {
  margin-left: auto;
  margin-right: auto;
  max-width: 620px;
}

figure.half-width.matmul,
figure.half-width + figcaption,
figure > figcaption {
  text-align: center;
}

.ascii-art {
  font-family: monospace !important;
  font-size: clamp(0rem, 1.2vw, 0.8rem);
  line-height: 1.2;
  text-align: center;
  overflow-x: clip !important;
  /* Override asymmetric padding from .content pre (which has extra right padding for copy button) */
  padding: 1rem !important;
}

/* General content typography styles */
.content {
  padding-top: 0.5rem;
}

.content .MathJax {
  font-size: 100% !important;
  overflow-x: auto;
  overflow-y: hidden;
}

.content .katex {
  font-size: 100% !important;
  overflow-x: auto;
  overflow-y: hidden;
  padding-bottom: 1rem;
}

.content :last-child {
  margin-bottom: 0;
}

.content a {
  text-decoration: underline;
  text-decoration-color: color-mix(in srgb, var(--fg4) 30%, transparent);
  transition: color 0.3s ease-in-out, text-decoration-color 0.3s ease-in-out;
}

.content a:hover {
  color: var(--fg2);
  text-decoration: underline;
  text-decoration-color: color-mix(in srgb, var(--fg2) 30%, transparent);
}

.content a.footnote-ref {
  text-decoration: none;
}

.content a.footnote-ref::before {
  content: "[";
}

.content a.footnote-ref::after {
  content: "]";
}

.content blockquote {
  background-color: var(--bg_s);
  border-left: none;
  font-style: normal;
  padding: 0 1.25rem;
  margin: 1.2rem 0 1.2rem 1rem;
}

.content blockquote blockquote {
  background-color: var(--bg1);
}

/* Epigraph style (Tufte-inspired) */
.content blockquote.epigraph {
  background: transparent;
  border: none;
  color: var(--fg2);
  font-style: italic;
  font-size: 1.05rem;
  line-height: 1.5;
  margin: 1.2rem 0 1.2rem 1rem;
  max-width: 100%;
  padding: 0 1.25rem;
  position: relative;
}
.content blockquote.epigraph::before {
  content: "";
  position: absolute;
  left: 0;
  top: 0.2rem;
  bottom: 0.2rem;
  width: 3px;
  background-color: var(--fg5);
  opacity: 0.6;
}

.content pre {
  background-color: var(--bg_code) !important;
  border-radius: 0.2rem;
  font-family: "SF Mono", "Monaco", "Inconsolata", "Fira Code", monospace;
  position: relative;
  overflow-x: auto;
  padding: 1rem 2rem 1rem 1rem; /* default top padding for blocks without language */
  -webkit-text-size-adjust: none; /* prevent iOS font boosting */
  text-size-adjust: none;
  font-variant-ligatures: none;
  /* letter-spacing: 0; keep tracking tight */
  font-weight: 400;
}

/* Increase top padding only when language label is present */
.content pre:has(code[data-lang]) {
  padding-top: 2rem;
}

/* Copy button styles */
.code-block-wrapper {
  position: relative;
}
button.copy-button {
  position: absolute;
  top: 0.5rem;
  right: 0.5rem;
  left: auto;
  background-color: transparent;
  color: var(--fg4);
  border: none;
  border-radius: 0.3rem;
  padding: 0.4rem;
  cursor: pointer;
  opacity: 0;
  transition: opacity 0.2s ease-in-out, background-color 0.15s ease-in-out,
    color 0.15s ease-in-out;
  z-index: 10;
  display: flex;
  align-items: center;
  gap: 0.25rem;
}

.code-block-wrapper:hover .copy-button,
.content pre:hover button.copy-button {
  opacity: 1;
}

button.copy-button:hover {
  opacity: 1 !important;
  background-color: color-mix(in srgb, var(--fg4) 8%, transparent);
  color: var(--fg2);
}

button.copy-button svg {
  width: 1rem;
  height: 1rem;
  fill: currentColor;
}

.content pre code {
  padding: 0;
  color: var(--fg3); /* slightly darker to match prod */
  font-family: inherit; /* inherit monospace from pre */
  padding: 0 0.8rem 0 0.2rem;
  font-size: 13px;
  /* Preserve original lines; allow horizontal scroll on container */
  white-space: pre;
  word-break: normal;
  overflow-wrap: normal;
  display: block;
  line-height: 1.4;
  -webkit-text-size-adjust: none; /* ensure nested spans don't inflate */
  text-size-adjust: none;
  letter-spacing: 0;
  font-weight: 400;
}

/* Improve text selection contrast inside code blocks */
.content pre::selection,
.content pre code::selection,
.content pre *::selection {
  background-color: #d0d0d0;
}
.content pre::-moz-selection,
.content pre code::-moz-selection,
.content pre *::-moz-selection {
  background-color: #d0d0d0;
}

.darkmode .content pre::selection,
.darkmode .content pre code::selection,
.darkmode .content pre *::selection {
  background-color: rgba(255, 255, 255, 0.5);
  color: var(--bg);
}
.darkmode .content pre::-moz-selection,
.darkmode .content pre code::-moz-selection,
.darkmode .content pre *::-moz-selection {
  background-color: rgba(255, 255, 255, 0.5);
  color: var(--bg);
}

/* Language label chip shown at top-left of code blocks */
.content pre code[data-lang]::before {
  content: attr(data-lang);
  position: absolute;
  top: 0.45rem;
  left: 0.75rem;
  z-index: 5;
  font-family: var(--font-sans);
  font-weight: 400;
  font-size: 11px;
  letter-spacing: 0.02em;
  color: var(--fg4);
  padding: 0;
  text-transform: lowercase;
  pointer-events: none;
}

.content code {
  padding: 0;
  color: var(--red);
  font-family: SFMono-Regular, "SF Mono", ui-monospace, Menlo, Monaco, Consolas,
    "Liberation Mono", "Courier New", monospace;
  padding: 0 0.2rem 0 0.2rem;
  font-size: 0.9em;
  text-wrap: wrap;
  display: inline;
}

.content mark {
  background-color: var(--bg_s);
  color: var(--fg1);
  border-radius: 0.2rem;
  padding: 0 0.2rem;
}

.content kbd {
  background-color: var(--bg_s);
  color: var(--fg1);
  border-radius: 0.2rem;
}

.content table {
  display: block;
  overflow-x: auto;
  margin: auto;
  background-color: var(--bg);
  border-collapse: collapse;
  border: none;
}

.content table td,
.content table th {
  border: var(--fg4) 1px solid;
  padding: 0.75rem 0.75rem;
}
.content table td {
  vertical-align: top;
  font-size: 1rem;
}

.content table th {
  background-color: var(--bg_s);
  font-weight: bold;
}
/*
.content ul {
  list-style: square;
  margin-left: 1.5rem;
  margin-top: 1rem;
  margin-bottom: 1.2rem;
}

.content ul > li {
  margin-bottom: 0.2rem;
}

.content ol {
  list-style: decimal;
  margin-left: 2rem;
  margin-top: 1rem;
  margin-bottom: 1.2rem;
}

.content ol > li {
  margin-bottom: 0.2rem;
}
*/
/* Nested ordered lists use lowercase letters */
.content ol ol {
  list-style-type: lower-alpha;
}

.content dt {
  font-weight: bold;
}

.content dd {
  margin-left: 1rem;
}

.content blockquote,
.content div,
.content h1,
.content h2,
.content h3,
.content h4,
.content h5,
.content h6,
.content p,
.content pre,
.content table,
.content dl,
.content video {
  margin-top: 0rem;
  margin-bottom: 1.333rem;
}

/* Only for blog title */
.content h1 {
  font-size: 1.75rem;
  margin: 0 0 0.6em;
  margin-top: 1.25em;
  font-weight: 700;
  line-height: 1.4;
}

/* Legal and other non-blog pages: match blog-post h1 styling */
#main.content article.content h1 {
  font-family: "Iowan Old Style BT", Georgia, serif;
  font-weight: 600;
  font-size: 30px;
  line-height: 1.4;
}

/* Center-align the main page title on legal pages */
#main.content article.content h1:first-child {
  text-align: center;
  max-width: 480px;
  margin: 1.5rem auto 0;
}

/* Tighten spacing between legal page title and the Last updated line */
#main.content article.content h1 + h3 {
  margin-top: 0.4rem; /* close the gap to the title */
  margin-bottom: 1.2rem; /* add breathing room below */
  text-align: center; /* ensure centered regardless of inline styles */
}

/* Used for blog body content */
.content h2 {
  font-size: 1.45rem;
  margin: 1.6em 0 0.6em;
  margin-top: 1.25em;
  font-weight: 600;
  line-height: 1.4;
}

.content h3 {
  font-size: 1.35rem;
  margin: 1.4em 0 0.5em 0;
  font-weight: normal;
  font-style: italic;
  line-height: 1.4;
}

/* Use h4 and below sparingly */
.content h4 {
  font-size: 0.97rem;
  margin: 1.4em 0 0.7em 0;
  font-weight: normal;
  font-style: italic;
}

.content h5 {
  font-size: 0.76rem;
  margin: 1.4em 0 0.7em 0;
  font-weight: normal;
  font-style: italic;
}

.content h6 {
  font-size: 0.6rem;
  margin: 1.4em 0 0.7em 0;
  font-weight: normal;
  font-style: italic;
}

/* Ensure spacing after figures before the next heading (avoid margin collapse) */
.content figure + h1,
.content figure + h2,
.content figure + h3,
.content figure + h4,
.content figure + h5,
.content figure + h6 {
  margin-top: 2rem;
}

.content img {
  max-width: 100%;
}

.content strong.chinese {
  font-weight: normal;
  text-emphasis-style: dot;
  text-emphasis-position: under;
  -webkit-text-emphasis-style: dot;
  -webkit-text-emphasis-position: under;
}

/* Back to top link hover */
#back-to-top:hover {
  text-decoration: underline !important;
}

:root {
  --code-red: #cb071d; /* primary red (used for numbers, errors) */
  --code-green: #7eac21; /* provided lighter green */
  --code-yellow: #a47d00;
  --code-blue: #0277aa; /* provided lighter blue */
  --code-magenta: #ae166b; /* true magenta accent */
  --code-purple: var(--code-blue);
  --code-aqua: #1b8ea6;
  --code-orange: #c44d5a;
  --code-gray: #5f6672;
  --code-comment: #6f7d8d; /* provided purple-grey for comments */
  --code-namespace: #6b1e3c; /* maroon for module names */
  --code-red-dim: #cc4b4b;
  --code-green-dim: #94c846;
  --code-yellow-dim: #916f00;
  --code-blue-dim: #2a93c3;
  --code-magenta-dim: #c33985;
  --code-purple-dim: #5f50bc;
  --code-aqua-dim: #187d92;
  --code-gray-dim: #4a515c;
  --code-orange-dim: #ad4450;
  --code-hover-bg: rgba(128, 128, 128, 0.1);
}
.darkmode {
  --code-red: #ff7a86; /* dark-mode red aligned with primary red */
  --code-green: #b6d968; /* lighter green */
  --code-yellow: #ffd36e;
  --code-blue: #5fb6de; /* lighter blue */
  --code-magenta: #ff66b3; /* magenta accent for dark */
  --code-purple: var(--code-blue);
  --code-aqua: #95e3f2;
  --code-gray: #b0b0b0;
  --code-comment: #9aa9b7; /* purple-grey */
  --code-namespace: #d07b9a; /* maroon tint in dark mode */
  --code-orange: #ff9bb3;
  --code-red-dim: #ffa3a3;
  --code-green-dim: #c9e58a;
  --code-yellow-dim: #ffe393;
  --code-blue-dim: #7ec6e6;
  --code-magenta-dim: #ff85c4;
  --code-purple-dim: #e4d7ff;
  --code-aqua-dim: #b8effa;
  --code-gray-dim: #c8c8c8;
  --code-orange-dim: #ffc0d0;
  --code-hover-bg: rgba(128, 128, 128, 0.3);
}

/* Background */
.bg {
  color: var(--fg);
  background-color: var(--bg);
}
/* PreWrapper */
.chroma {
  color: var(--fg2);
  background-color: var(--bg);
}
/* Other */
.chroma .x {
  color: var(--code-gray);
}
/* Error */
.chroma .err {
  color: var(--code-red);
}
/* CodeLine */
.chroma .cl {
  color: inherit;
}
/* LineLink */
.chroma .lnlinks {
  outline: none;
  text-decoration: none;
  color: inherit;
}
/* LineTableTD */
.chroma .lntd {
  vertical-align: top;
  padding: 0;
  margin: 0;
  border: 0;
}
/* LineTable */
.chroma .lntable {
  border-spacing: 0;
  padding: 0;
  margin: 0;
  border: 0;
}
/* LineHighlight */
.chroma .hl {
  background-color: var(--bg1);
}
/* LineNumbersTable */
.chroma .lnt {
  white-space: pre;
  -webkit-user-select: none;
  user-select: none;
  margin-right: 0.4em;
  padding: 0 0.4em 0 0.4em;
  color: var(--fg4);
}
/* LineNumbers */
.chroma .ln {
  white-space: pre;
  -webkit-user-select: none;
  user-select: none;
  margin-right: 0.4em;
  padding: 0 0.4em 0 0.4em;
  color: var(--fg4);
}
/* Line */
.chroma .line {
  display: flex;
}
/* Keyword */
.chroma .k {
  color: var(--code-blue);
}
/* KeywordConstant (e.g., True/False/None) */
.chroma .kc {
  color: var(--code-magenta);
}
/* KeywordDeclaration */
.chroma .kd {
  color: var(--code-red);
}
/* KeywordNamespace */
.chroma .kn {
  color: var(--code-blue);
}
/* KeywordPseudo */
.chroma .kp {
  color: var(--code-blue);
}
/* KeywordReserved */
.chroma .kr {
  color: var(--code-blue);
}
/* KeywordType */
.chroma .kt {
  color: var(--code-red);
}
/* Name */
.chroma .n {
  color: var(--fg2);
}
/* NameAttribute */
.chroma .na {
  color: var(--code-blue);
}
/* NameClass */
.chroma .nc {
  color: var(--code-yellow);
}
/* NameConstant */
.chroma .no {
  color: var(--code-yellow);
}
/* NameDecorator */
.chroma .nd {
  color: var(--code-blue);
  font-weight: bold;
}
/* NameEntity */
.chroma .ni {
  color: var(--code-aqua);
}
/* NameException (e.g., RuntimeError) */
.chroma .ne {
  color: var(--code-blue);
}
/* NameLabel */
.chroma .nl {
  color: var(--code-aqua);
}
/* NameNamespace (e.g., imported module names) */
.chroma .nn {
  color: var(--code-namespace);
}
/* NameOther */
.chroma .nx {
  color: var(--fg4);
}
/* NameProperty */
.chroma .py {
  color: var(--code-orange);
}
/* NameTag */
.chroma .nt {
  color: var(--code-blue);
}
/* NameBuiltin */
.chroma .nb {
  color: var(--code-blue);
}
/* NameBuiltinPseudo */
.chroma .bp {
  color: var(--code-blue);
}
/* NameVariable */
.chroma .nv {
  color: var(--fg);
}
/* NameVariableClass */
.chroma .vc {
  color: var(--fg);
}
/* NameVariableGlobal */
.chroma .vg {
  color: var(--fg);
}
/* NameVariableInstance */
.chroma .vi {
  color: var(--fg);
}
/* NameVariableMagic */
.chroma .vm {
  color: var(--fg);
}
/* NameFunction */
.chroma .nf {
  color: var(--code-blue);
}
/* NameFunctionMagic */
.chroma .fm {
  color: var(--code-blue);
}
/* Literal */
.chroma .l {
  color: var(--fg2);
}
/* LiteralDate */
.chroma .ld {
  color: var(--fg2);
}
/* LiteralString */
.chroma .s {
  color: var(--code-green);
}
/* LiteralStringAffix (e.g., f/r/b prefixes) */
.chroma .sa {
  color: var(--code-blue);
}
/* LiteralStringBacktick */
.chroma .sb {
  color: var(--code-green);
}
/* LiteralStringChar */
.chroma .sc {
  color: var(--code-green);
}
/* LiteralStringDelimiter */
.chroma .dl {
  color: var(--code-blue);
}
/* LiteralStringDoc */
.chroma .sd {
  color: var(--fg2);
}
/* LiteralStringDouble */
.chroma .s2 {
  color: var(--code-green);
}
/* LiteralStringEscape */
.chroma .se {
  color: var(--code-blue);
}
/* LiteralStringHeredoc */
.chroma .sh {
  color: var(--fg2);
}
/* LiteralStringInterpol */
.chroma .si {
  color: var(--code-green);
}
/* LiteralStringOther */
.chroma .sx {
  color: var(--code-green);
}
/* LiteralStringRegex */
.chroma .sr {
  color: var(--code-aqua);
}
/* LiteralStringSingle */
.chroma .s1 {
  color: var(--code-green);
}
/* LiteralStringSymbol */
.chroma .ss {
  color: var(--code-green);
}
/* LiteralNumber */
.chroma .m {
  color: var(--code-red);
}
/* LiteralNumberBin */
.chroma .mb {
  color: var(--code-red);
}
/* LiteralNumberFloat */
.chroma .mf {
  color: var(--code-red);
}
/* LiteralNumberHex */
.chroma .mh {
  color: var(--code-red);
}
/* LiteralNumberInteger */
.chroma .mi {
  color: var(--code-red);
}
/* LiteralNumberIntegerLong */
.chroma .il {
  color: var(--code-red);
}
/* LiteralNumberOct */
.chroma .mo {
  color: var(--code-red);
}
/* Operator */
.chroma .o {
  color: color-mix(in srgb, var(--fg2) 70%, transparent);
  font-weight: normal;
}
/* OperatorWord */
.chroma .ow {
  color: color-mix(in srgb, var(--fg2) 70%, transparent);
  font-weight: normal;
}
/* Punctuation (slightly lighter than default gray) */
.chroma .p {
  color: color-mix(in srgb, var(--fg2) 85%, white);
}
/* Comment */
.chroma .c {
  color: var(--code-comment);
  font-style: normal;
}
/* CommentHashbang */
.chroma .ch {
  color: var(--code-comment);
  font-style: normal;
}
/* CommentMultiline */
.chroma .cm {
  color: var(--code-comment);
  font-style: normal;
}
/* CommentSingle */
.chroma .c1 {
  color: var(--code-comment);
  font-style: normal;
}
/* CommentSpecial */
.chroma .cs {
  color: var(--code-comment);
  font-style: normal;
}
/* CommentPreproc */
.chroma .cp {
  color: var(--code-comment);
  font-style: normal;
}
/* CommentPreprocFile */
.chroma .cpf {
  color: var(--code-comment);
  font-weight: bold;
  font-style: normal;
}
/* Generic */
.chroma .g {
  color: var(--fg4);
}
/* GenericDeleted */
.chroma .gd {
  color: var(--code-red);
  background-color: var(--bg1);
}
/* GenericEmph */
.chroma .ge {
  font-style: italic;
}
/* GenericError */
.chroma .gr {
  color: var(--code-red);
}
/* GenericHeading */
.chroma .gh {
  color: var(--code-orange);
  font-weight: bold;
}
/* GenericInserted */
.chroma .gi {
  color: var(--code-green);
  background-color: var(--bg1);
}
/* GenericOutput */
.chroma .go {
  color: var(--fg2);
}
/* GenericPrompt */
.chroma .gp {
  color: var(--fg2);
}
/* GenericStrong */
.chroma .gs {
  font-weight: bold;
}
/* GenericSubheading */
.chroma .gu {
  color: var(--code-orange);
  font-weight: bold;
}
/* GenericTraceback */
.chroma .gt {
  color: var(--code-red);
}
/* GenericUnderline */
.chroma .gl {
  text-decoration: underline;
}
/* TextWhitespace */
.chroma .w {
  color: var(--fg4);
}

.logo-container span {
  display: block;
  height: 26px;
  text-align: left;
  position: relative;
  top: 0;
  left: 0;
}

.logo-container .son {
  font-family: "Poppins", sans-serif;
  font-weight: 700;
  font-style: normal;
  font-size: 24px;
}
.logo-container .en {
  position: relative;
  top: -8px;
  left: -10px;
  font-family: "Poppins", sans-serif;
  font-weight: 400;
  font-style: normal;
  font-size: 14px;
}
.logo-container .co {
  font-family: "Poppins", sans-serif;
  font-weight: 700;
  font-style: normal;
  font-size: 24px;
  position: relative;
  top: -30px;
  left: 0px;
}