• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1@font-face {
2  font-family: 'KaTeX_AMS';
3  src: url('fonts/KaTeX_AMS-Regular.eot');
4  src: url('fonts/KaTeX_AMS-Regular.eot#iefix') format('embedded-opentype'), url('fonts/KaTeX_AMS-Regular.woff2') format('woff2'), url('fonts/KaTeX_AMS-Regular.woff') format('woff'), url('fonts/KaTeX_AMS-Regular.ttf') format('truetype');
5  font-weight: normal;
6  font-style: normal;
7}
8@font-face {
9  font-family: 'KaTeX_Caligraphic';
10  src: url('fonts/KaTeX_Caligraphic-Bold.eot');
11  src: url('fonts/KaTeX_Caligraphic-Bold.eot#iefix') format('embedded-opentype'), url('fonts/KaTeX_Caligraphic-Bold.woff2') format('woff2'), url('fonts/KaTeX_Caligraphic-Bold.woff') format('woff'), url('fonts/KaTeX_Caligraphic-Bold.ttf') format('truetype');
12  font-weight: bold;
13  font-style: normal;
14}
15@font-face {
16  font-family: 'KaTeX_Caligraphic';
17  src: url('fonts/KaTeX_Caligraphic-Regular.eot');
18  src: url('fonts/KaTeX_Caligraphic-Regular.eot#iefix') format('embedded-opentype'), url('fonts/KaTeX_Caligraphic-Regular.woff2') format('woff2'), url('fonts/KaTeX_Caligraphic-Regular.woff') format('woff'), url('fonts/KaTeX_Caligraphic-Regular.ttf') format('truetype');
19  font-weight: normal;
20  font-style: normal;
21}
22@font-face {
23  font-family: 'KaTeX_Fraktur';
24  src: url('fonts/KaTeX_Fraktur-Bold.eot');
25  src: url('fonts/KaTeX_Fraktur-Bold.eot#iefix') format('embedded-opentype'), url('fonts/KaTeX_Fraktur-Bold.woff2') format('woff2'), url('fonts/KaTeX_Fraktur-Bold.woff') format('woff'), url('fonts/KaTeX_Fraktur-Bold.ttf') format('truetype');
26  font-weight: bold;
27  font-style: normal;
28}
29@font-face {
30  font-family: 'KaTeX_Fraktur';
31  src: url('fonts/KaTeX_Fraktur-Regular.eot');
32  src: url('fonts/KaTeX_Fraktur-Regular.eot#iefix') format('embedded-opentype'), url('fonts/KaTeX_Fraktur-Regular.woff2') format('woff2'), url('fonts/KaTeX_Fraktur-Regular.woff') format('woff'), url('fonts/KaTeX_Fraktur-Regular.ttf') format('truetype');
33  font-weight: normal;
34  font-style: normal;
35}
36@font-face {
37  font-family: 'KaTeX_Main';
38  src: url('fonts/KaTeX_Main-Bold.eot');
39  src: url('fonts/KaTeX_Main-Bold.eot#iefix') format('embedded-opentype'), url('fonts/KaTeX_Main-Bold.woff2') format('woff2'), url('fonts/KaTeX_Main-Bold.woff') format('woff'), url('fonts/KaTeX_Main-Bold.ttf') format('truetype');
40  font-weight: bold;
41  font-style: normal;
42}
43@font-face {
44  font-family: 'KaTeX_Main';
45  src: url('fonts/KaTeX_Main-Italic.eot');
46  src: url('fonts/KaTeX_Main-Italic.eot#iefix') format('embedded-opentype'), url('fonts/KaTeX_Main-Italic.woff2') format('woff2'), url('fonts/KaTeX_Main-Italic.woff') format('woff'), url('fonts/KaTeX_Main-Italic.ttf') format('truetype');
47  font-weight: normal;
48  font-style: italic;
49}
50@font-face {
51  font-family: 'KaTeX_Main';
52  src: url('fonts/KaTeX_Main-Regular.eot');
53  src: url('fonts/KaTeX_Main-Regular.eot#iefix') format('embedded-opentype'), url('fonts/KaTeX_Main-Regular.woff2') format('woff2'), url('fonts/KaTeX_Main-Regular.woff') format('woff'), url('fonts/KaTeX_Main-Regular.ttf') format('truetype');
54  font-weight: normal;
55  font-style: normal;
56}
57@font-face {
58  font-family: 'KaTeX_Math';
59  src: url('fonts/KaTeX_Math-Italic.eot');
60  src: url('fonts/KaTeX_Math-Italic.eot#iefix') format('embedded-opentype'), url('fonts/KaTeX_Math-Italic.woff2') format('woff2'), url('fonts/KaTeX_Math-Italic.woff') format('woff'), url('fonts/KaTeX_Math-Italic.ttf') format('truetype');
61  font-weight: normal;
62  font-style: italic;
63}
64@font-face {
65  font-family: 'KaTeX_SansSerif';
66  src: url('fonts/KaTeX_SansSerif-Regular.eot');
67  src: url('fonts/KaTeX_SansSerif-Regular.eot#iefix') format('embedded-opentype'), url('fonts/KaTeX_SansSerif-Regular.woff2') format('woff2'), url('fonts/KaTeX_SansSerif-Regular.woff') format('woff'), url('fonts/KaTeX_SansSerif-Regular.ttf') format('truetype');
68  font-weight: normal;
69  font-style: normal;
70}
71@font-face {
72  font-family: 'KaTeX_Script';
73  src: url('fonts/KaTeX_Script-Regular.eot');
74  src: url('fonts/KaTeX_Script-Regular.eot#iefix') format('embedded-opentype'), url('fonts/KaTeX_Script-Regular.woff2') format('woff2'), url('fonts/KaTeX_Script-Regular.woff') format('woff'), url('fonts/KaTeX_Script-Regular.ttf') format('truetype');
75  font-weight: normal;
76  font-style: normal;
77}
78@font-face {
79  font-family: 'KaTeX_Size1';
80  src: url('fonts/KaTeX_Size1-Regular.eot');
81  src: url('fonts/KaTeX_Size1-Regular.eot#iefix') format('embedded-opentype'), url('fonts/KaTeX_Size1-Regular.woff2') format('woff2'), url('fonts/KaTeX_Size1-Regular.woff') format('woff'), url('fonts/KaTeX_Size1-Regular.ttf') format('truetype');
82  font-weight: normal;
83  font-style: normal;
84}
85@font-face {
86  font-family: 'KaTeX_Size2';
87  src: url('fonts/KaTeX_Size2-Regular.eot');
88  src: url('fonts/KaTeX_Size2-Regular.eot#iefix') format('embedded-opentype'), url('fonts/KaTeX_Size2-Regular.woff2') format('woff2'), url('fonts/KaTeX_Size2-Regular.woff') format('woff'), url('fonts/KaTeX_Size2-Regular.ttf') format('truetype');
89  font-weight: normal;
90  font-style: normal;
91}
92@font-face {
93  font-family: 'KaTeX_Size3';
94  src: url('fonts/KaTeX_Size3-Regular.eot');
95  src: url('fonts/KaTeX_Size3-Regular.eot#iefix') format('embedded-opentype'), url('fonts/KaTeX_Size3-Regular.woff2') format('woff2'), url('fonts/KaTeX_Size3-Regular.woff') format('woff'), url('fonts/KaTeX_Size3-Regular.ttf') format('truetype');
96  font-weight: normal;
97  font-style: normal;
98}
99@font-face {
100  font-family: 'KaTeX_Size4';
101  src: url('fonts/KaTeX_Size4-Regular.eot');
102  src: url('fonts/KaTeX_Size4-Regular.eot#iefix') format('embedded-opentype'), url('fonts/KaTeX_Size4-Regular.woff2') format('woff2'), url('fonts/KaTeX_Size4-Regular.woff') format('woff'), url('fonts/KaTeX_Size4-Regular.ttf') format('truetype');
103  font-weight: normal;
104  font-style: normal;
105}
106@font-face {
107  font-family: 'KaTeX_Typewriter';
108  src: url('fonts/KaTeX_Typewriter-Regular.eot');
109  src: url('fonts/KaTeX_Typewriter-Regular.eot#iefix') format('embedded-opentype'), url('fonts/KaTeX_Typewriter-Regular.woff2') format('woff2'), url('fonts/KaTeX_Typewriter-Regular.woff') format('woff'), url('fonts/KaTeX_Typewriter-Regular.ttf') format('truetype');
110  font-weight: normal;
111  font-style: normal;
112}
113.katex-display {
114  display: block;
115  margin: 1em 0;
116  text-align: center;
117}
118.katex-display > .katex {
119  display: inline-block;
120  text-align: initial;
121}
122.katex {
123  font: normal 1.21em KaTeX_Main, Times New Roman, serif;
124  line-height: 1.2;
125  white-space: nowrap;
126  text-indent: 0;
127}
128.katex .katex-html {
129  display: inline-block;
130}
131.katex .katex-mathml {
132  position: absolute;
133  clip: rect(1px, 1px, 1px, 1px);
134  padding: 0;
135  border: 0;
136  height: 1px;
137  width: 1px;
138  overflow: hidden;
139}
140.katex .base {
141  display: inline-block;
142}
143.katex .strut {
144  display: inline-block;
145}
146.katex .mathrm {
147  font-style: normal;
148}
149.katex .textit {
150  font-style: italic;
151}
152.katex .mathit {
153  font-family: KaTeX_Math;
154  font-style: italic;
155}
156.katex .mathbf {
157  font-family: KaTeX_Main;
158  font-weight: bold;
159}
160.katex .amsrm {
161  font-family: KaTeX_AMS;
162}
163.katex .mathbb {
164  font-family: KaTeX_AMS;
165}
166.katex .mathcal {
167  font-family: KaTeX_Caligraphic;
168}
169.katex .mathfrak {
170  font-family: KaTeX_Fraktur;
171}
172.katex .mathtt {
173  font-family: KaTeX_Typewriter;
174}
175.katex .mathscr {
176  font-family: KaTeX_Script;
177}
178.katex .mathsf {
179  font-family: KaTeX_SansSerif;
180}
181.katex .mainit {
182  font-family: KaTeX_Main;
183  font-style: italic;
184}
185.katex .mord + .mop {
186  margin-left: 0.16667em;
187}
188.katex .mord + .mbin {
189  margin-left: 0.22222em;
190}
191.katex .mord + .mrel {
192  margin-left: 0.27778em;
193}
194.katex .mord + .minner {
195  margin-left: 0.16667em;
196}
197.katex .mop + .mord {
198  margin-left: 0.16667em;
199}
200.katex .mop + .mop {
201  margin-left: 0.16667em;
202}
203.katex .mop + .mrel {
204  margin-left: 0.27778em;
205}
206.katex .mop + .minner {
207  margin-left: 0.16667em;
208}
209.katex .mbin + .mord {
210  margin-left: 0.22222em;
211}
212.katex .mbin + .mop {
213  margin-left: 0.22222em;
214}
215.katex .mbin + .mopen {
216  margin-left: 0.22222em;
217}
218.katex .mbin + .minner {
219  margin-left: 0.22222em;
220}
221.katex .mrel + .mord {
222  margin-left: 0.27778em;
223}
224.katex .mrel + .mop {
225  margin-left: 0.27778em;
226}
227.katex .mrel + .mopen {
228  margin-left: 0.27778em;
229}
230.katex .mrel + .minner {
231  margin-left: 0.27778em;
232}
233.katex .mclose + .mop {
234  margin-left: 0.16667em;
235}
236.katex .mclose + .mbin {
237  margin-left: 0.22222em;
238}
239.katex .mclose + .mrel {
240  margin-left: 0.27778em;
241}
242.katex .mclose + .minner {
243  margin-left: 0.16667em;
244}
245.katex .mpunct + .mord {
246  margin-left: 0.16667em;
247}
248.katex .mpunct + .mop {
249  margin-left: 0.16667em;
250}
251.katex .mpunct + .mrel {
252  margin-left: 0.16667em;
253}
254.katex .mpunct + .mopen {
255  margin-left: 0.16667em;
256}
257.katex .mpunct + .mclose {
258  margin-left: 0.16667em;
259}
260.katex .mpunct + .mpunct {
261  margin-left: 0.16667em;
262}
263.katex .mpunct + .minner {
264  margin-left: 0.16667em;
265}
266.katex .minner + .mord {
267  margin-left: 0.16667em;
268}
269.katex .minner + .mop {
270  margin-left: 0.16667em;
271}
272.katex .minner + .mbin {
273  margin-left: 0.22222em;
274}
275.katex .minner + .mrel {
276  margin-left: 0.27778em;
277}
278.katex .minner + .mopen {
279  margin-left: 0.16667em;
280}
281.katex .minner + .mpunct {
282  margin-left: 0.16667em;
283}
284.katex .minner + .minner {
285  margin-left: 0.16667em;
286}
287.katex .mord.mtight {
288  margin-left: 0;
289}
290.katex .mop.mtight {
291  margin-left: 0;
292}
293.katex .mbin.mtight {
294  margin-left: 0;
295}
296.katex .mrel.mtight {
297  margin-left: 0;
298}
299.katex .mopen.mtight {
300  margin-left: 0;
301}
302.katex .mclose.mtight {
303  margin-left: 0;
304}
305.katex .mpunct.mtight {
306  margin-left: 0;
307}
308.katex .minner.mtight {
309  margin-left: 0;
310}
311.katex .mord + .mop.mtight {
312  margin-left: 0.16667em;
313}
314.katex .mop + .mord.mtight {
315  margin-left: 0.16667em;
316}
317.katex .mop + .mop.mtight {
318  margin-left: 0.16667em;
319}
320.katex .mclose + .mop.mtight {
321  margin-left: 0.16667em;
322}
323.katex .minner + .mop.mtight {
324  margin-left: 0.16667em;
325}
326.katex .reset-textstyle.textstyle {
327  font-size: 1em;
328}
329.katex .reset-textstyle.scriptstyle {
330  font-size: 0.7em;
331}
332.katex .reset-textstyle.scriptscriptstyle {
333  font-size: 0.5em;
334}
335.katex .reset-scriptstyle.textstyle {
336  font-size: 1.42857em;
337}
338.katex .reset-scriptstyle.scriptstyle {
339  font-size: 1em;
340}
341.katex .reset-scriptstyle.scriptscriptstyle {
342  font-size: 0.71429em;
343}
344.katex .reset-scriptscriptstyle.textstyle {
345  font-size: 2em;
346}
347.katex .reset-scriptscriptstyle.scriptstyle {
348  font-size: 1.4em;
349}
350.katex .reset-scriptscriptstyle.scriptscriptstyle {
351  font-size: 1em;
352}
353.katex .style-wrap {
354  position: relative;
355}
356.katex .vlist {
357  display: inline-block;
358}
359.katex .vlist > span {
360  display: block;
361  height: 0;
362  position: relative;
363}
364.katex .vlist > span > span {
365  display: inline-block;
366}
367.katex .vlist .baseline-fix {
368  display: inline-table;
369  table-layout: fixed;
370}
371.katex .msupsub {
372  text-align: left;
373}
374.katex .mfrac > span > span {
375  text-align: center;
376}
377.katex .mfrac .frac-line {
378  width: 100%;
379}
380.katex .mfrac .frac-line:before {
381  border-bottom-style: solid;
382  border-bottom-width: 1px;
383  content: "";
384  display: block;
385}
386.katex .mfrac .frac-line:after {
387  border-bottom-style: solid;
388  border-bottom-width: 0.04em;
389  content: "";
390  display: block;
391  margin-top: -1px;
392}
393.katex .mspace {
394  display: inline-block;
395}
396.katex .mspace.negativethinspace {
397  margin-left: -0.16667em;
398}
399.katex .mspace.thinspace {
400  width: 0.16667em;
401}
402.katex .mspace.negativemediumspace {
403  margin-left: -0.22222em;
404}
405.katex .mspace.mediumspace {
406  width: 0.22222em;
407}
408.katex .mspace.thickspace {
409  width: 0.27778em;
410}
411.katex .mspace.sixmuspace {
412  width: 0.333333em;
413}
414.katex .mspace.eightmuspace {
415  width: 0.444444em;
416}
417.katex .mspace.enspace {
418  width: 0.5em;
419}
420.katex .mspace.twelvemuspace {
421  width: 0.666667em;
422}
423.katex .mspace.quad {
424  width: 1em;
425}
426.katex .mspace.qquad {
427  width: 2em;
428}
429.katex .llap,
430.katex .rlap {
431  width: 0;
432  position: relative;
433}
434.katex .llap > .inner,
435.katex .rlap > .inner {
436  position: absolute;
437}
438.katex .llap > .fix,
439.katex .rlap > .fix {
440  display: inline-block;
441}
442.katex .llap > .inner {
443  right: 0;
444}
445.katex .rlap > .inner {
446  left: 0;
447}
448.katex .katex-logo .a {
449  font-size: 0.75em;
450  margin-left: -0.32em;
451  position: relative;
452  top: -0.2em;
453}
454.katex .katex-logo .t {
455  margin-left: -0.23em;
456}
457.katex .katex-logo .e {
458  margin-left: -0.1667em;
459  position: relative;
460  top: 0.2155em;
461}
462.katex .katex-logo .x {
463  margin-left: -0.125em;
464}
465.katex .rule {
466  display: inline-block;
467  border: solid 0;
468  position: relative;
469}
470.katex .overline .overline-line,
471.katex .underline .underline-line {
472  width: 100%;
473}
474.katex .overline .overline-line:before,
475.katex .underline .underline-line:before {
476  border-bottom-style: solid;
477  border-bottom-width: 1px;
478  content: "";
479  display: block;
480}
481.katex .overline .overline-line:after,
482.katex .underline .underline-line:after {
483  border-bottom-style: solid;
484  border-bottom-width: 0.04em;
485  content: "";
486  display: block;
487  margin-top: -1px;
488}
489.katex .sqrt > .sqrt-sign {
490  position: relative;
491}
492.katex .sqrt .sqrt-line {
493  width: 100%;
494}
495.katex .sqrt .sqrt-line:before {
496  border-bottom-style: solid;
497  border-bottom-width: 1px;
498  content: "";
499  display: block;
500}
501.katex .sqrt .sqrt-line:after {
502  border-bottom-style: solid;
503  border-bottom-width: 0.04em;
504  content: "";
505  display: block;
506  margin-top: -1px;
507}
508.katex .sqrt > .root {
509  margin-left: 0.27777778em;
510  margin-right: -0.55555556em;
511}
512.katex .sizing,
513.katex .fontsize-ensurer {
514  display: inline-block;
515}
516.katex .sizing.reset-size1.size1,
517.katex .fontsize-ensurer.reset-size1.size1 {
518  font-size: 1em;
519}
520.katex .sizing.reset-size1.size2,
521.katex .fontsize-ensurer.reset-size1.size2 {
522  font-size: 1.4em;
523}
524.katex .sizing.reset-size1.size3,
525.katex .fontsize-ensurer.reset-size1.size3 {
526  font-size: 1.6em;
527}
528.katex .sizing.reset-size1.size4,
529.katex .fontsize-ensurer.reset-size1.size4 {
530  font-size: 1.8em;
531}
532.katex .sizing.reset-size1.size5,
533.katex .fontsize-ensurer.reset-size1.size5 {
534  font-size: 2em;
535}
536.katex .sizing.reset-size1.size6,
537.katex .fontsize-ensurer.reset-size1.size6 {
538  font-size: 2.4em;
539}
540.katex .sizing.reset-size1.size7,
541.katex .fontsize-ensurer.reset-size1.size7 {
542  font-size: 2.88em;
543}
544.katex .sizing.reset-size1.size8,
545.katex .fontsize-ensurer.reset-size1.size8 {
546  font-size: 3.46em;
547}
548.katex .sizing.reset-size1.size9,
549.katex .fontsize-ensurer.reset-size1.size9 {
550  font-size: 4.14em;
551}
552.katex .sizing.reset-size1.size10,
553.katex .fontsize-ensurer.reset-size1.size10 {
554  font-size: 4.98em;
555}
556.katex .sizing.reset-size2.size1,
557.katex .fontsize-ensurer.reset-size2.size1 {
558  font-size: 0.71428571em;
559}
560.katex .sizing.reset-size2.size2,
561.katex .fontsize-ensurer.reset-size2.size2 {
562  font-size: 1em;
563}
564.katex .sizing.reset-size2.size3,
565.katex .fontsize-ensurer.reset-size2.size3 {
566  font-size: 1.14285714em;
567}
568.katex .sizing.reset-size2.size4,
569.katex .fontsize-ensurer.reset-size2.size4 {
570  font-size: 1.28571429em;
571}
572.katex .sizing.reset-size2.size5,
573.katex .fontsize-ensurer.reset-size2.size5 {
574  font-size: 1.42857143em;
575}
576.katex .sizing.reset-size2.size6,
577.katex .fontsize-ensurer.reset-size2.size6 {
578  font-size: 1.71428571em;
579}
580.katex .sizing.reset-size2.size7,
581.katex .fontsize-ensurer.reset-size2.size7 {
582  font-size: 2.05714286em;
583}
584.katex .sizing.reset-size2.size8,
585.katex .fontsize-ensurer.reset-size2.size8 {
586  font-size: 2.47142857em;
587}
588.katex .sizing.reset-size2.size9,
589.katex .fontsize-ensurer.reset-size2.size9 {
590  font-size: 2.95714286em;
591}
592.katex .sizing.reset-size2.size10,
593.katex .fontsize-ensurer.reset-size2.size10 {
594  font-size: 3.55714286em;
595}
596.katex .sizing.reset-size3.size1,
597.katex .fontsize-ensurer.reset-size3.size1 {
598  font-size: 0.625em;
599}
600.katex .sizing.reset-size3.size2,
601.katex .fontsize-ensurer.reset-size3.size2 {
602  font-size: 0.875em;
603}
604.katex .sizing.reset-size3.size3,
605.katex .fontsize-ensurer.reset-size3.size3 {
606  font-size: 1em;
607}
608.katex .sizing.reset-size3.size4,
609.katex .fontsize-ensurer.reset-size3.size4 {
610  font-size: 1.125em;
611}
612.katex .sizing.reset-size3.size5,
613.katex .fontsize-ensurer.reset-size3.size5 {
614  font-size: 1.25em;
615}
616.katex .sizing.reset-size3.size6,
617.katex .fontsize-ensurer.reset-size3.size6 {
618  font-size: 1.5em;
619}
620.katex .sizing.reset-size3.size7,
621.katex .fontsize-ensurer.reset-size3.size7 {
622  font-size: 1.8em;
623}
624.katex .sizing.reset-size3.size8,
625.katex .fontsize-ensurer.reset-size3.size8 {
626  font-size: 2.1625em;
627}
628.katex .sizing.reset-size3.size9,
629.katex .fontsize-ensurer.reset-size3.size9 {
630  font-size: 2.5875em;
631}
632.katex .sizing.reset-size3.size10,
633.katex .fontsize-ensurer.reset-size3.size10 {
634  font-size: 3.1125em;
635}
636.katex .sizing.reset-size4.size1,
637.katex .fontsize-ensurer.reset-size4.size1 {
638  font-size: 0.55555556em;
639}
640.katex .sizing.reset-size4.size2,
641.katex .fontsize-ensurer.reset-size4.size2 {
642  font-size: 0.77777778em;
643}
644.katex .sizing.reset-size4.size3,
645.katex .fontsize-ensurer.reset-size4.size3 {
646  font-size: 0.88888889em;
647}
648.katex .sizing.reset-size4.size4,
649.katex .fontsize-ensurer.reset-size4.size4 {
650  font-size: 1em;
651}
652.katex .sizing.reset-size4.size5,
653.katex .fontsize-ensurer.reset-size4.size5 {
654  font-size: 1.11111111em;
655}
656.katex .sizing.reset-size4.size6,
657.katex .fontsize-ensurer.reset-size4.size6 {
658  font-size: 1.33333333em;
659}
660.katex .sizing.reset-size4.size7,
661.katex .fontsize-ensurer.reset-size4.size7 {
662  font-size: 1.6em;
663}
664.katex .sizing.reset-size4.size8,
665.katex .fontsize-ensurer.reset-size4.size8 {
666  font-size: 1.92222222em;
667}
668.katex .sizing.reset-size4.size9,
669.katex .fontsize-ensurer.reset-size4.size9 {
670  font-size: 2.3em;
671}
672.katex .sizing.reset-size4.size10,
673.katex .fontsize-ensurer.reset-size4.size10 {
674  font-size: 2.76666667em;
675}
676.katex .sizing.reset-size5.size1,
677.katex .fontsize-ensurer.reset-size5.size1 {
678  font-size: 0.5em;
679}
680.katex .sizing.reset-size5.size2,
681.katex .fontsize-ensurer.reset-size5.size2 {
682  font-size: 0.7em;
683}
684.katex .sizing.reset-size5.size3,
685.katex .fontsize-ensurer.reset-size5.size3 {
686  font-size: 0.8em;
687}
688.katex .sizing.reset-size5.size4,
689.katex .fontsize-ensurer.reset-size5.size4 {
690  font-size: 0.9em;
691}
692.katex .sizing.reset-size5.size5,
693.katex .fontsize-ensurer.reset-size5.size5 {
694  font-size: 1em;
695}
696.katex .sizing.reset-size5.size6,
697.katex .fontsize-ensurer.reset-size5.size6 {
698  font-size: 1.2em;
699}
700.katex .sizing.reset-size5.size7,
701.katex .fontsize-ensurer.reset-size5.size7 {
702  font-size: 1.44em;
703}
704.katex .sizing.reset-size5.size8,
705.katex .fontsize-ensurer.reset-size5.size8 {
706  font-size: 1.73em;
707}
708.katex .sizing.reset-size5.size9,
709.katex .fontsize-ensurer.reset-size5.size9 {
710  font-size: 2.07em;
711}
712.katex .sizing.reset-size5.size10,
713.katex .fontsize-ensurer.reset-size5.size10 {
714  font-size: 2.49em;
715}
716.katex .sizing.reset-size6.size1,
717.katex .fontsize-ensurer.reset-size6.size1 {
718  font-size: 0.41666667em;
719}
720.katex .sizing.reset-size6.size2,
721.katex .fontsize-ensurer.reset-size6.size2 {
722  font-size: 0.58333333em;
723}
724.katex .sizing.reset-size6.size3,
725.katex .fontsize-ensurer.reset-size6.size3 {
726  font-size: 0.66666667em;
727}
728.katex .sizing.reset-size6.size4,
729.katex .fontsize-ensurer.reset-size6.size4 {
730  font-size: 0.75em;
731}
732.katex .sizing.reset-size6.size5,
733.katex .fontsize-ensurer.reset-size6.size5 {
734  font-size: 0.83333333em;
735}
736.katex .sizing.reset-size6.size6,
737.katex .fontsize-ensurer.reset-size6.size6 {
738  font-size: 1em;
739}
740.katex .sizing.reset-size6.size7,
741.katex .fontsize-ensurer.reset-size6.size7 {
742  font-size: 1.2em;
743}
744.katex .sizing.reset-size6.size8,
745.katex .fontsize-ensurer.reset-size6.size8 {
746  font-size: 1.44166667em;
747}
748.katex .sizing.reset-size6.size9,
749.katex .fontsize-ensurer.reset-size6.size9 {
750  font-size: 1.725em;
751}
752.katex .sizing.reset-size6.size10,
753.katex .fontsize-ensurer.reset-size6.size10 {
754  font-size: 2.075em;
755}
756.katex .sizing.reset-size7.size1,
757.katex .fontsize-ensurer.reset-size7.size1 {
758  font-size: 0.34722222em;
759}
760.katex .sizing.reset-size7.size2,
761.katex .fontsize-ensurer.reset-size7.size2 {
762  font-size: 0.48611111em;
763}
764.katex .sizing.reset-size7.size3,
765.katex .fontsize-ensurer.reset-size7.size3 {
766  font-size: 0.55555556em;
767}
768.katex .sizing.reset-size7.size4,
769.katex .fontsize-ensurer.reset-size7.size4 {
770  font-size: 0.625em;
771}
772.katex .sizing.reset-size7.size5,
773.katex .fontsize-ensurer.reset-size7.size5 {
774  font-size: 0.69444444em;
775}
776.katex .sizing.reset-size7.size6,
777.katex .fontsize-ensurer.reset-size7.size6 {
778  font-size: 0.83333333em;
779}
780.katex .sizing.reset-size7.size7,
781.katex .fontsize-ensurer.reset-size7.size7 {
782  font-size: 1em;
783}
784.katex .sizing.reset-size7.size8,
785.katex .fontsize-ensurer.reset-size7.size8 {
786  font-size: 1.20138889em;
787}
788.katex .sizing.reset-size7.size9,
789.katex .fontsize-ensurer.reset-size7.size9 {
790  font-size: 1.4375em;
791}
792.katex .sizing.reset-size7.size10,
793.katex .fontsize-ensurer.reset-size7.size10 {
794  font-size: 1.72916667em;
795}
796.katex .sizing.reset-size8.size1,
797.katex .fontsize-ensurer.reset-size8.size1 {
798  font-size: 0.28901734em;
799}
800.katex .sizing.reset-size8.size2,
801.katex .fontsize-ensurer.reset-size8.size2 {
802  font-size: 0.40462428em;
803}
804.katex .sizing.reset-size8.size3,
805.katex .fontsize-ensurer.reset-size8.size3 {
806  font-size: 0.46242775em;
807}
808.katex .sizing.reset-size8.size4,
809.katex .fontsize-ensurer.reset-size8.size4 {
810  font-size: 0.52023121em;
811}
812.katex .sizing.reset-size8.size5,
813.katex .fontsize-ensurer.reset-size8.size5 {
814  font-size: 0.57803468em;
815}
816.katex .sizing.reset-size8.size6,
817.katex .fontsize-ensurer.reset-size8.size6 {
818  font-size: 0.69364162em;
819}
820.katex .sizing.reset-size8.size7,
821.katex .fontsize-ensurer.reset-size8.size7 {
822  font-size: 0.83236994em;
823}
824.katex .sizing.reset-size8.size8,
825.katex .fontsize-ensurer.reset-size8.size8 {
826  font-size: 1em;
827}
828.katex .sizing.reset-size8.size9,
829.katex .fontsize-ensurer.reset-size8.size9 {
830  font-size: 1.19653179em;
831}
832.katex .sizing.reset-size8.size10,
833.katex .fontsize-ensurer.reset-size8.size10 {
834  font-size: 1.43930636em;
835}
836.katex .sizing.reset-size9.size1,
837.katex .fontsize-ensurer.reset-size9.size1 {
838  font-size: 0.24154589em;
839}
840.katex .sizing.reset-size9.size2,
841.katex .fontsize-ensurer.reset-size9.size2 {
842  font-size: 0.33816425em;
843}
844.katex .sizing.reset-size9.size3,
845.katex .fontsize-ensurer.reset-size9.size3 {
846  font-size: 0.38647343em;
847}
848.katex .sizing.reset-size9.size4,
849.katex .fontsize-ensurer.reset-size9.size4 {
850  font-size: 0.43478261em;
851}
852.katex .sizing.reset-size9.size5,
853.katex .fontsize-ensurer.reset-size9.size5 {
854  font-size: 0.48309179em;
855}
856.katex .sizing.reset-size9.size6,
857.katex .fontsize-ensurer.reset-size9.size6 {
858  font-size: 0.57971014em;
859}
860.katex .sizing.reset-size9.size7,
861.katex .fontsize-ensurer.reset-size9.size7 {
862  font-size: 0.69565217em;
863}
864.katex .sizing.reset-size9.size8,
865.katex .fontsize-ensurer.reset-size9.size8 {
866  font-size: 0.83574879em;
867}
868.katex .sizing.reset-size9.size9,
869.katex .fontsize-ensurer.reset-size9.size9 {
870  font-size: 1em;
871}
872.katex .sizing.reset-size9.size10,
873.katex .fontsize-ensurer.reset-size9.size10 {
874  font-size: 1.20289855em;
875}
876.katex .sizing.reset-size10.size1,
877.katex .fontsize-ensurer.reset-size10.size1 {
878  font-size: 0.20080321em;
879}
880.katex .sizing.reset-size10.size2,
881.katex .fontsize-ensurer.reset-size10.size2 {
882  font-size: 0.2811245em;
883}
884.katex .sizing.reset-size10.size3,
885.katex .fontsize-ensurer.reset-size10.size3 {
886  font-size: 0.32128514em;
887}
888.katex .sizing.reset-size10.size4,
889.katex .fontsize-ensurer.reset-size10.size4 {
890  font-size: 0.36144578em;
891}
892.katex .sizing.reset-size10.size5,
893.katex .fontsize-ensurer.reset-size10.size5 {
894  font-size: 0.40160643em;
895}
896.katex .sizing.reset-size10.size6,
897.katex .fontsize-ensurer.reset-size10.size6 {
898  font-size: 0.48192771em;
899}
900.katex .sizing.reset-size10.size7,
901.katex .fontsize-ensurer.reset-size10.size7 {
902  font-size: 0.57831325em;
903}
904.katex .sizing.reset-size10.size8,
905.katex .fontsize-ensurer.reset-size10.size8 {
906  font-size: 0.69477912em;
907}
908.katex .sizing.reset-size10.size9,
909.katex .fontsize-ensurer.reset-size10.size9 {
910  font-size: 0.8313253em;
911}
912.katex .sizing.reset-size10.size10,
913.katex .fontsize-ensurer.reset-size10.size10 {
914  font-size: 1em;
915}
916.katex .delimsizing.size1 {
917  font-family: KaTeX_Size1;
918}
919.katex .delimsizing.size2 {
920  font-family: KaTeX_Size2;
921}
922.katex .delimsizing.size3 {
923  font-family: KaTeX_Size3;
924}
925.katex .delimsizing.size4 {
926  font-family: KaTeX_Size4;
927}
928.katex .delimsizing.mult .delim-size1 > span {
929  font-family: KaTeX_Size1;
930}
931.katex .delimsizing.mult .delim-size4 > span {
932  font-family: KaTeX_Size4;
933}
934.katex .nulldelimiter {
935  display: inline-block;
936  width: 0.12em;
937}
938.katex .op-symbol {
939  position: relative;
940}
941.katex .op-symbol.small-op {
942  font-family: KaTeX_Size1;
943}
944.katex .op-symbol.large-op {
945  font-family: KaTeX_Size2;
946}
947.katex .op-limits > .vlist > span {
948  text-align: center;
949}
950.katex .accent > .vlist > span {
951  text-align: center;
952}
953.katex .accent .accent-body > span {
954  width: 0;
955}
956.katex .accent .accent-body.accent-vec > span {
957  position: relative;
958  left: 0.326em;
959}
960.katex .mtable .vertical-separator {
961  display: inline-block;
962  margin: 0 -0.025em;
963  border-right: 0.05em solid black;
964}
965.katex .mtable .arraycolsep {
966  display: inline-block;
967}
968.katex .mtable .col-align-c > .vlist {
969  text-align: center;
970}
971.katex .mtable .col-align-l > .vlist {
972  text-align: left;
973}
974.katex .mtable .col-align-r > .vlist {
975  text-align: right;
976}
977