/** Variables **/


/* Gruvbox-light Style definition file generated by pygmentize */
pre { line-height: 125%; }
td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
.highlight .hll { background-color: #3c3836 }
.highlight {
    background: #fbf1c7;
    border: 2px dashed var(--Accent1-color);
    border-radius: 10px;
}
.highlight .c { color: #928374; font-style: italic } /* Comment */
.highlight .err { color: #FBF1C7; background-color: #9D0006 } /* Error */
.highlight .k { color: #9D0006 } /* Keyword */
.highlight .ch { color: #928374; font-style: italic } /* Comment.Hashbang */
.highlight .cm { color: #928374; font-style: italic } /* Comment.Multiline */
.highlight .c-PreProc { color: #427B58; font-style: italic } /* Comment.PreProc */
.highlight .cp { color: #928374; font-style: italic } /* Comment.Preproc */
.highlight .cpf { color: #928374; font-style: italic } /* Comment.PreprocFile */
.highlight .c1 { color: #928374; font-style: italic } /* Comment.Single */
.highlight .cs { color: #3C3836; font-weight: bold; font-style: italic } /* Comment.Special */
.highlight .gd { color: #FBF1C7; background-color: #9D0006 } /* Generic.Deleted */
.highlight .ge { font-style: italic } /* Generic.Emph */
.highlight .gr { color: #9D0006 } /* Generic.Error */
.highlight .gh { color: #3C3836; font-weight: bold } /* Generic.Heading */
.highlight .gi { color: #FBF1C7; background-color: #79740E } /* Generic.Inserted */
.highlight .go { color: #32302F } /* Generic.Output */
.highlight .gp { color: #7C6F64 } /* Generic.Prompt */
.highlight .gs { font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #3C3836; text-decoration: underline } /* Generic.Subheading */
.highlight .gt { color: #9D0006 } /* Generic.Traceback */
.highlight .kc { color: #9D0006 } /* Keyword.Constant */
.highlight .kd { color: #9D0006 } /* Keyword.Declaration */
.highlight .kn { color: #9D0006 } /* Keyword.Namespace */
.highlight .kp { color: #9D0006 } /* Keyword.Pseudo */
.highlight .kr { color: #9D0006 } /* Keyword.Reserved */
.highlight .kt { color: #9D0006 } /* Keyword.Type */
.highlight .m { color: #8F3F71 } /* Literal.Number */
.highlight .s { color: #79740E } /* Literal.String */
.highlight .na { color: #B57614 } /* Name.Attribute */
.highlight .nb { color: #AF3A03 } /* Name.Builtin */
.highlight .nc { color: #427B58 } /* Name.Class */
.highlight .no { color: #8F3F71 } /* Name.Constant */
.highlight .nd { color: #9D0006 } /* Name.Decorator */
.highlight .ne { color: #9D0006 } /* Name.Exception */
.highlight .nf { color: #427B58 } /* Name.Function */
.highlight .nn { color: #427B58 } /* Name.Namespace */
.highlight .nt { color: #427B58 } /* Name.Tag */
.highlight .nv { color: #076678 } /* Name.Variable */
.highlight .ow { color: #9D0006 } /* Operator.Word */
.highlight .mb { color: #8F3F71 } /* Literal.Number.Bin */
.highlight .mf { color: #8F3F71 } /* Literal.Number.Float */
.highlight .mh { color: #8F3F71 } /* Literal.Number.Hex */
.highlight .mi { color: #8F3F71 } /* Literal.Number.Integer */
.highlight .mo { color: #8F3F71 } /* Literal.Number.Oct */
.highlight .sa { color: #79740E } /* Literal.String.Affix */
.highlight .sb { color: #79740E } /* Literal.String.Backtick */
.highlight .sc { color: #79740E } /* Literal.String.Char */
.highlight .dl { color: #79740E } /* Literal.String.Delimiter */
.highlight .sd { color: #79740E } /* Literal.String.Doc */
.highlight .s2 { color: #79740E } /* Literal.String.Double */
.highlight .se { color: #AF3A03 } /* Literal.String.Escape */
.highlight .sh { color: #79740E } /* Literal.String.Heredoc */
.highlight .si { color: #79740E } /* Literal.String.Interpol */
.highlight .sx { color: #79740E } /* Literal.String.Other */
.highlight .sr { color: #79740E } /* Literal.String.Regex */
.highlight .s1 { color: #79740E } /* Literal.String.Single */
.highlight .ss { color: #79740E } /* Literal.String.Symbol */
.highlight .bp { color: #AF3A03 } /* Name.Builtin.Pseudo */
.highlight .fm { color: #427B58 } /* Name.Function.Magic */
.highlight .vc { color: #076678 } /* Name.Variable.Class */
.highlight .vg { color: #076678 } /* Name.Variable.Global */
.highlight .vi { color: #076678 } /* Name.Variable.Instance */
.highlight .vm { color: #076678 } /* Name.Variable.Magic */
.highlight .il { color: #8F3F71 } /* Literal.Number.Integer.Long */

:root {
    --Canvas-bg: #fff9df;      /* base00 */
    --Canvas-color: #282828;   /* base06 – darker than before */
    --Pre-bg: #ebdbb2;         /* base01 */
    --Pre-color: #1d2021;      /* base07 */
    --Pre-border: #d5c4a1;     /* base02 */
    --Main-color: #32302f;     /* base04 */
    --Code-color: #689d6a;     /* base0C */
    --Accent1-color: #cc241d;  /* base08 – lighter red */
    --Accent2-color: #b57614;  /* base13 – lighter orange */
    --Selection-bg: #cc241d;   /* base08 */
    --Selection-color: #fff9df;/* base00 */

    --Highlight-num: #d79921;  /* base0A */
    --Highlight-esc: #b16286;  /* base0E */
    --Highlight-str: #cc241d;  /* base08 */
    --Highlight-pps: #98971a;  /* base0B */
    --Highlight-slc: #bdae93;  /* base03 */
    --Highlight-com: #bdae93;  /* base03 */
    --Highlight-ppc: #79740e;  /* base14 */
    --Highlight-opt: #1d2021;  /* base07 */
    --Highlight-ipl: #458588;  /* base0D */
    --Highlight-lin: #7c6f64;  /* base04 */
    --Highlight-kwa: #282828;  /* base06 */
    --Highlight-kwb: #076678;  /* base16 */
    --Highlight-kwc: #282828;  /* base06 */
    --Highlight-kwd: #8f3f71;  /* base17 */
}


@media (prefers-color-scheme: dark)
{
    /* Gruvbox-dark Style definition file generated by pygmentize */
    pre { line-height: 125%; }
    td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
    span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
    td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
    span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
    .highlight .hll { background-color: #ebdbb2 }
    .highlight {
        background: #282828;
        color: #DDD
        border: 2px dashed var(--Accent1-color);
        border-radius: 10px;
    }
    .highlight .c { color: #928374; font-style: italic } /* Comment */
    .highlight .err { color: #282828; background-color: #FB4934 } /* Error */
    .highlight .esc { color: #DDD } /* Escape */
    .highlight .g { color: #DDD } /* Generic */
    .highlight .k { color: #FB4934 } /* Keyword */
    .highlight .l { color: #DDD } /* Literal */
    .highlight .n { color: #DDD } /* Name */
    .highlight .o { color: #DDD } /* Operator */
    .highlight .x { color: #DDD } /* Other */
    .highlight .p { color: #DDD } /* Punctuation */
    .highlight .ch { color: #928374; font-style: italic } /* Comment.Hashbang */
    .highlight .cm { color: #928374; font-style: italic } /* Comment.Multiline */
    .highlight .c-PreProc { color: #8EC07C; font-style: italic } /* Comment.PreProc */
    .highlight .cp { color: #928374; font-style: italic } /* Comment.Preproc */
    .highlight .cpf { color: #928374; font-style: italic } /* Comment.PreprocFile */
    .highlight .c1 { color: #928374; font-style: italic } /* Comment.Single */
    .highlight .cs { color: #EBDBB2; font-weight: bold; font-style: italic } /* Comment.Special */
    .highlight .gd { color: #282828; background-color: #FB4934 } /* Generic.Deleted */
    .highlight .ge { color: #DDD; font-style: italic } /* Generic.Emph */
    .highlight .ges { color: #DDD; font-weight: bold; font-style: italic } /* Generic.EmphStrong */
    .highlight .gr { color: #FB4934 } /* Generic.Error */
    .highlight .gh { color: #EBDBB2; font-weight: bold } /* Generic.Heading */
    .highlight .gi { color: #282828; background-color: #B8BB26 } /* Generic.Inserted */
    .highlight .go { color: #F2E5BC } /* Generic.Output */
    .highlight .gp { color: #A89984 } /* Generic.Prompt */
    .highlight .gs { color: #DDD; font-weight: bold } /* Generic.Strong */
    .highlight .gu { color: #EBDBB2; text-decoration: underline } /* Generic.Subheading */
    .highlight .gt { color: #FB4934 } /* Generic.Traceback */
    .highlight .kc { color: #FB4934 } /* Keyword.Constant */
    .highlight .kd { color: #FB4934 } /* Keyword.Declaration */
    .highlight .kn { color: #FB4934 } /* Keyword.Namespace */
    .highlight .kp { color: #FB4934 } /* Keyword.Pseudo */
    .highlight .kr { color: #FB4934 } /* Keyword.Reserved */
    .highlight .kt { color: #FB4934 } /* Keyword.Type */
    .highlight .ld { color: #DDD } /* Literal.Date */
    .highlight .m { color: #D3869B } /* Literal.Number */
    .highlight .s { color: #B8BB26 } /* Literal.String */
    .highlight .na { color: #FABD2F } /* Name.Attribute */
    .highlight .nb { color: #FE8019 } /* Name.Builtin */
    .highlight .nc { color: #8EC07C } /* Name.Class */
    .highlight .no { color: #D3869B } /* Name.Constant */
    .highlight .nd { color: #FB4934 } /* Name.Decorator */
    .highlight .ni { color: #DDD } /* Name.Entity */
    .highlight .ne { color: #FB4934 } /* Name.Exception */
    .highlight .nf { color: #8EC07C } /* Name.Function */
    .highlight .nl { color: #DDD } /* Name.Label */
    .highlight .nn { color: #8EC07C } /* Name.Namespace */
    .highlight .nx { color: #DDD } /* Name.Other */
    .highlight .py { color: #DDD } /* Name.Property */
    .highlight .nt { color: #8EC07C } /* Name.Tag */
    .highlight .nv { color: #83A598 } /* Name.Variable */
    .highlight .ow { color: #FB4934 } /* Operator.Word */
    .highlight .pm { color: #DDD } /* Punctuation.Marker */
    .highlight .w { color: #DDD } /* Text.Whitespace */
    .highlight .mb { color: #D3869B } /* Literal.Number.Bin */
    .highlight .mf { color: #D3869B } /* Literal.Number.Float */
    .highlight .mh { color: #D3869B } /* Literal.Number.Hex */
    .highlight .mi { color: #D3869B } /* Literal.Number.Integer */
    .highlight .mo { color: #D3869B } /* Literal.Number.Oct */
    .highlight .sa { color: #B8BB26 } /* Literal.String.Affix */
    .highlight .sb { color: #B8BB26 } /* Literal.String.Backtick */
    .highlight .sc { color: #B8BB26 } /* Literal.String.Char */
    .highlight .dl { color: #B8BB26 } /* Literal.String.Delimiter */
    .highlight .sd { color: #B8BB26 } /* Literal.String.Doc */
    .highlight .s2 { color: #B8BB26 } /* Literal.String.Double */
    .highlight .se { color: #FE8019 } /* Literal.String.Escape */
    .highlight .sh { color: #B8BB26 } /* Literal.String.Heredoc */
    .highlight .si { color: #B8BB26 } /* Literal.String.Interpol */
    .highlight .sx { color: #B8BB26 } /* Literal.String.Other */
    .highlight .sr { color: #B8BB26 } /* Literal.String.Regex */
    .highlight .s1 { color: #B8BB26 } /* Literal.String.Single */
    .highlight .ss { color: #B8BB26 } /* Literal.String.Symbol */
    .highlight .bp { color: #FE8019 } /* Name.Builtin.Pseudo */
    .highlight .fm { color: #8EC07C } /* Name.Function.Magic */
    .highlight .vc { color: #83A598 } /* Name.Variable.Class */
    .highlight .vg { color: #83A598 } /* Name.Variable.Global */
    .highlight .vi { color: #83A598 } /* Name.Variable.Instance */
    .highlight .vm { color: #83A598 } /* Name.Variable.Magic */
    .highlight .il { color: #D3869B } /* Literal.Number.Integer.Long */

    :root {
        --Canvas-bg: #1c1c1c;      /* base00 */
        --Canvas-color: #a19083;   /* base05 */
        --Pre-bg: #ff0e0e;         /* base10 */
        --Pre-color: #ddccbb;      /* base07 */
        --Pre-border: #ff9c14;     /* base01 */
        --Main-color: #ce9761;     /* base06 */
        --Code-color: #4f72a0;     /* base0C */
        --Accent1-color: #cc5533;  /* base08 */
        --Accent2-color: #cc5533;  /* base09 */

        --Highlight-num: #88aa22;  /* base14 */
        --Highlight-esc: #deb887;  /* base0E */
        --Highlight-str: #ffa75d;  /* base13 */
        --Highlight-pps: #cc5533;  /* base12 */
        --Highlight-slc: #6e5d59;  /* base03 */
        --Highlight-com: #6e5d59;  /* base03 */
        --Highlight-ppc: #86af80;  /* base0B */
        --Highlight-opt: #ddccbb;  /* base07 */
        --Highlight-ipl: #87ceeb;  /* base0A */
        --Highlight-lin: #554444;  /* base02 */
        --Highlight-kwa: #cc5533;  /* base12 */
        --Highlight-kwb: #6495ed;  /* base0D */
        --Highlight-kwc: #a19083;  /* base05 */
        --Highlight-kwd: #00a48f;  /* (closest: base0C #b0c4de, but kept tealish intent -> base0C) */
}
}

/** Fixups */

/* Avoid elements wider than screen on mobile */
img
{
    display: inline-block;
    max-width: 100%;
}

pre, code, sample
{
    white-space: pre-wrap;
    hyphens: none;
}

table
{
    max-width: 100%;
}

html {
    font-size: 62.5%;
}

body
{
    margin: 0;
    line-height: 1.5;
    font-size: 1.6rem;
}

/** Structural blocks */

body
{
    max-width: 88rem;

    padding: 1rem 2rem 2rem;

    margin-left:  auto; 
    margin-right: auto;
}


/* Visual styles */
html
{
    background: var(--Canvas-bg);
    color: var(--Canvas-color);
}

header
{
    text-align: center;
}

.header-text
{
    font-size: 150%;
    font-weight: bold;
}

::selection 
{
    background: var(--Selection-bg);
    color: var(--Selection-color);
}

/* shared gradient border */
nav, header, footer
{
    border-width: 0;
    border-style: solid;
    border-color: var(--Accent1-color);
    border-image: linear-gradient(to right, var(--Accent1-color), var(--Accent2-color)) 2;
}

nav, header
{
    font-size: 1.8rem;
    border-bottom-width: 2px;
    padding-top: 0.5rem;
    padding-bottom: 0.5rem;
    text-align: center;
}

main
{
    color: var(--Main-color);
    text-rendering: optimizeLegibility;
}

footer
{
    text-align: center;
    padding-top: 1rem;
    margin-top: 1rem;
    border-top-width: 2px;
}




a { 
    color: var(--Accent2-color);
}

a:hover, a:focus
{
    text-decoration: underline;
}

a.nav-active { 
    color: var(--Accent1-color);
    font-weight: 700;
}

nav a { text-decoration: none; }

a.here { text-decoration: none; }

hr
{
    border: 0 none;
    color: var(--Accent2-color);
    background-color: currentColor;
    height: 2px;
}

hr.footnotes { width: 40%; }

a.footnote
{
    text-decoration: none;
    margin-right: 0.4rem;
}

ul.toc { list-style: none; }

h5 { font-size: 1.6rem; }
h6 { font-size: 1.4rem; }

code, kbd, samp
{
    color: var(--Code-color);
}


/** Typography */

@supports (hyphens: auto)
{
    main
    {
        text-align: justify;
        hyphens: auto;
    }
}

body
{
    font-family: system-ui, sans-serif;
    font-weight: 400;
}

th, td
{
    padding: 0.5em;
    hyphens: none;
    text-align: left;
} 

.centered { text-align: center; }

@media (prefers-color-scheme: dark)
{
    body
    {
        font-weight: 350;
    }
}

#sidebar {
  width: 100%;
  padding: 1rem;
  box-sizing: border-box;
}

#sidebar-right {
width: 100%;
padding: 1rem;
box-sizing: border-box;
}

@media (min-width: calc(108rem / 1.3)) and (orientation: landscape) {
  #sidebar {
    max-width: calc(50vw - 44rem - 2em); /* (viewport width - body width)/2 - padding-right*/
    min-width: 20rem;
    overflow: scroll;

    position: fixed;
    top: 0;
    bottom: 0;
    left: 0;

    padding-right: 1em;
  }

  #sidebar-right {
  max-width: calc(50vw - 44rem - 2em); /* (viewport width - body width)/2 - padding-right*/
  min-width: 20rem;
  overflow: scroll;

  position: fixed;
  top: 0;
  bottom: 0;
  right: 0;

  padding-right: 1em;
  }

  #content-container {
    /* Margin wider than the sidebar is intentional,
       so that there's always some space between the sidebar and the content block.
     */
    margin-left: 21em;
    margin-right: 21em;
  }
}


/* KaTeX Style Sheet */
/* stylelint-disable font-family-no-missing-generic-family-keyword */
@font-face {
    font-family: "KaTeX_AMS";
    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-weight: normal;
    font-style: normal;
    font-display: block;
}
@font-face {
    font-family: "KaTeX_Caligraphic";
    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-weight: bold;
    font-style: normal;
    font-display: block;
}
@font-face {
    font-family: "KaTeX_Caligraphic";
    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-weight: normal;
    font-style: normal;
    font-display: block;
}
@font-face {
    font-family: "KaTeX_Fraktur";
    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-weight: bold;
    font-style: normal;
    font-display: block;
}
@font-face {
    font-family: "KaTeX_Fraktur";
    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-weight: normal;
    font-style: normal;
    font-display: block;
}
@font-face {
    font-family: "KaTeX_Main";
    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-weight: bold;
    font-style: normal;
    font-display: block;
}
@font-face {
    font-family: "KaTeX_Main";
    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-weight: bold;
    font-style: italic;
    font-display: block;
}
@font-face {
    font-family: "KaTeX_Main";
    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-weight: normal;
    font-style: italic;
    font-display: block;
}
@font-face {
    font-family: "KaTeX_Main";
    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-weight: normal;
    font-style: normal;
    font-display: block;
}
@font-face {
    font-family: "KaTeX_Math";
    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-weight: bold;
    font-style: italic;
    font-display: block;
}
@font-face {
    font-family: "KaTeX_Math";
    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-weight: normal;
    font-style: italic;
    font-display: block;
}
@font-face {
    font-family: "KaTeX_SansSerif";
    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-weight: bold;
    font-style: normal;
    font-display: block;
}
@font-face {
    font-family: "KaTeX_SansSerif";
    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-weight: normal;
    font-style: italic;
    font-display: block;
}
@font-face {
    font-family: "KaTeX_SansSerif";
    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-weight: normal;
    font-style: normal;
    font-display: block;
}
@font-face {
    font-family: "KaTeX_Script";
    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-weight: normal;
    font-style: normal;
    font-display: block;
}
@font-face {
    font-family: "KaTeX_Size1";
    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-weight: normal;
    font-style: normal;
    font-display: block;
}
@font-face {
    font-family: "KaTeX_Size2";
    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-weight: normal;
    font-style: normal;
    font-display: block;
}
@font-face {
    font-family: "KaTeX_Size3";
    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-weight: normal;
    font-style: normal;
    font-display: block;
}
@font-face {
    font-family: "KaTeX_Size4";
    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-weight: normal;
    font-style: normal;
    font-display: block;
}
@font-face {
    font-family: "KaTeX_Typewriter";
    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");
    font-weight: normal;
    font-style: normal;
    font-display: block;
}
.katex {
    font: normal 1.21em KaTeX_Main, Times New Roman, serif;
    line-height: 1.2;
    text-indent: 0;
    text-rendering: auto;
}
.katex * {
    -ms-high-contrast-adjust: none !important;
}
.katex * {
    border-color: currentColor;
}
.katex .katex-version::after {
    content: "0.16.25";
}
.katex .katex-mathml {
    /* Accessibility hack to only show to screen readers
     *   Found at: http://a11yproject.com/posts/how-to-hide-content/ */
    position: absolute;
    clip: rect(1px, 1px, 1px, 1px);
    padding: 0;
    border: 0;
    height: 1px;
    width: 1px;
    overflow: hidden;
}
.katex .katex-html {
    /* \newline is an empty block at top level, between .base elements */
}
.katex .katex-html > .newline {
    display: block;
}
.katex .base {
    position: relative;
    display: inline-block;
    white-space: nowrap;
    width: -webkit-min-content;
    width: -moz-min-content;
    width: min-content;
}
.katex .strut {
    display: inline-block;
}
.katex .textbf {
    font-weight: bold;
}
.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: bold;
}
.katex .boldsymbol {
    font-family: KaTeX_Math;
    font-weight: bold;
    font-style: italic;
}
.katex .amsrm {
    font-family: KaTeX_AMS;
}
.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: bold;
}
.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: bold;
}
.katex .mathsfit,
.katex .mathitsf,
.katex .textitsf {
    font-family: KaTeX_SansSerif;
    font-style: italic;
}
.katex .mainrm {
    font-family: KaTeX_Main;
    font-style: normal;
}
.katex .vlist-t {
    display: inline-table;
    table-layout: fixed;
    border-collapse: collapse;
}
.katex .vlist-r {
    display: table-row;
}
.katex .vlist {
    display: table-cell;
    vertical-align: bottom;
    position: relative;
}
.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;
    vertical-align: bottom;
    font-size: 1px;
    width: 2px;
    min-width: 2px;
}
.katex .vbox {
    display: inline-flex;
    flex-direction: column;
    align-items: baseline;
}
.katex .hbox {
    display: inline-flex;
    flex-direction: row;
    width: 100%;
}
.katex .thinbox {
    display: inline-flex;
    flex-direction: row;
    width: 0;
    max-width: 0;
}
.katex .msupsub {
    text-align: left;
}
.katex .mfrac > span > span {
    text-align: center;
}
.katex .mfrac .frac-line {
    display: inline-block;
    width: 100%;
    border-bottom-style: solid;
}
.katex .mfrac .frac-line,
.katex .overline .overline-line,
.katex .underline .underline-line,
.katex .hline,
.katex .hdashline,
.katex .rule {
    min-height: 1px;
}
.katex .mspace {
    display: inline-block;
}
.katex .llap,
.katex .rlap,
.katex .clap {
    width: 0;
    position: relative;
}
.katex .llap > .inner,
.katex .rlap > .inner,
.katex .clap > .inner {
    position: absolute;
}
.katex .llap > .fix,
.katex .rlap > .fix,
.katex .clap > .fix {
    display: inline-block;
}
.katex .llap > .inner {
    right: 0;
}
.katex .rlap > .inner,
.katex .clap > .inner {
    left: 0;
}
.katex .clap > .inner > span {
    margin-left: -50%;
    margin-right: 50%;
}
.katex .rule {
    display: inline-block;
    border: solid 0;
    position: relative;
}
.katex .overline .overline-line,
.katex .underline .underline-line,
.katex .hline {
    display: inline-block;
    width: 100%;
    border-bottom-style: solid;
}
.katex .hdashline {
    display: inline-block;
    width: 100%;
    border-bottom-style: dashed;
}
.katex .sqrt > .root {
    /* These values are taken from the definition of `\r@@t`,
     *   `\mkern 5mu` and `\mkern -10mu`. */
    margin-left: 0.2777777778em;
    margin-right: -0.5555555556em;
}
.katex .sizing.reset-size1.size1,
.katex .fontsize-ensurer.reset-size1.size1 {
    /* stylelint-disable-next-line */
    font-size: 1em;
}
.katex .sizing.reset-size1.size2,
.katex .fontsize-ensurer.reset-size1.size2 {
    /* stylelint-disable-next-line */
    font-size: 1.2em;
}
.katex .sizing.reset-size1.size3,
.katex .fontsize-ensurer.reset-size1.size3 {
    /* stylelint-disable-next-line */
    font-size: 1.4em;
}
.katex .sizing.reset-size1.size4,
.katex .fontsize-ensurer.reset-size1.size4 {
    /* stylelint-disable-next-line */
    font-size: 1.6em;
}
.katex .sizing.reset-size1.size5,
.katex .fontsize-ensurer.reset-size1.size5 {
    /* stylelint-disable-next-line */
    font-size: 1.8em;
}
.katex .sizing.reset-size1.size6,
.katex .fontsize-ensurer.reset-size1.size6 {
    /* stylelint-disable-next-line */
    font-size: 2em;
}
.katex .sizing.reset-size1.size7,
.katex .fontsize-ensurer.reset-size1.size7 {
    /* stylelint-disable-next-line */
    font-size: 2.4em;
}
.katex .sizing.reset-size1.size8,
.katex .fontsize-ensurer.reset-size1.size8 {
    /* stylelint-disable-next-line */
    font-size: 2.88em;
}
.katex .sizing.reset-size1.size9,
.katex .fontsize-ensurer.reset-size1.size9 {
    /* stylelint-disable-next-line */
    font-size: 3.456em;
}
.katex .sizing.reset-size1.size10,
.katex .fontsize-ensurer.reset-size1.size10 {
    /* stylelint-disable-next-line */
    font-size: 4.148em;
}
.katex .sizing.reset-size1.size11,
.katex .fontsize-ensurer.reset-size1.size11 {
    /* stylelint-disable-next-line */
    font-size: 4.976em;
}
.katex .sizing.reset-size2.size1,
.katex .fontsize-ensurer.reset-size2.size1 {
    /* stylelint-disable-next-line */
    font-size: 0.8333333333em;
}
.katex .sizing.reset-size2.size2,
.katex .fontsize-ensurer.reset-size2.size2 {
    /* stylelint-disable-next-line */
    font-size: 1em;
}
.katex .sizing.reset-size2.size3,
.katex .fontsize-ensurer.reset-size2.size3 {
    /* stylelint-disable-next-line */
    font-size: 1.1666666667em;
}
.katex .sizing.reset-size2.size4,
.katex .fontsize-ensurer.reset-size2.size4 {
    /* stylelint-disable-next-line */
    font-size: 1.3333333333em;
}
.katex .sizing.reset-size2.size5,
.katex .fontsize-ensurer.reset-size2.size5 {
    /* stylelint-disable-next-line */
    font-size: 1.5em;
}
.katex .sizing.reset-size2.size6,
.katex .fontsize-ensurer.reset-size2.size6 {
    /* stylelint-disable-next-line */
    font-size: 1.6666666667em;
}
.katex .sizing.reset-size2.size7,
.katex .fontsize-ensurer.reset-size2.size7 {
    /* stylelint-disable-next-line */
    font-size: 2em;
}
.katex .sizing.reset-size2.size8,
.katex .fontsize-ensurer.reset-size2.size8 {
    /* stylelint-disable-next-line */
    font-size: 2.4em;
}
.katex .sizing.reset-size2.size9,
.katex .fontsize-ensurer.reset-size2.size9 {
    /* stylelint-disable-next-line */
    font-size: 2.88em;
}
.katex .sizing.reset-size2.size10,
.katex .fontsize-ensurer.reset-size2.size10 {
    /* stylelint-disable-next-line */
    font-size: 3.4566666667em;
}
.katex .sizing.reset-size2.size11,
.katex .fontsize-ensurer.reset-size2.size11 {
    /* stylelint-disable-next-line */
    font-size: 4.1466666667em;
}
.katex .sizing.reset-size3.size1,
.katex .fontsize-ensurer.reset-size3.size1 {
    /* stylelint-disable-next-line */
    font-size: 0.7142857143em;
}
.katex .sizing.reset-size3.size2,
.katex .fontsize-ensurer.reset-size3.size2 {
    /* stylelint-disable-next-line */
    font-size: 0.8571428571em;
}
.katex .sizing.reset-size3.size3,
.katex .fontsize-ensurer.reset-size3.size3 {
    /* stylelint-disable-next-line */
    font-size: 1em;
}
.katex .sizing.reset-size3.size4,
.katex .fontsize-ensurer.reset-size3.size4 {
    /* stylelint-disable-next-line */
    font-size: 1.1428571429em;
}
.katex .sizing.reset-size3.size5,
.katex .fontsize-ensurer.reset-size3.size5 {
    /* stylelint-disable-next-line */
    font-size: 1.2857142857em;
}
.katex .sizing.reset-size3.size6,
.katex .fontsize-ensurer.reset-size3.size6 {
    /* stylelint-disable-next-line */
    font-size: 1.4285714286em;
}
.katex .sizing.reset-size3.size7,
.katex .fontsize-ensurer.reset-size3.size7 {
    /* stylelint-disable-next-line */
    font-size: 1.7142857143em;
}
.katex .sizing.reset-size3.size8,
.katex .fontsize-ensurer.reset-size3.size8 {
    /* stylelint-disable-next-line */
    font-size: 2.0571428571em;
}
.katex .sizing.reset-size3.size9,
.katex .fontsize-ensurer.reset-size3.size9 {
    /* stylelint-disable-next-line */
    font-size: 2.4685714286em;
}
.katex .sizing.reset-size3.size10,
.katex .fontsize-ensurer.reset-size3.size10 {
    /* stylelint-disable-next-line */
    font-size: 2.9628571429em;
}
.katex .sizing.reset-size3.size11,
.katex .fontsize-ensurer.reset-size3.size11 {
    /* stylelint-disable-next-line */
    font-size: 3.5542857143em;
}
.katex .sizing.reset-size4.size1,
.katex .fontsize-ensurer.reset-size4.size1 {
    /* stylelint-disable-next-line */
    font-size: 0.625em;
}
.katex .sizing.reset-size4.size2,
.katex .fontsize-ensurer.reset-size4.size2 {
    /* stylelint-disable-next-line */
    font-size: 0.75em;
}
.katex .sizing.reset-size4.size3,
.katex .fontsize-ensurer.reset-size4.size3 {
    /* stylelint-disable-next-line */
    font-size: 0.875em;
}
.katex .sizing.reset-size4.size4,
.katex .fontsize-ensurer.reset-size4.size4 {
    /* stylelint-disable-next-line */
    font-size: 1em;
}
.katex .sizing.reset-size4.size5,
.katex .fontsize-ensurer.reset-size4.size5 {
    /* stylelint-disable-next-line */
    font-size: 1.125em;
}
.katex .sizing.reset-size4.size6,
.katex .fontsize-ensurer.reset-size4.size6 {
    /* stylelint-disable-next-line */
    font-size: 1.25em;
}
.katex .sizing.reset-size4.size7,
.katex .fontsize-ensurer.reset-size4.size7 {
    /* stylelint-disable-next-line */
    font-size: 1.5em;
}
.katex .sizing.reset-size4.size8,
.katex .fontsize-ensurer.reset-size4.size8 {
    /* stylelint-disable-next-line */
    font-size: 1.8em;
}
.katex .sizing.reset-size4.size9,
.katex .fontsize-ensurer.reset-size4.size9 {
    /* stylelint-disable-next-line */
    font-size: 2.16em;
}
.katex .sizing.reset-size4.size10,
.katex .fontsize-ensurer.reset-size4.size10 {
    /* stylelint-disable-next-line */
    font-size: 2.5925em;
}
.katex .sizing.reset-size4.size11,
.katex .fontsize-ensurer.reset-size4.size11 {
    /* stylelint-disable-next-line */
    font-size: 3.11em;
}
.katex .sizing.reset-size5.size1,
.katex .fontsize-ensurer.reset-size5.size1 {
    /* stylelint-disable-next-line */
    font-size: 0.5555555556em;
}
.katex .sizing.reset-size5.size2,
.katex .fontsize-ensurer.reset-size5.size2 {
    /* stylelint-disable-next-line */
    font-size: 0.6666666667em;
}
.katex .sizing.reset-size5.size3,
.katex .fontsize-ensurer.reset-size5.size3 {
    /* stylelint-disable-next-line */
    font-size: 0.7777777778em;
}
.katex .sizing.reset-size5.size4,
.katex .fontsize-ensurer.reset-size5.size4 {
    /* stylelint-disable-next-line */
    font-size: 0.8888888889em;
}
.katex .sizing.reset-size5.size5,
.katex .fontsize-ensurer.reset-size5.size5 {
    /* stylelint-disable-next-line */
    font-size: 1em;
}
.katex .sizing.reset-size5.size6,
.katex .fontsize-ensurer.reset-size5.size6 {
    /* stylelint-disable-next-line */
    font-size: 1.1111111111em;
}
.katex .sizing.reset-size5.size7,
.katex .fontsize-ensurer.reset-size5.size7 {
    /* stylelint-disable-next-line */
    font-size: 1.3333333333em;
}
.katex .sizing.reset-size5.size8,
.katex .fontsize-ensurer.reset-size5.size8 {
    /* stylelint-disable-next-line */
    font-size: 1.6em;
}
.katex .sizing.reset-size5.size9,
.katex .fontsize-ensurer.reset-size5.size9 {
    /* stylelint-disable-next-line */
    font-size: 1.92em;
}
.katex .sizing.reset-size5.size10,
.katex .fontsize-ensurer.reset-size5.size10 {
    /* stylelint-disable-next-line */
    font-size: 2.3044444444em;
}
.katex .sizing.reset-size5.size11,
.katex .fontsize-ensurer.reset-size5.size11 {
    /* stylelint-disable-next-line */
    font-size: 2.7644444444em;
}
.katex .sizing.reset-size6.size1,
.katex .fontsize-ensurer.reset-size6.size1 {
    /* stylelint-disable-next-line */
    font-size: 0.5em;
}
.katex .sizing.reset-size6.size2,
.katex .fontsize-ensurer.reset-size6.size2 {
    /* stylelint-disable-next-line */
    font-size: 0.6em;
}
.katex .sizing.reset-size6.size3,
.katex .fontsize-ensurer.reset-size6.size3 {
    /* stylelint-disable-next-line */
    font-size: 0.7em;
}
.katex .sizing.reset-size6.size4,
.katex .fontsize-ensurer.reset-size6.size4 {
    /* stylelint-disable-next-line */
    font-size: 0.8em;
}
.katex .sizing.reset-size6.size5,
.katex .fontsize-ensurer.reset-size6.size5 {
    /* stylelint-disable-next-line */
    font-size: 0.9em;
}
.katex .sizing.reset-size6.size6,
.katex .fontsize-ensurer.reset-size6.size6 {
    /* stylelint-disable-next-line */
    font-size: 1em;
}
.katex .sizing.reset-size6.size7,
.katex .fontsize-ensurer.reset-size6.size7 {
    /* stylelint-disable-next-line */
    font-size: 1.2em;
}
.katex .sizing.reset-size6.size8,
.katex .fontsize-ensurer.reset-size6.size8 {
    /* stylelint-disable-next-line */
    font-size: 1.44em;
}
.katex .sizing.reset-size6.size9,
.katex .fontsize-ensurer.reset-size6.size9 {
    /* stylelint-disable-next-line */
    font-size: 1.728em;
}
.katex .sizing.reset-size6.size10,
.katex .fontsize-ensurer.reset-size6.size10 {
    /* stylelint-disable-next-line */
    font-size: 2.074em;
}
.katex .sizing.reset-size6.size11,
.katex .fontsize-ensurer.reset-size6.size11 {
    /* stylelint-disable-next-line */
    font-size: 2.488em;
}
.katex .sizing.reset-size7.size1,
.katex .fontsize-ensurer.reset-size7.size1 {
    /* stylelint-disable-next-line */
    font-size: 0.4166666667em;
}
.katex .sizing.reset-size7.size2,
.katex .fontsize-ensurer.reset-size7.size2 {
    /* stylelint-disable-next-line */
    font-size: 0.5em;
}
.katex .sizing.reset-size7.size3,
.katex .fontsize-ensurer.reset-size7.size3 {
    /* stylelint-disable-next-line */
    font-size: 0.5833333333em;
}
.katex .sizing.reset-size7.size4,
.katex .fontsize-ensurer.reset-size7.size4 {
    /* stylelint-disable-next-line */
    font-size: 0.6666666667em;
}
.katex .sizing.reset-size7.size5,
.katex .fontsize-ensurer.reset-size7.size5 {
    /* stylelint-disable-next-line */
    font-size: 0.75em;
}
.katex .sizing.reset-size7.size6,
.katex .fontsize-ensurer.reset-size7.size6 {
    /* stylelint-disable-next-line */
    font-size: 0.8333333333em;
}
.katex .sizing.reset-size7.size7,
.katex .fontsize-ensurer.reset-size7.size7 {
    /* stylelint-disable-next-line */
    font-size: 1em;
}
.katex .sizing.reset-size7.size8,
.katex .fontsize-ensurer.reset-size7.size8 {
    /* stylelint-disable-next-line */
    font-size: 1.2em;
}
.katex .sizing.reset-size7.size9,
.katex .fontsize-ensurer.reset-size7.size9 {
    /* stylelint-disable-next-line */
    font-size: 1.44em;
}
.katex .sizing.reset-size7.size10,
.katex .fontsize-ensurer.reset-size7.size10 {
    /* stylelint-disable-next-line */
    font-size: 1.7283333333em;
}
.katex .sizing.reset-size7.size11,
.katex .fontsize-ensurer.reset-size7.size11 {
    /* stylelint-disable-next-line */
    font-size: 2.0733333333em;
}
.katex .sizing.reset-size8.size1,
.katex .fontsize-ensurer.reset-size8.size1 {
    /* stylelint-disable-next-line */
    font-size: 0.3472222222em;
}
.katex .sizing.reset-size8.size2,
.katex .fontsize-ensurer.reset-size8.size2 {
    /* stylelint-disable-next-line */
    font-size: 0.4166666667em;
}
.katex .sizing.reset-size8.size3,
.katex .fontsize-ensurer.reset-size8.size3 {
    /* stylelint-disable-next-line */
    font-size: 0.4861111111em;
}
.katex .sizing.reset-size8.size4,
.katex .fontsize-ensurer.reset-size8.size4 {
    /* stylelint-disable-next-line */
    font-size: 0.5555555556em;
}
.katex .sizing.reset-size8.size5,
.katex .fontsize-ensurer.reset-size8.size5 {
    /* stylelint-disable-next-line */
    font-size: 0.625em;
}
.katex .sizing.reset-size8.size6,
.katex .fontsize-ensurer.reset-size8.size6 {
    /* stylelint-disable-next-line */
    font-size: 0.6944444444em;
}
.katex .sizing.reset-size8.size7,
.katex .fontsize-ensurer.reset-size8.size7 {
    /* stylelint-disable-next-line */
    font-size: 0.8333333333em;
}
.katex .sizing.reset-size8.size8,
.katex .fontsize-ensurer.reset-size8.size8 {
    /* stylelint-disable-next-line */
    font-size: 1em;
}
.katex .sizing.reset-size8.size9,
.katex .fontsize-ensurer.reset-size8.size9 {
    /* stylelint-disable-next-line */
    font-size: 1.2em;
}
.katex .sizing.reset-size8.size10,
.katex .fontsize-ensurer.reset-size8.size10 {
    /* stylelint-disable-next-line */
    font-size: 1.4402777778em;
}
.katex .sizing.reset-size8.size11,
.katex .fontsize-ensurer.reset-size8.size11 {
    /* stylelint-disable-next-line */
    font-size: 1.7277777778em;
}
.katex .sizing.reset-size9.size1,
.katex .fontsize-ensurer.reset-size9.size1 {
    /* stylelint-disable-next-line */
    font-size: 0.2893518519em;
}
.katex .sizing.reset-size9.size2,
.katex .fontsize-ensurer.reset-size9.size2 {
    /* stylelint-disable-next-line */
    font-size: 0.3472222222em;
}
.katex .sizing.reset-size9.size3,
.katex .fontsize-ensurer.reset-size9.size3 {
    /* stylelint-disable-next-line */
    font-size: 0.4050925926em;
}
.katex .sizing.reset-size9.size4,
.katex .fontsize-ensurer.reset-size9.size4 {
    /* stylelint-disable-next-line */
    font-size: 0.462962963em;
}
.katex .sizing.reset-size9.size5,
.katex .fontsize-ensurer.reset-size9.size5 {
    /* stylelint-disable-next-line */
    font-size: 0.5208333333em;
}
.katex .sizing.reset-size9.size6,
.katex .fontsize-ensurer.reset-size9.size6 {
    /* stylelint-disable-next-line */
    font-size: 0.5787037037em;
}
.katex .sizing.reset-size9.size7,
.katex .fontsize-ensurer.reset-size9.size7 {
    /* stylelint-disable-next-line */
    font-size: 0.6944444444em;
}
.katex .sizing.reset-size9.size8,
.katex .fontsize-ensurer.reset-size9.size8 {
    /* stylelint-disable-next-line */
    font-size: 0.8333333333em;
}
.katex .sizing.reset-size9.size9,
.katex .fontsize-ensurer.reset-size9.size9 {
    /* stylelint-disable-next-line */
    font-size: 1em;
}
.katex .sizing.reset-size9.size10,
.katex .fontsize-ensurer.reset-size9.size10 {
    /* stylelint-disable-next-line */
    font-size: 1.2002314815em;
}
.katex .sizing.reset-size9.size11,
.katex .fontsize-ensurer.reset-size9.size11 {
    /* stylelint-disable-next-line */
    font-size: 1.4398148148em;
}
.katex .sizing.reset-size10.size1,
.katex .fontsize-ensurer.reset-size10.size1 {
    /* stylelint-disable-next-line */
    font-size: 0.2410800386em;
}
.katex .sizing.reset-size10.size2,
.katex .fontsize-ensurer.reset-size10.size2 {
    /* stylelint-disable-next-line */
    font-size: 0.2892960463em;
}
.katex .sizing.reset-size10.size3,
.katex .fontsize-ensurer.reset-size10.size3 {
    /* stylelint-disable-next-line */
    font-size: 0.337512054em;
}
.katex .sizing.reset-size10.size4,
.katex .fontsize-ensurer.reset-size10.size4 {
    /* stylelint-disable-next-line */
    font-size: 0.3857280617em;
}
.katex .sizing.reset-size10.size5,
.katex .fontsize-ensurer.reset-size10.size5 {
    /* stylelint-disable-next-line */
    font-size: 0.4339440694em;
}
.katex .sizing.reset-size10.size6,
.katex .fontsize-ensurer.reset-size10.size6 {
    /* stylelint-disable-next-line */
    font-size: 0.4821600771em;
}
.katex .sizing.reset-size10.size7,
.katex .fontsize-ensurer.reset-size10.size7 {
    /* stylelint-disable-next-line */
    font-size: 0.5785920926em;
}
.katex .sizing.reset-size10.size8,
.katex .fontsize-ensurer.reset-size10.size8 {
    /* stylelint-disable-next-line */
    font-size: 0.6943105111em;
}
.katex .sizing.reset-size10.size9,
.katex .fontsize-ensurer.reset-size10.size9 {
    /* stylelint-disable-next-line */
    font-size: 0.8331726133em;
}
.katex .sizing.reset-size10.size10,
.katex .fontsize-ensurer.reset-size10.size10 {
    /* stylelint-disable-next-line */
    font-size: 1em;
}
.katex .sizing.reset-size10.size11,
.katex .fontsize-ensurer.reset-size10.size11 {
    /* stylelint-disable-next-line */
    font-size: 1.1996142719em;
}
.katex .sizing.reset-size11.size1,
.katex .fontsize-ensurer.reset-size11.size1 {
    /* stylelint-disable-next-line */
    font-size: 0.2009646302em;
}
.katex .sizing.reset-size11.size2,
.katex .fontsize-ensurer.reset-size11.size2 {
    /* stylelint-disable-next-line */
    font-size: 0.2411575563em;
}
.katex .sizing.reset-size11.size3,
.katex .fontsize-ensurer.reset-size11.size3 {
    /* stylelint-disable-next-line */
    font-size: 0.2813504823em;
}
.katex .sizing.reset-size11.size4,
.katex .fontsize-ensurer.reset-size11.size4 {
    /* stylelint-disable-next-line */
    font-size: 0.3215434084em;
}
.katex .sizing.reset-size11.size5,
.katex .fontsize-ensurer.reset-size11.size5 {
    /* stylelint-disable-next-line */
    font-size: 0.3617363344em;
}
.katex .sizing.reset-size11.size6,
.katex .fontsize-ensurer.reset-size11.size6 {
    /* stylelint-disable-next-line */
    font-size: 0.4019292605em;
}
.katex .sizing.reset-size11.size7,
.katex .fontsize-ensurer.reset-size11.size7 {
    /* stylelint-disable-next-line */
    font-size: 0.4823151125em;
}
.katex .sizing.reset-size11.size8,
.katex .fontsize-ensurer.reset-size11.size8 {
    /* stylelint-disable-next-line */
    font-size: 0.578778135em;
}
.katex .sizing.reset-size11.size9,
.katex .fontsize-ensurer.reset-size11.size9 {
    /* stylelint-disable-next-line */
    font-size: 0.6945337621em;
}
.katex .sizing.reset-size11.size10,
.katex .fontsize-ensurer.reset-size11.size10 {
    /* stylelint-disable-next-line */
    font-size: 0.8336012862em;
}
.katex .sizing.reset-size11.size11,
.katex .fontsize-ensurer.reset-size11.size11 {
    /* stylelint-disable-next-line */
    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 {
    position: relative;
}
.katex .op-symbol {
    position: relative;
}
.katex .op-symbol.small-op {
    font-family: KaTeX_Size1;
}
.katex .op-symbol.large-op {
    font-family: KaTeX_Size2;
}
.katex .op-limits > .vlist-t {
    text-align: center;
}
.katex .accent > .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 {
    display: block;
    position: absolute;
    width: 100%;
    height: inherit;
    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;
}
.katex svg path {
    stroke: none;
}
.katex img {
    border-style: none;
    min-width: 0;
    min-height: 0;
    max-width: none;
    max-height: none;
}
.katex .stretchy {
    width: 100%;
    display: block;
    position: relative;
    overflow: hidden;
}
.katex .stretchy::before, .katex .stretchy::after {
    content: "";
}
.katex .hide-tail {
    width: 100%;
    position: relative;
    overflow: hidden;
}
.katex .halfarrow-left {
    position: absolute;
    left: 0;
    width: 50.2%;
    overflow: hidden;
}
.katex .halfarrow-right {
    position: absolute;
    right: 0;
    width: 50.2%;
    overflow: hidden;
}
.katex .brace-left {
    position: absolute;
    left: 0;
    width: 25.1%;
    overflow: hidden;
}
.katex .brace-center {
    position: absolute;
    left: 25%;
    width: 50%;
    overflow: hidden;
}
.katex .brace-right {
    position: absolute;
    right: 0;
    width: 25.1%;
    overflow: hidden;
}
.katex .x-arrow-pad {
    padding: 0 0.5em;
}
.katex .cd-arrow-pad {
    padding: 0 0.55556em 0 0.27778em;
}
.katex .x-arrow,
.katex .mover,
.katex .munder {
    text-align: center;
}
.katex .boxpad {
    padding: 0 0.3em;
}
.katex .fbox,
.katex .fcolorbox {
    box-sizing: border-box;
    border: 0.04em solid;
}
.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 {
    box-sizing: border-box;
    border-top: 0.049em solid;
    border-right: 0.049em solid;
    margin-right: 0.03889em;
}
.katex .anglpad {
    padding: 0 0.03889em;
}
.katex .eqn-num::before {
    counter-increment: katexEqnNo;
    content: "(" counter(katexEqnNo) ")";
}
.katex .mml-eqn-num::before {
    counter-increment: mmlEqnNo;
    content: "(" counter(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;
    position: absolute;
    left: calc(50% + 0.3em);
    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 {
    text-align: left;
    padding-left: 2em;
}

body {
    counter-reset: katexEqnNo mmlEqnNo;
}