From 6ce0bb9a8f9fd7d169cbb414a9537d68c5290aae Mon Sep 17 00:00:00 2001 From: Prefetch Date: Fri, 14 Oct 2022 23:25:28 +0200 Subject: Initial commit after migration from Hugo --- source/infra/css/katex.min.css | 1 + source/infra/css/main.css | 99 +++++++++++++++ source/infra/css/syntax.css | 147 ++++++++++++++++++++++ source/infra/font/KaTeX_AMS-Regular.ttf | Bin 0 -> 63632 bytes source/infra/font/KaTeX_AMS-Regular.woff | Bin 0 -> 33516 bytes source/infra/font/KaTeX_AMS-Regular.woff2 | Bin 0 -> 28076 bytes source/infra/font/KaTeX_Caligraphic-Bold.ttf | Bin 0 -> 12368 bytes source/infra/font/KaTeX_Caligraphic-Bold.woff | Bin 0 -> 7716 bytes source/infra/font/KaTeX_Caligraphic-Bold.woff2 | Bin 0 -> 6912 bytes source/infra/font/KaTeX_Caligraphic-Regular.ttf | Bin 0 -> 12344 bytes source/infra/font/KaTeX_Caligraphic-Regular.woff | Bin 0 -> 7656 bytes source/infra/font/KaTeX_Caligraphic-Regular.woff2 | Bin 0 -> 6908 bytes source/infra/font/KaTeX_Fraktur-Bold.ttf | Bin 0 -> 19584 bytes source/infra/font/KaTeX_Fraktur-Bold.woff | Bin 0 -> 13296 bytes source/infra/font/KaTeX_Fraktur-Bold.woff2 | Bin 0 -> 11348 bytes source/infra/font/KaTeX_Fraktur-Regular.ttf | Bin 0 -> 19572 bytes source/infra/font/KaTeX_Fraktur-Regular.woff | Bin 0 -> 13208 bytes source/infra/font/KaTeX_Fraktur-Regular.woff2 | Bin 0 -> 11316 bytes source/infra/font/KaTeX_Main-Bold.ttf | Bin 0 -> 51336 bytes source/infra/font/KaTeX_Main-Bold.woff | Bin 0 -> 29912 bytes source/infra/font/KaTeX_Main-Bold.woff2 | Bin 0 -> 25324 bytes source/infra/font/KaTeX_Main-BoldItalic.ttf | Bin 0 -> 32968 bytes source/infra/font/KaTeX_Main-BoldItalic.woff | Bin 0 -> 19412 bytes source/infra/font/KaTeX_Main-BoldItalic.woff2 | Bin 0 -> 16780 bytes source/infra/font/KaTeX_Main-Italic.ttf | Bin 0 -> 33580 bytes source/infra/font/KaTeX_Main-Italic.woff | Bin 0 -> 19676 bytes source/infra/font/KaTeX_Main-Italic.woff2 | Bin 0 -> 16988 bytes source/infra/font/KaTeX_Main-Regular.ttf | Bin 0 -> 53580 bytes source/infra/font/KaTeX_Main-Regular.woff | Bin 0 -> 30772 bytes source/infra/font/KaTeX_Main-Regular.woff2 | Bin 0 -> 26272 bytes source/infra/font/KaTeX_Math-BoldItalic.ttf | Bin 0 -> 31196 bytes source/infra/font/KaTeX_Math-BoldItalic.woff | Bin 0 -> 18668 bytes source/infra/font/KaTeX_Math-BoldItalic.woff2 | Bin 0 -> 16400 bytes source/infra/font/KaTeX_Math-Italic.ttf | Bin 0 -> 31308 bytes source/infra/font/KaTeX_Math-Italic.woff | Bin 0 -> 18748 bytes source/infra/font/KaTeX_Math-Italic.woff2 | Bin 0 -> 16440 bytes source/infra/font/KaTeX_SansSerif-Bold.ttf | Bin 0 -> 24504 bytes source/infra/font/KaTeX_SansSerif-Bold.woff | Bin 0 -> 14408 bytes source/infra/font/KaTeX_SansSerif-Bold.woff2 | Bin 0 -> 12216 bytes source/infra/font/KaTeX_SansSerif-Italic.ttf | Bin 0 -> 22364 bytes source/infra/font/KaTeX_SansSerif-Italic.woff | Bin 0 -> 14112 bytes source/infra/font/KaTeX_SansSerif-Italic.woff2 | Bin 0 -> 12028 bytes source/infra/font/KaTeX_SansSerif-Regular.ttf | Bin 0 -> 19436 bytes source/infra/font/KaTeX_SansSerif-Regular.woff | Bin 0 -> 12316 bytes source/infra/font/KaTeX_SansSerif-Regular.woff2 | Bin 0 -> 10344 bytes source/infra/font/KaTeX_Script-Regular.ttf | Bin 0 -> 16648 bytes source/infra/font/KaTeX_Script-Regular.woff | Bin 0 -> 10588 bytes source/infra/font/KaTeX_Script-Regular.woff2 | Bin 0 -> 9644 bytes source/infra/font/KaTeX_Size1-Regular.ttf | Bin 0 -> 12228 bytes source/infra/font/KaTeX_Size1-Regular.woff | Bin 0 -> 6496 bytes source/infra/font/KaTeX_Size1-Regular.woff2 | Bin 0 -> 5468 bytes source/infra/font/KaTeX_Size2-Regular.ttf | Bin 0 -> 11508 bytes source/infra/font/KaTeX_Size2-Regular.woff | Bin 0 -> 6188 bytes source/infra/font/KaTeX_Size2-Regular.woff2 | Bin 0 -> 5208 bytes source/infra/font/KaTeX_Size3-Regular.ttf | Bin 0 -> 7588 bytes source/infra/font/KaTeX_Size3-Regular.woff | Bin 0 -> 4420 bytes source/infra/font/KaTeX_Size3-Regular.woff2 | Bin 0 -> 3624 bytes source/infra/font/KaTeX_Size4-Regular.ttf | Bin 0 -> 10364 bytes source/infra/font/KaTeX_Size4-Regular.woff | Bin 0 -> 5980 bytes source/infra/font/KaTeX_Size4-Regular.woff2 | Bin 0 -> 4928 bytes source/infra/font/KaTeX_Typewriter-Regular.ttf | Bin 0 -> 27556 bytes source/infra/font/KaTeX_Typewriter-Regular.woff | Bin 0 -> 16028 bytes source/infra/font/KaTeX_Typewriter-Regular.woff2 | Bin 0 -> 13568 bytes source/infra/image/favicon.ico | Bin 0 -> 2494 bytes source/infra/image/logo256.png | Bin 0 -> 7152 bytes source/infra/image/logo96x64.gif | Bin 0 -> 467 bytes source/infra/js/katex.min.js | 1 + 67 files changed, 248 insertions(+) create mode 100644 source/infra/css/katex.min.css create mode 100644 source/infra/css/main.css create mode 100644 source/infra/css/syntax.css create mode 100644 source/infra/font/KaTeX_AMS-Regular.ttf create mode 100644 source/infra/font/KaTeX_AMS-Regular.woff create mode 100644 source/infra/font/KaTeX_AMS-Regular.woff2 create mode 100644 source/infra/font/KaTeX_Caligraphic-Bold.ttf create mode 100644 source/infra/font/KaTeX_Caligraphic-Bold.woff create mode 100644 source/infra/font/KaTeX_Caligraphic-Bold.woff2 create mode 100644 source/infra/font/KaTeX_Caligraphic-Regular.ttf create mode 100644 source/infra/font/KaTeX_Caligraphic-Regular.woff create mode 100644 source/infra/font/KaTeX_Caligraphic-Regular.woff2 create mode 100644 source/infra/font/KaTeX_Fraktur-Bold.ttf create mode 100644 source/infra/font/KaTeX_Fraktur-Bold.woff create mode 100644 source/infra/font/KaTeX_Fraktur-Bold.woff2 create mode 100644 source/infra/font/KaTeX_Fraktur-Regular.ttf create mode 100644 source/infra/font/KaTeX_Fraktur-Regular.woff create mode 100644 source/infra/font/KaTeX_Fraktur-Regular.woff2 create mode 100644 source/infra/font/KaTeX_Main-Bold.ttf create mode 100644 source/infra/font/KaTeX_Main-Bold.woff create mode 100644 source/infra/font/KaTeX_Main-Bold.woff2 create mode 100644 source/infra/font/KaTeX_Main-BoldItalic.ttf create mode 100644 source/infra/font/KaTeX_Main-BoldItalic.woff create mode 100644 source/infra/font/KaTeX_Main-BoldItalic.woff2 create mode 100644 source/infra/font/KaTeX_Main-Italic.ttf create mode 100644 source/infra/font/KaTeX_Main-Italic.woff create mode 100644 source/infra/font/KaTeX_Main-Italic.woff2 create mode 100644 source/infra/font/KaTeX_Main-Regular.ttf create mode 100644 source/infra/font/KaTeX_Main-Regular.woff create mode 100644 source/infra/font/KaTeX_Main-Regular.woff2 create mode 100644 source/infra/font/KaTeX_Math-BoldItalic.ttf create mode 100644 source/infra/font/KaTeX_Math-BoldItalic.woff create mode 100644 source/infra/font/KaTeX_Math-BoldItalic.woff2 create mode 100644 source/infra/font/KaTeX_Math-Italic.ttf create mode 100644 source/infra/font/KaTeX_Math-Italic.woff create mode 100644 source/infra/font/KaTeX_Math-Italic.woff2 create mode 100644 source/infra/font/KaTeX_SansSerif-Bold.ttf create mode 100644 source/infra/font/KaTeX_SansSerif-Bold.woff create mode 100644 source/infra/font/KaTeX_SansSerif-Bold.woff2 create mode 100644 source/infra/font/KaTeX_SansSerif-Italic.ttf create mode 100644 source/infra/font/KaTeX_SansSerif-Italic.woff create mode 100644 source/infra/font/KaTeX_SansSerif-Italic.woff2 create mode 100644 source/infra/font/KaTeX_SansSerif-Regular.ttf create mode 100644 source/infra/font/KaTeX_SansSerif-Regular.woff create mode 100644 source/infra/font/KaTeX_SansSerif-Regular.woff2 create mode 100644 source/infra/font/KaTeX_Script-Regular.ttf create mode 100644 source/infra/font/KaTeX_Script-Regular.woff create mode 100644 source/infra/font/KaTeX_Script-Regular.woff2 create mode 100644 source/infra/font/KaTeX_Size1-Regular.ttf create mode 100644 source/infra/font/KaTeX_Size1-Regular.woff create mode 100644 source/infra/font/KaTeX_Size1-Regular.woff2 create mode 100644 source/infra/font/KaTeX_Size2-Regular.ttf create mode 100644 source/infra/font/KaTeX_Size2-Regular.woff create mode 100644 source/infra/font/KaTeX_Size2-Regular.woff2 create mode 100644 source/infra/font/KaTeX_Size3-Regular.ttf create mode 100644 source/infra/font/KaTeX_Size3-Regular.woff create mode 100644 source/infra/font/KaTeX_Size3-Regular.woff2 create mode 100644 source/infra/font/KaTeX_Size4-Regular.ttf create mode 100644 source/infra/font/KaTeX_Size4-Regular.woff create mode 100644 source/infra/font/KaTeX_Size4-Regular.woff2 create mode 100644 source/infra/font/KaTeX_Typewriter-Regular.ttf create mode 100644 source/infra/font/KaTeX_Typewriter-Regular.woff create mode 100644 source/infra/font/KaTeX_Typewriter-Regular.woff2 create mode 100644 source/infra/image/favicon.ico create mode 100644 source/infra/image/logo256.png create mode 100644 source/infra/image/logo96x64.gif create mode 100644 source/infra/js/katex.min.js (limited to 'source/infra') diff --git a/source/infra/css/katex.min.css b/source/infra/css/katex.min.css new file mode 100644 index 0000000..6281a70 --- /dev/null +++ b/source/infra/css/katex.min.css @@ -0,0 +1 @@ +@font-face{font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/infra/font/KaTeX_AMS-Regular.woff2) format("woff2"),url(/infra/font/KaTeX_AMS-Regular.woff) format("woff"),url(/infra/font/KaTeX_AMS-Regular.ttf) format("truetype")}@font-face{font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/infra/font/KaTeX_Caligraphic-Bold.woff2) format("woff2"),url(/infra/font/KaTeX_Caligraphic-Bold.woff) format("woff"),url(/infra/font/KaTeX_Caligraphic-Bold.ttf) format("truetype")}@font-face{font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/infra/font/KaTeX_Caligraphic-Regular.woff2) format("woff2"),url(/infra/font/KaTeX_Caligraphic-Regular.woff) format("woff"),url(/infra/font/KaTeX_Caligraphic-Regular.ttf) format("truetype")}@font-face{font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/infra/font/KaTeX_Fraktur-Bold.woff2) format("woff2"),url(/infra/font/KaTeX_Fraktur-Bold.woff) format("woff"),url(/infra/font/KaTeX_Fraktur-Bold.ttf) format("truetype")}@font-face{font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/infra/font/KaTeX_Fraktur-Regular.woff2) format("woff2"),url(/infra/font/KaTeX_Fraktur-Regular.woff) format("woff"),url(/infra/font/KaTeX_Fraktur-Regular.ttf) format("truetype")}@font-face{font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/infra/font/KaTeX_Main-Bold.woff2) format("woff2"),url(/infra/font/KaTeX_Main-Bold.woff) format("woff"),url(/infra/font/KaTeX_Main-Bold.ttf) format("truetype")}@font-face{font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/infra/font/KaTeX_Main-BoldItalic.woff2) format("woff2"),url(/infra/font/KaTeX_Main-BoldItalic.woff) format("woff"),url(/infra/font/KaTeX_Main-BoldItalic.ttf) format("truetype")}@font-face{font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/infra/font/KaTeX_Main-Italic.woff2) format("woff2"),url(/infra/font/KaTeX_Main-Italic.woff) format("woff"),url(/infra/font/KaTeX_Main-Italic.ttf) format("truetype")}@font-face{font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/infra/font/KaTeX_Main-Regular.woff2) format("woff2"),url(/infra/font/KaTeX_Main-Regular.woff) format("woff"),url(/infra/font/KaTeX_Main-Regular.ttf) format("truetype")}@font-face{font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/infra/font/KaTeX_Math-BoldItalic.woff2) format("woff2"),url(/infra/font/KaTeX_Math-BoldItalic.woff) format("woff"),url(/infra/font/KaTeX_Math-BoldItalic.ttf) format("truetype")}@font-face{font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/infra/font/KaTeX_Math-Italic.woff2) format("woff2"),url(/infra/font/KaTeX_Math-Italic.woff) format("woff"),url(/infra/font/KaTeX_Math-Italic.ttf) format("truetype")}@font-face{font-family:"KaTeX_SansSerif";font-style:normal;font-weight:700;src:url(/infra/font/KaTeX_SansSerif-Bold.woff2) format("woff2"),url(/infra/font/KaTeX_SansSerif-Bold.woff) format("woff"),url(/infra/font/KaTeX_SansSerif-Bold.ttf) format("truetype")}@font-face{font-family:"KaTeX_SansSerif";font-style:italic;font-weight:400;src:url(/infra/font/KaTeX_SansSerif-Italic.woff2) format("woff2"),url(/infra/font/KaTeX_SansSerif-Italic.woff) format("woff"),url(/infra/font/KaTeX_SansSerif-Italic.ttf) format("truetype")}@font-face{font-family:"KaTeX_SansSerif";font-style:normal;font-weight:400;src:url(/infra/font/KaTeX_SansSerif-Regular.woff2) format("woff2"),url(/infra/font/KaTeX_SansSerif-Regular.woff) format("woff"),url(/infra/font/KaTeX_SansSerif-Regular.ttf) format("truetype")}@font-face{font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/infra/font/KaTeX_Script-Regular.woff2) format("woff2"),url(/infra/font/KaTeX_Script-Regular.woff) format("woff"),url(/infra/font/KaTeX_Script-Regular.ttf) format("truetype")}@font-face{font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/infra/font/KaTeX_Size1-Regular.woff2) format("woff2"),url(/infra/font/KaTeX_Size1-Regular.woff) format("woff"),url(/infra/font/KaTeX_Size1-Regular.ttf) format("truetype")}@font-face{font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/infra/font/KaTeX_Size2-Regular.woff2) format("woff2"),url(/infra/font/KaTeX_Size2-Regular.woff) format("woff"),url(/infra/font/KaTeX_Size2-Regular.ttf) format("truetype")}@font-face{font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(/infra/font/KaTeX_Size3-Regular.woff2) format("woff2"),url(/infra/font/KaTeX_Size3-Regular.woff) format("woff"),url(/infra/font/KaTeX_Size3-Regular.ttf) format("truetype")}@font-face{font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/infra/font/KaTeX_Size4-Regular.woff2) format("woff2"),url(/infra/font/KaTeX_Size4-Regular.woff) format("woff"),url(/infra/font/KaTeX_Size4-Regular.ttf) format("truetype")}@font-face{font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/infra/font/KaTeX_Typewriter-Regular.woff2) format("woff2"),url(/infra/font/KaTeX_Typewriter-Regular.woff) format("woff"),url(/infra/font/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.2"}.katex .katex-mathml{clip:rect(1px,1px,1px,1px);border:0;height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.newline{display:block}.katex .base{position:relative;white-space:nowrap;width:-webkit-min-content;width:-moz-min-content;width:min-content}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;display:inline-table;table-layout:fixed}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;position:relative;vertical-align:bottom}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;font-size:1px;min-width:2px;vertical-align:bottom;width:2px}.katex .vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{display:inline-flex;flex-direction:row}.katex .thinbox{max-width:0;width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.root{margin-left:.27777778em;margin-right:-.55555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.83333333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.16666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.33333333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.66666667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.45666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.14666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.71428571em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.85714286em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.14285714em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.28571429em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.42857143em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.71428571em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.05714286em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.46857143em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.96285714em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.55428571em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.55555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.66666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.77777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.88888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.11111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.33333333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.30444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.76444444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.41666667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.58333333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.66666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.83333333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.72833333em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.07333333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.34722222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.41666667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.48611111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.55555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.69444444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.83333333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.44027778em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.72777778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.28935185em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.34722222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.40509259em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.46296296em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.52083333em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.5787037em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.69444444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.83333333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.20023148em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.43981481em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.24108004em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.28929605em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.33751205em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.38572806em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.43394407em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.48216008em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.57859209em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.69431051em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.83317261em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.19961427em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.20096463em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.24115756em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.28135048em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.32154341em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.36173633em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.40192926em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.48231511em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.57877814em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.69453376em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.83360129em}.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{display:inline-block;width:.12em}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.katex .overlay{display:block}.katex .mtable .vertical-separator{display:inline-block;min-width:1px}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;fill-rule:nonzero;fill-opacity:1;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.katex img{border-style:none;max-height:none;max-width:none;min-height:0;min-width:0}.katex .stretchy{display:block;overflow:hidden;position:relative;width:100%}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{overflow:hidden;position:relative;width:100%}.katex .halfarrow-left{left:0;overflow:hidden;position:absolute;width:50.2%}.katex .halfarrow-right{overflow:hidden;position:absolute;right:0;width:50.2%}.katex .brace-left{left:0;overflow:hidden;position:absolute;width:25.1%}.katex .brace-center{left:25%;overflow:hidden;position:absolute;width:50%}.katex .brace-right{overflow:hidden;position:absolute;right:0;width:25.1%}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{border:.04em solid;box-sizing:border-box}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{border-right:.049em solid;border-top:.049em solid;box-sizing:border-box;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{display:inline-block;position:absolute;right:calc(50% + .3em);text-align:left}.katex .cd-label-right{display:inline-block;left:calc(50% + .3em);position:absolute;text-align:right}.katex-display{display:block;margin:1em 0;text-align:center}.katex-display>.katex{display:block;text-align:center;white-space:nowrap}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo} diff --git a/source/infra/css/main.css b/source/infra/css/main.css new file mode 100644 index 0000000..5127873 --- /dev/null +++ b/source/infra/css/main.css @@ -0,0 +1,99 @@ +/* Colour scheme */ +:root { + --b: #ededed; + --f: #121212; + --a: #0000ff; +} +.darkinv {} +@media only screen and (prefers-color-scheme: dark) { + :root { + --b: #121212; + --f: #ededed; + --a: #ffff00; + } + .darkinv {filter: invert(100%)} +} + +/* Basic elements */ +body { + background: #ededed; + background: var(--b); + color: #121212; + color: var(--f); + + max-width: 80ch; + margin: auto; + padding: 1rem 0; + + font-family: sans-serif; + line-height: 1.5; +} +h1,h2,h3 {text-align: center;} +h1 {font-size: 2.0rem;} +h2 {font-size: 1.6rem;} +h3 {font-size: 1.2rem;} +a { + text-decoration: none; + color: #0000ff; + color: var(--a); +} +img { + display: block; + max-width: 100%; + height: auto; + margin: auto; +} + +/* Header and footer */ +.nav { + height: 3rem; + font-size: 2.4rem; + padding: 0.25rem 0; +} +.navl { + float: left; + text-align: left; +} +.navr { + float: right; + text-align: right; +} +.footl { + float: left; + text-align: left; +} +.footr { + float: right; + text-align: right; +} +@media only screen and (max-width: 72ch) { + .navl, .footl, .footr {width: 100%;} + .navr { + width: 100%; + font-size: 1.8rem; + } +} +.noha a:link, .noha a:visited { + color: #121212; + color: var(--f); +} +.noha a:hover, .noha a:focus, .noha a:active { + color: #0000ff; + color: var(--a); +} + +/* Collapsible boxes */ +label { + color: #0000ff; + color: var(--a); + cursor: pointer; +} +.accordion { + display: block; + padding: 0.3rem 0.5rem; + border-style: dotted; +} +input {display: none;} +input + label + .hidden {display: none;} +input:checked + label {display: none;} +input:checked + label + .hidden {display: block;} diff --git a/source/infra/css/syntax.css b/source/infra/css/syntax.css new file mode 100644 index 0000000..8772351 --- /dev/null +++ b/source/infra/css/syntax.css @@ -0,0 +1,147 @@ +/* From https://github.com/brazacz/rouge-themes/blob/main/css/github.css */ +.highlight { background-color: #f8f8f8; } +.highlight .bp { color: #999999; } +.highlight .c { color: #999988; font-style: italic; } +.highlight .c1 { color: #999988; font-style: italic; } +.highlight .cd { color: #999988; font-style: italic; } +.highlight .ch { color: #999988; font-style: italic; } +.highlight .cm { color: #999988; font-style: italic; } +.highlight .cp { color: #999999; font-weight: bold; } +.highlight .cpf { color: #999988; font-style: italic; } +.highlight .cs { color: #999999; font-weight: bold; font-style: italic; } +.highlight .dl { color: #dd1144; } +.highlight .err { color: #a61717; background-color: #e3d2d2; } +.highlight .fm { color: #990000; font-weight: bold; } +.highlight .gd { color: #000000; background-color: #ffdddd; } +.highlight .ge { color: #000000; font-style: italic; } +.highlight .gh { color: #999999; } +.highlight .gi { color: #000000; background-color: #ddffdd; } +.highlight .go { color: #888888; } +.highlight .gp { color: #555555; } +.highlight .gr { color: #aa0000; } +.highlight .gs { font-weight: bold; } +.highlight .gt { color: #aa0000; } +.highlight .gu { color: #aaaaaa; } +.highlight .il { color: #009999; } +.highlight .k { color: #000000; font-weight: bold; } +.highlight .kc { color: #000000; font-weight: bold; } +.highlight .kd { color: #000000; font-weight: bold; } +.highlight .kn { color: #000000; font-weight: bold; } +.highlight .kp { color: #000000; font-weight: bold; } +.highlight .kr { color: #000000; font-weight: bold; } +.highlight .kt { color: #445588; font-weight: bold; } +.highlight .kv { color: #000000; font-weight: bold; } +.highlight .m { color: #009999; } +.highlight .mb { color: #009999; } +.highlight .mf { color: #009999; } +.highlight .mh { color: #009999; } +.highlight .mi { color: #009999; } +.highlight .mo { color: #009999; } +.highlight .mx { color: #009999; } +.highlight .na { color: #008080; } +.highlight .nb { color: #0086B3; } +.highlight .nc { color: #445588; font-weight: bold; } +.highlight .nd { color: #3c5d5d; font-weight: bold; } +.highlight .ne { color: #990000; font-weight: bold; } +.highlight .nf { color: #990000; font-weight: bold; } +.highlight .ni { color: #800080; } +.highlight .nl { color: #990000; font-weight: bold; } +.highlight .nn { color: #555555; } +.highlight .no { color: #008080; } +.highlight .nt { color: #000080; } +.highlight .nv { color: #008080; } +.highlight .o { color: #000000; font-weight: bold; } +.highlight .ow { color: #000000; font-weight: bold; } +.highlight .s { color: #dd1144; } +.highlight .s1 { color: #dd1144; } +.highlight .s2 { color: #dd1144; } +.highlight .sa { color: #000000; font-weight: bold; } +.highlight .sb { color: #dd1144; } +.highlight .sc { color: #dd1144; } +.highlight .sd { color: #dd1144; } +.highlight .se { color: #dd1144; } +.highlight .sh { color: #dd1144; } +.highlight .si { color: #dd1144; } +.highlight .sr { color: #009926; } +.highlight .ss { color: #990073; } +.highlight .sx { color: #dd1144; } +.highlight .vc { color: #008080; } +.highlight .vg { color: #008080; } +.highlight .vi { color: #008080; } +.highlight .vm { color: #008080; } +.highlight .w { color: #bbbbbb; } + +@media only screen and (prefers-color-scheme: dark) { +/* From https://github.com/numist/highlight-css/blob/main/Pygments/github-dark.css */ +.highlight { background-color: #0d1117; } +.highlight .bp { color: #c9d1d9; } /* Name.Builtin.Pseudo */ +.highlight .c { color: #8b949e; font-style: italic; } /* Comment */ +.highlight .c1 { color: #8b949e; font-style: italic; } /* Comment.Single */ +.highlight .cd { color: #8b949e; font-style: italic; } /* ? */ +.highlight .ch { color: #8b949e; font-style: italic; } /* Comment.Hashbang */ +.highlight .cm { color: #8b949e; font-style: italic; } /* Comment.Multiline */ +.highlight .cp { color: #8b949e; font-weight: bold; font-style: italic; } /* Comment.Preproc */ +.highlight .cpf { color: #8b949e; font-style: italic; } /* Comment.PreprocFile */ +.highlight .cs { color: #8b949e; font-weight: bold; font-style: italic; } /* Comment.Special */ +.highlight .dl { color: #79c0ff; } /* Literal.String.Delimiter */ +.highlight .err { color: #f85149; } /* Error */ +.highlight .fm { color: #d2a8ff; font-weight: bold; } /* Name.Function.Magic */ +.highlight .gd { color: #ffa198; background-color: #490202; } /* Generic.Deleted */ +.highlight .ge { color: #c9d1d9; font-style: italic; } /* Generic.Emph */ +.highlight .gh { color: #79c0ff; font-weight: bold; } /* Generic.Heading */ +.highlight .gi { color: #56d364; background-color: #0f5323; } /* Generic.Inserted */ +.highlight .go { color: #8b949e; } /* Generic.Output */ +.highlight .gp { color: #8b949e; } /* Generic.Prompt */ +.highlight .gr { color: #ffa198; } /* Generic.Error */ +.highlight .gs { font-weight: bold; } /* Generic.Strong */ +.highlight .gt { color: #ff7b72; } /* Generic.Traceback */ +.highlight .gu { color: #79c0ff; } /* Generic.Subheading */ +.highlight .il { color: #a5d6ff; } /* Literal.Number.Integer.Long */ +.highlight .k { color: #ff7b72; } /* Keyword */ +.highlight .kc { color: #79c0ff; } /* Keyword.Constant */ +.highlight .kd { color: #ff7b72; } /* Keyword.Declaration */ +.highlight .kn { color: #ff7b72; } /* Keyword.Namespace */ +.highlight .kp { color: #79c0ff; } /* Keyword.Pseudo */ +.highlight .kr { color: #ff7b72; } /* Keyword.Reserved */ +.highlight .kt { color: #ff7b72; } /* Keyword.Type */ +.highlight .kv { color: #ff7b72; } /* ? */ +.highlight .m { color: #a5d6ff; } /* Literal.Number */ +.highlight .mb { color: #a5d6ff; } /* Literal.Number.Bin */ +.highlight .mf { color: #a5d6ff; } /* Literal.Number.Float */ +.highlight .mh { color: #a5d6ff; } /* Literal.Number.Hex */ +.highlight .mi { color: #a5d6ff; } /* Literal.Number.Integer */ +.highlight .mo { color: #a5d6ff; } /* Literal.Number.Oct */ +.highlight .mx { color: #a5d6ff; } /* ? */ +.highlight .na { color: #c9d1d9; } /* Name.Attribute */ +.highlight .nb { color: #c9d1d9; } /* Name.Builtin */ +.highlight .nc { color: #f0883e; font-weight: bold; } /* Name.Class */ +.highlight .nd { color: #d2a8ff; font-weight: bold; } /* Name.Decorator */ +.highlight .ne { color: #f0883e; font-weight: bold; } /* Name.Exception */ +.highlight .nf { color: #d2a8ff; font-weight: bold; } /* Name.Function */ +.highlight .ni { color: #ffa657; } /* Name.Entity */ +.highlight .nl { color: #79c0ff; font-weight: bold; } /* Name.Label */ +.highlight .nn { color: #ff7b72; } /* Name.Namespace */ +.highlight .no { color: #79c0ff; font-weight: bold; } /* Name.Constant */ +.highlight .nt { color: #7ee787; } /* Name.Tag */ +.highlight .nv { color: #79c0ff; } /* Name.Variable */ +.highlight .o { color: #ff7b72; font-weight: bold; } /* Operator */ +.highlight .ow { color: #ff7b72; font-weight: bold; } /* Operator.Word */ +.highlight .s { color: #a5d6ff; } /* Literal.String */ +.highlight .s1 { color: #a5d6ff; } /* Literal.String.Single */ +.highlight .s2 { color: #a5d6ff; } /* Literal.String.Double */ +.highlight .sa { color: #79c0ff; } /* Literal.String.Affix */ +.highlight .sb { color: #a5d6ff; } /* Literal.String.Backtick */ +.highlight .sc { color: #a5d6ff; } /* Literal.String.Char */ +.highlight .sd { color: #a5d6ff; } /* Literal.String.Doc */ +.highlight .se { color: #79c0ff; } /* Literal.String.Escape */ +.highlight .sh { color: #79c0ff; } /* Literal.String.Heredoc */ +.highlight .si { color: #a5d6ff; } /* Literal.String.Interpol */ +.highlight .sr { color: #79c0ff; } /* Literal.String.Regex */ +.highlight .ss { color: #a5d6ff; } /* Literal.String.Symbol */ +.highlight .sx { color: #a5d6ff; } /* Literal.String.Other */ +.highlight .vc { color: #79c0ff; } /* Name.Variable.Class */ +.highlight .vg { color: #79c0ff; } /* Name.Variable.Global */ +.highlight .vi { color: #79c0ff; } /* Name.Variable.Instance */ +.highlight .vm { color: #79c0ff; } /* Name.Variable.Magic */ +.highlight .w { color: #6e7681; } /* Text.Whitespace */ +} diff --git a/source/infra/font/KaTeX_AMS-Regular.ttf b/source/infra/font/KaTeX_AMS-Regular.ttf new file mode 100644 index 0000000..c6f9a5e Binary files /dev/null and b/source/infra/font/KaTeX_AMS-Regular.ttf differ diff --git a/source/infra/font/KaTeX_AMS-Regular.woff b/source/infra/font/KaTeX_AMS-Regular.woff new file mode 100644 index 0000000..b804d7b Binary files /dev/null and b/source/infra/font/KaTeX_AMS-Regular.woff differ diff --git a/source/infra/font/KaTeX_AMS-Regular.woff2 b/source/infra/font/KaTeX_AMS-Regular.woff2 new file mode 100644 index 0000000..0acaaff Binary files /dev/null and b/source/infra/font/KaTeX_AMS-Regular.woff2 differ diff --git a/source/infra/font/KaTeX_Caligraphic-Bold.ttf b/source/infra/font/KaTeX_Caligraphic-Bold.ttf new file mode 100644 index 0000000..9ff4a5e Binary files /dev/null and b/source/infra/font/KaTeX_Caligraphic-Bold.ttf differ diff --git a/source/infra/font/KaTeX_Caligraphic-Bold.woff b/source/infra/font/KaTeX_Caligraphic-Bold.woff new file mode 100644 index 0000000..9759710 Binary files /dev/null and b/source/infra/font/KaTeX_Caligraphic-Bold.woff differ diff --git a/source/infra/font/KaTeX_Caligraphic-Bold.woff2 b/source/infra/font/KaTeX_Caligraphic-Bold.woff2 new file mode 100644 index 0000000..f390922 Binary files /dev/null and b/source/infra/font/KaTeX_Caligraphic-Bold.woff2 differ diff --git a/source/infra/font/KaTeX_Caligraphic-Regular.ttf b/source/infra/font/KaTeX_Caligraphic-Regular.ttf new file mode 100644 index 0000000..f522294 Binary files /dev/null and b/source/infra/font/KaTeX_Caligraphic-Regular.ttf differ diff --git a/source/infra/font/KaTeX_Caligraphic-Regular.woff b/source/infra/font/KaTeX_Caligraphic-Regular.woff new file mode 100644 index 0000000..9bdd534 Binary files /dev/null and b/source/infra/font/KaTeX_Caligraphic-Regular.woff differ diff --git a/source/infra/font/KaTeX_Caligraphic-Regular.woff2 b/source/infra/font/KaTeX_Caligraphic-Regular.woff2 new file mode 100644 index 0000000..75344a1 Binary files /dev/null and b/source/infra/font/KaTeX_Caligraphic-Regular.woff2 differ diff --git a/source/infra/font/KaTeX_Fraktur-Bold.ttf b/source/infra/font/KaTeX_Fraktur-Bold.ttf new file mode 100644 index 0000000..4e98259 Binary files /dev/null and b/source/infra/font/KaTeX_Fraktur-Bold.ttf differ diff --git a/source/infra/font/KaTeX_Fraktur-Bold.woff b/source/infra/font/KaTeX_Fraktur-Bold.woff new file mode 100644 index 0000000..e7730f6 Binary files /dev/null and b/source/infra/font/KaTeX_Fraktur-Bold.woff differ diff --git a/source/infra/font/KaTeX_Fraktur-Bold.woff2 b/source/infra/font/KaTeX_Fraktur-Bold.woff2 new file mode 100644 index 0000000..395f28b Binary files /dev/null and b/source/infra/font/KaTeX_Fraktur-Bold.woff2 differ diff --git a/source/infra/font/KaTeX_Fraktur-Regular.ttf b/source/infra/font/KaTeX_Fraktur-Regular.ttf new file mode 100644 index 0000000..b8461b2 Binary files /dev/null and b/source/infra/font/KaTeX_Fraktur-Regular.ttf differ diff --git a/source/infra/font/KaTeX_Fraktur-Regular.woff b/source/infra/font/KaTeX_Fraktur-Regular.woff new file mode 100644 index 0000000..acab069 Binary files /dev/null and b/source/infra/font/KaTeX_Fraktur-Regular.woff differ diff --git a/source/infra/font/KaTeX_Fraktur-Regular.woff2 b/source/infra/font/KaTeX_Fraktur-Regular.woff2 new file mode 100644 index 0000000..735f694 Binary files /dev/null and b/source/infra/font/KaTeX_Fraktur-Regular.woff2 differ diff --git a/source/infra/font/KaTeX_Main-Bold.ttf b/source/infra/font/KaTeX_Main-Bold.ttf new file mode 100644 index 0000000..4060e62 Binary files /dev/null and b/source/infra/font/KaTeX_Main-Bold.ttf differ diff --git a/source/infra/font/KaTeX_Main-Bold.woff b/source/infra/font/KaTeX_Main-Bold.woff new file mode 100644 index 0000000..f38136a Binary files /dev/null and b/source/infra/font/KaTeX_Main-Bold.woff differ diff --git a/source/infra/font/KaTeX_Main-Bold.woff2 b/source/infra/font/KaTeX_Main-Bold.woff2 new file mode 100644 index 0000000..ab2ad21 Binary files /dev/null and b/source/infra/font/KaTeX_Main-Bold.woff2 differ diff --git a/source/infra/font/KaTeX_Main-BoldItalic.ttf b/source/infra/font/KaTeX_Main-BoldItalic.ttf new file mode 100644 index 0000000..dc00797 Binary files /dev/null and b/source/infra/font/KaTeX_Main-BoldItalic.ttf differ diff --git a/source/infra/font/KaTeX_Main-BoldItalic.woff b/source/infra/font/KaTeX_Main-BoldItalic.woff new file mode 100644 index 0000000..67807b0 Binary files /dev/null and b/source/infra/font/KaTeX_Main-BoldItalic.woff differ diff --git a/source/infra/font/KaTeX_Main-BoldItalic.woff2 b/source/infra/font/KaTeX_Main-BoldItalic.woff2 new file mode 100644 index 0000000..5931794 Binary files /dev/null and b/source/infra/font/KaTeX_Main-BoldItalic.woff2 differ diff --git a/source/infra/font/KaTeX_Main-Italic.ttf b/source/infra/font/KaTeX_Main-Italic.ttf new file mode 100644 index 0000000..0e9b0f3 Binary files /dev/null and b/source/infra/font/KaTeX_Main-Italic.ttf differ diff --git a/source/infra/font/KaTeX_Main-Italic.woff b/source/infra/font/KaTeX_Main-Italic.woff new file mode 100644 index 0000000..6f43b59 Binary files /dev/null and b/source/infra/font/KaTeX_Main-Italic.woff differ diff --git a/source/infra/font/KaTeX_Main-Italic.woff2 b/source/infra/font/KaTeX_Main-Italic.woff2 new file mode 100644 index 0000000..b50920e Binary files /dev/null and b/source/infra/font/KaTeX_Main-Italic.woff2 differ diff --git a/source/infra/font/KaTeX_Main-Regular.ttf b/source/infra/font/KaTeX_Main-Regular.ttf new file mode 100644 index 0000000..dd45e1e Binary files /dev/null and b/source/infra/font/KaTeX_Main-Regular.ttf differ diff --git a/source/infra/font/KaTeX_Main-Regular.woff b/source/infra/font/KaTeX_Main-Regular.woff new file mode 100644 index 0000000..21f5812 Binary files /dev/null and b/source/infra/font/KaTeX_Main-Regular.woff differ diff --git a/source/infra/font/KaTeX_Main-Regular.woff2 b/source/infra/font/KaTeX_Main-Regular.woff2 new file mode 100644 index 0000000..eb24a7b Binary files /dev/null and b/source/infra/font/KaTeX_Main-Regular.woff2 differ diff --git a/source/infra/font/KaTeX_Math-BoldItalic.ttf b/source/infra/font/KaTeX_Math-BoldItalic.ttf new file mode 100644 index 0000000..728ce7a Binary files /dev/null and b/source/infra/font/KaTeX_Math-BoldItalic.ttf differ diff --git a/source/infra/font/KaTeX_Math-BoldItalic.woff b/source/infra/font/KaTeX_Math-BoldItalic.woff new file mode 100644 index 0000000..0ae390d Binary files /dev/null and b/source/infra/font/KaTeX_Math-BoldItalic.woff differ diff --git a/source/infra/font/KaTeX_Math-BoldItalic.woff2 b/source/infra/font/KaTeX_Math-BoldItalic.woff2 new file mode 100644 index 0000000..2965702 Binary files /dev/null and b/source/infra/font/KaTeX_Math-BoldItalic.woff2 differ diff --git a/source/infra/font/KaTeX_Math-Italic.ttf b/source/infra/font/KaTeX_Math-Italic.ttf new file mode 100644 index 0000000..70d559b Binary files /dev/null and b/source/infra/font/KaTeX_Math-Italic.ttf differ diff --git a/source/infra/font/KaTeX_Math-Italic.woff b/source/infra/font/KaTeX_Math-Italic.woff new file mode 100644 index 0000000..eb5159d Binary files /dev/null and b/source/infra/font/KaTeX_Math-Italic.woff differ diff --git a/source/infra/font/KaTeX_Math-Italic.woff2 b/source/infra/font/KaTeX_Math-Italic.woff2 new file mode 100644 index 0000000..215c143 Binary files /dev/null and b/source/infra/font/KaTeX_Math-Italic.woff2 differ diff --git a/source/infra/font/KaTeX_SansSerif-Bold.ttf b/source/infra/font/KaTeX_SansSerif-Bold.ttf new file mode 100644 index 0000000..2f65a8a Binary files /dev/null and b/source/infra/font/KaTeX_SansSerif-Bold.ttf differ diff --git a/source/infra/font/KaTeX_SansSerif-Bold.woff b/source/infra/font/KaTeX_SansSerif-Bold.woff new file mode 100644 index 0000000..8d47c02 Binary files /dev/null and b/source/infra/font/KaTeX_SansSerif-Bold.woff differ diff --git a/source/infra/font/KaTeX_SansSerif-Bold.woff2 b/source/infra/font/KaTeX_SansSerif-Bold.woff2 new file mode 100644 index 0000000..cfaa3bd Binary files /dev/null and b/source/infra/font/KaTeX_SansSerif-Bold.woff2 differ diff --git a/source/infra/font/KaTeX_SansSerif-Italic.ttf b/source/infra/font/KaTeX_SansSerif-Italic.ttf new file mode 100644 index 0000000..d5850df Binary files /dev/null and b/source/infra/font/KaTeX_SansSerif-Italic.ttf differ diff --git a/source/infra/font/KaTeX_SansSerif-Italic.woff b/source/infra/font/KaTeX_SansSerif-Italic.woff new file mode 100644 index 0000000..7e02df9 Binary files /dev/null and b/source/infra/font/KaTeX_SansSerif-Italic.woff differ diff --git a/source/infra/font/KaTeX_SansSerif-Italic.woff2 b/source/infra/font/KaTeX_SansSerif-Italic.woff2 new file mode 100644 index 0000000..349c06d Binary files /dev/null and b/source/infra/font/KaTeX_SansSerif-Italic.woff2 differ diff --git a/source/infra/font/KaTeX_SansSerif-Regular.ttf b/source/infra/font/KaTeX_SansSerif-Regular.ttf new file mode 100644 index 0000000..537279f Binary files /dev/null and b/source/infra/font/KaTeX_SansSerif-Regular.ttf differ diff --git a/source/infra/font/KaTeX_SansSerif-Regular.woff b/source/infra/font/KaTeX_SansSerif-Regular.woff new file mode 100644 index 0000000..31b8482 Binary files /dev/null and b/source/infra/font/KaTeX_SansSerif-Regular.woff differ diff --git a/source/infra/font/KaTeX_SansSerif-Regular.woff2 b/source/infra/font/KaTeX_SansSerif-Regular.woff2 new file mode 100644 index 0000000..a90eea8 Binary files /dev/null and b/source/infra/font/KaTeX_SansSerif-Regular.woff2 differ diff --git a/source/infra/font/KaTeX_Script-Regular.ttf b/source/infra/font/KaTeX_Script-Regular.ttf new file mode 100644 index 0000000..fd679bf Binary files /dev/null and b/source/infra/font/KaTeX_Script-Regular.ttf differ diff --git a/source/infra/font/KaTeX_Script-Regular.woff b/source/infra/font/KaTeX_Script-Regular.woff new file mode 100644 index 0000000..0e7da82 Binary files /dev/null and b/source/infra/font/KaTeX_Script-Regular.woff differ diff --git a/source/infra/font/KaTeX_Script-Regular.woff2 b/source/infra/font/KaTeX_Script-Regular.woff2 new file mode 100644 index 0000000..b3048fc Binary files /dev/null and b/source/infra/font/KaTeX_Script-Regular.woff2 differ diff --git a/source/infra/font/KaTeX_Size1-Regular.ttf b/source/infra/font/KaTeX_Size1-Regular.ttf new file mode 100644 index 0000000..871fd7d Binary files /dev/null and b/source/infra/font/KaTeX_Size1-Regular.ttf differ diff --git a/source/infra/font/KaTeX_Size1-Regular.woff b/source/infra/font/KaTeX_Size1-Regular.woff new file mode 100644 index 0000000..7f292d9 Binary files /dev/null and b/source/infra/font/KaTeX_Size1-Regular.woff differ diff --git a/source/infra/font/KaTeX_Size1-Regular.woff2 b/source/infra/font/KaTeX_Size1-Regular.woff2 new file mode 100644 index 0000000..c5a8462 Binary files /dev/null and b/source/infra/font/KaTeX_Size1-Regular.woff2 differ diff --git a/source/infra/font/KaTeX_Size2-Regular.ttf b/source/infra/font/KaTeX_Size2-Regular.ttf new file mode 100644 index 0000000..7a212ca Binary files /dev/null and b/source/infra/font/KaTeX_Size2-Regular.ttf differ diff --git a/source/infra/font/KaTeX_Size2-Regular.woff b/source/infra/font/KaTeX_Size2-Regular.woff new file mode 100644 index 0000000..d241d9b Binary files /dev/null and b/source/infra/font/KaTeX_Size2-Regular.woff differ diff --git a/source/infra/font/KaTeX_Size2-Regular.woff2 b/source/infra/font/KaTeX_Size2-Regular.woff2 new file mode 100644 index 0000000..e1bccfe Binary files /dev/null and b/source/infra/font/KaTeX_Size2-Regular.woff2 differ diff --git a/source/infra/font/KaTeX_Size3-Regular.ttf b/source/infra/font/KaTeX_Size3-Regular.ttf new file mode 100644 index 0000000..00bff34 Binary files /dev/null and b/source/infra/font/KaTeX_Size3-Regular.ttf differ diff --git a/source/infra/font/KaTeX_Size3-Regular.woff b/source/infra/font/KaTeX_Size3-Regular.woff new file mode 100644 index 0000000..e6e9b65 Binary files /dev/null and b/source/infra/font/KaTeX_Size3-Regular.woff differ diff --git a/source/infra/font/KaTeX_Size3-Regular.woff2 b/source/infra/font/KaTeX_Size3-Regular.woff2 new file mode 100644 index 0000000..249a286 Binary files /dev/null and b/source/infra/font/KaTeX_Size3-Regular.woff2 differ diff --git a/source/infra/font/KaTeX_Size4-Regular.ttf b/source/infra/font/KaTeX_Size4-Regular.ttf new file mode 100644 index 0000000..74f0892 Binary files /dev/null and b/source/infra/font/KaTeX_Size4-Regular.ttf differ diff --git a/source/infra/font/KaTeX_Size4-Regular.woff b/source/infra/font/KaTeX_Size4-Regular.woff new file mode 100644 index 0000000..e1ec545 Binary files /dev/null and b/source/infra/font/KaTeX_Size4-Regular.woff differ diff --git a/source/infra/font/KaTeX_Size4-Regular.woff2 b/source/infra/font/KaTeX_Size4-Regular.woff2 new file mode 100644 index 0000000..680c130 Binary files /dev/null and b/source/infra/font/KaTeX_Size4-Regular.woff2 differ diff --git a/source/infra/font/KaTeX_Typewriter-Regular.ttf b/source/infra/font/KaTeX_Typewriter-Regular.ttf new file mode 100644 index 0000000..c83252c Binary files /dev/null and b/source/infra/font/KaTeX_Typewriter-Regular.ttf differ diff --git a/source/infra/font/KaTeX_Typewriter-Regular.woff b/source/infra/font/KaTeX_Typewriter-Regular.woff new file mode 100644 index 0000000..2432419 Binary files /dev/null and b/source/infra/font/KaTeX_Typewriter-Regular.woff differ diff --git a/source/infra/font/KaTeX_Typewriter-Regular.woff2 b/source/infra/font/KaTeX_Typewriter-Regular.woff2 new file mode 100644 index 0000000..771f1af Binary files /dev/null and b/source/infra/font/KaTeX_Typewriter-Regular.woff2 differ diff --git a/source/infra/image/favicon.ico b/source/infra/image/favicon.ico new file mode 100644 index 0000000..49450b2 Binary files /dev/null and b/source/infra/image/favicon.ico differ diff --git a/source/infra/image/logo256.png b/source/infra/image/logo256.png new file mode 100644 index 0000000..d6b9961 Binary files /dev/null and b/source/infra/image/logo256.png differ diff --git a/source/infra/image/logo96x64.gif b/source/infra/image/logo96x64.gif new file mode 100644 index 0000000..869890b Binary files /dev/null and b/source/infra/image/logo96x64.gif differ diff --git a/source/infra/js/katex.min.js b/source/infra/js/katex.min.js new file mode 100644 index 0000000..f5fc1c1 --- /dev/null +++ b/source/infra/js/katex.min.js @@ -0,0 +1 @@ +!function(e,t){"object"==typeof exports&&"object"==typeof module?module.exports=t():"function"==typeof define&&define.amd?define([],t):"object"==typeof exports?exports.katex=t():e.katex=t()}("undefined"!=typeof self?self:this,(function(){return function(){"use strict";var e={d:function(t,r){for(var n in r)e.o(r,n)&&!e.o(t,n)&&Object.defineProperty(t,n,{enumerable:!0,get:r[n]})},o:function(e,t){return Object.prototype.hasOwnProperty.call(e,t)}},t={};e.d(t,{default:function(){return Qn}});var r=function e(t,r){this.position=void 0;var n,a="KaTeX parse error: "+t,i=r&&r.loc;if(i&&i.start<=i.end){var o=i.lexer.input;n=i.start;var s=i.end;n===o.length?a+=" at end of input: ":a+=" at position "+(n+1)+": ";var l=o.slice(n,s).replace(/[^]/g,"$&\u0332");a+=(n>15?"\u2026"+o.slice(n-15,n):o.slice(0,n))+l+(s+15":">","<":"<",'"':""","'":"'"},o=/[&><"']/g;var s=function e(t){return"ordgroup"===t.type||"color"===t.type?1===t.body.length?e(t.body[0]):t:"font"===t.type?e(t.body):t},l={contains:function(e,t){return-1!==e.indexOf(t)},deflt:function(e,t){return void 0===e?t:e},escape:function(e){return String(e).replace(o,(function(e){return i[e]}))},hyphenate:function(e){return e.replace(a,"-$1").toLowerCase()},getBaseElem:s,isCharacterBox:function(e){var t=s(e);return"mathord"===t.type||"textord"===t.type||"atom"===t.type},protocolFromUrl:function(e){var t=/^\s*([^\\/#]*?)(?::|�*58|�*3a)/i.exec(e);return null!=t?t[1]:"_relative"}},h={displayMode:{type:"boolean",description:"Render math in display mode, which puts the math in display style (so \\int and \\sum are large, for example), and centers the math on the page on its own line.",cli:"-d, --display-mode"},output:{type:{enum:["htmlAndMathml","html","mathml"]},description:"Determines the markup language of the output.",cli:"-F, --format "},leqno:{type:"boolean",description:"Render display math in leqno style (left-justified tags)."},fleqn:{type:"boolean",description:"Render display math flush left."},throwOnError:{type:"boolean",default:!0,cli:"-t, --no-throw-on-error",cliDescription:"Render errors (in the color given by --error-color) instead of throwing a ParseError exception when encountering an error."},errorColor:{type:"string",default:"#cc0000",cli:"-c, --error-color ",cliDescription:"A color string given in the format 'rgb' or 'rrggbb' (no #). This option determines the color of errors rendered by the -t option.",cliProcessor:function(e){return"#"+e}},macros:{type:"object",cli:"-m, --macro ",cliDescription:"Define custom macro of the form '\\foo:expansion' (use multiple -m arguments for multiple macros).",cliDefault:[],cliProcessor:function(e,t){return t.push(e),t}},minRuleThickness:{type:"number",description:"Specifies a minimum thickness, in ems, for fraction lines, `\\sqrt` top lines, `{array}` vertical lines, `\\hline`, `\\hdashline`, `\\underline`, `\\overline`, and the borders of `\\fbox`, `\\boxed`, and `\\fcolorbox`.",processor:function(e){return Math.max(0,e)},cli:"--min-rule-thickness ",cliProcessor:parseFloat},colorIsTextColor:{type:"boolean",description:"Makes \\color behave like LaTeX's 2-argument \\textcolor, instead of LaTeX's one-argument \\color mode change.",cli:"-b, --color-is-text-color"},strict:{type:[{enum:["warn","ignore","error"]},"boolean","function"],description:"Turn on strict / LaTeX faithfulness mode, which throws an error if the input uses features that are not supported by LaTeX.",cli:"-S, --strict",cliDefault:!1},trust:{type:["boolean","function"],description:"Trust the input, enabling all HTML features such as \\url.",cli:"-T, --trust"},maxSize:{type:"number",default:1/0,description:"If non-zero, all user-specified sizes, e.g. in \\rule{500em}{500em}, will be capped to maxSize ems. Otherwise, elements and spaces can be arbitrarily large",processor:function(e){return Math.max(0,e)},cli:"-s, --max-size ",cliProcessor:parseInt},maxExpand:{type:"number",default:1e3,description:"Limit the number of macro expansions to the specified number, to prevent e.g. infinite macro loops. If set to Infinity, the macro expander will try to fully expand as in LaTeX.",processor:function(e){return Math.max(0,e)},cli:"-e, --max-expand ",cliProcessor:function(e){return"Infinity"===e?1/0:parseInt(e)}},globalGroup:{type:"boolean",cli:!1}};function c(e){if(e.default)return e.default;var t=e.type,r=Array.isArray(t)?t[0]:t;if("string"!=typeof r)return r.enum[0];switch(r){case"boolean":return!1;case"string":return"";case"number":return 0;case"object":return{}}}var m=function(){function e(e){for(var t in this.displayMode=void 0,this.output=void 0,this.leqno=void 0,this.fleqn=void 0,this.throwOnError=void 0,this.errorColor=void 0,this.macros=void 0,this.minRuleThickness=void 0,this.colorIsTextColor=void 0,this.strict=void 0,this.trust=void 0,this.maxSize=void 0,this.maxExpand=void 0,this.globalGroup=void 0,e=e||{},h)if(h.hasOwnProperty(t)){var r=h[t];this[t]=void 0!==e[t]?r.processor?r.processor(e[t]):e[t]:c(r)}}var t=e.prototype;return t.reportNonstrict=function(e,t,r){var a=this.strict;if("function"==typeof a&&(a=a(e,t,r)),a&&"ignore"!==a){if(!0===a||"error"===a)throw new n("LaTeX-incompatible input and strict mode is set to 'error': "+t+" ["+e+"]",r);"warn"===a?"undefined"!=typeof console&&console.warn("LaTeX-incompatible input and strict mode is set to 'warn': "+t+" ["+e+"]"):"undefined"!=typeof console&&console.warn("LaTeX-incompatible input and strict mode is set to unrecognized '"+a+"': "+t+" ["+e+"]")}},t.useStrictBehavior=function(e,t,r){var n=this.strict;if("function"==typeof n)try{n=n(e,t,r)}catch(e){n="error"}return!(!n||"ignore"===n)&&(!0===n||"error"===n||("warn"===n?("undefined"!=typeof console&&console.warn("LaTeX-incompatible input and strict mode is set to 'warn': "+t+" ["+e+"]"),!1):("undefined"!=typeof console&&console.warn("LaTeX-incompatible input and strict mode is set to unrecognized '"+n+"': "+t+" ["+e+"]"),!1)))},t.isTrusted=function(e){e.url&&!e.protocol&&(e.protocol=l.protocolFromUrl(e.url));var t="function"==typeof this.trust?this.trust(e):this.trust;return Boolean(t)},e}(),u=function(){function e(e,t,r){this.id=void 0,this.size=void 0,this.cramped=void 0,this.id=e,this.size=t,this.cramped=r}var t=e.prototype;return t.sup=function(){return p[d[this.id]]},t.sub=function(){return p[f[this.id]]},t.fracNum=function(){return p[g[this.id]]},t.fracDen=function(){return p[v[this.id]]},t.cramp=function(){return p[y[this.id]]},t.text=function(){return p[b[this.id]]},t.isTight=function(){return this.size>=2},e}(),p=[new u(0,0,!1),new u(1,0,!0),new u(2,1,!1),new u(3,1,!0),new u(4,2,!1),new u(5,2,!0),new u(6,3,!1),new u(7,3,!0)],d=[4,5,4,5,6,7,6,7],f=[5,5,5,5,7,7,7,7],g=[2,3,4,5,6,7,6,7],v=[3,3,5,5,7,7,7,7],y=[1,1,3,3,5,5,7,7],b=[0,1,2,3,2,3,2,3],x={DISPLAY:p[0],TEXT:p[2],SCRIPT:p[4],SCRIPTSCRIPT:p[6]},w=[{name:"latin",blocks:[[256,591],[768,879]]},{name:"cyrillic",blocks:[[1024,1279]]},{name:"armenian",blocks:[[1328,1423]]},{name:"brahmic",blocks:[[2304,4255]]},{name:"georgian",blocks:[[4256,4351]]},{name:"cjk",blocks:[[12288,12543],[19968,40879],[65280,65376]]},{name:"hangul",blocks:[[44032,55215]]}];var k=[];function S(e){for(var t=0;t=k[t]&&e<=k[t+1])return!0;return!1}w.forEach((function(e){return e.blocks.forEach((function(e){return k.push.apply(k,e)}))}));var M=80,z={doubleleftarrow:"M262 157\nl10-10c34-36 62.7-77 86-123 3.3-8 5-13.3 5-16 0-5.3-6.7-8-20-8-7.3\n 0-12.2.5-14.5 1.5-2.3 1-4.8 4.5-7.5 10.5-49.3 97.3-121.7 169.3-217 216-28\n 14-57.3 25-88 33-6.7 2-