type-on-strap 2.4.7 → 2.4.8

Sign up to get free protection for your applications and to get access to all the features.
Files changed (66) hide show
  1. checksums.yaml +4 -4
  2. data/README.md +32 -23
  3. data/_data/language.yml +3 -1
  4. data/_includes/blog/post_footer.liquid +57 -0
  5. data/_includes/default/head.liquid +12 -12
  6. data/_includes/default/navbar.liquid +9 -7
  7. data/_includes/default/search_input.liquid +50 -0
  8. data/_layouts/default.html +7 -4
  9. data/_layouts/home.liquid +2 -4
  10. data/_layouts/page.liquid +24 -29
  11. data/_layouts/post.liquid +24 -74
  12. data/_sass/external/_font-awesome.scss +8 -16
  13. data/_sass/external/_katex.scss +5 -1146
  14. data/_sass/external/font-awesome/_animated.scss +142 -9
  15. data/_sass/external/font-awesome/_bordered-pulled.scss +13 -13
  16. data/_sass/external/font-awesome/_core.scss +28 -6
  17. data/_sass/external/font-awesome/_fixed-width.scss +2 -1
  18. data/_sass/external/font-awesome/_functions.scss +57 -0
  19. data/_sass/external/font-awesome/_icons.scss +7 -1459
  20. data/_sass/external/font-awesome/_list.scss +4 -4
  21. data/_sass/external/font-awesome/_mixins.scss +53 -34
  22. data/_sass/external/font-awesome/_rotated-flipped.scss +25 -18
  23. data/_sass/external/font-awesome/_screen-reader.scss +12 -3
  24. data/_sass/external/font-awesome/_shims.scss +640 -664
  25. data/_sass/external/font-awesome/_sizing.scss +16 -0
  26. data/_sass/external/font-awesome/_stacked.scss +5 -4
  27. data/_sass/external/font-awesome/_variables.scss +4923 -1409
  28. data/_sass/external/font-awesome/brands.scss +30 -0
  29. data/_sass/external/font-awesome/fontawesome.scss +21 -0
  30. data/_sass/external/font-awesome/regular.scss +26 -0
  31. data/_sass/external/font-awesome/solid.scss +26 -0
  32. data/_sass/external/font-awesome/v4-shims.scss +6 -1
  33. data/_sass/external/katex/katex.scss +1414 -0
  34. data/_sass/includes/_navbar.scss +6 -4
  35. data/_sass/includes/_share_buttons.scss +1 -1
  36. data/_sass/layouts/_posts.scss +1 -1
  37. data/assets/data/search.liquid +6 -27
  38. data/assets/fonts/font-awesome/fa-brands-400.ttf +0 -0
  39. data/assets/fonts/font-awesome/fa-brands-400.woff2 +0 -0
  40. data/assets/fonts/font-awesome/fa-regular-400.ttf +0 -0
  41. data/assets/fonts/font-awesome/fa-regular-400.woff2 +0 -0
  42. data/assets/fonts/font-awesome/fa-solid-900.ttf +0 -0
  43. data/assets/fonts/font-awesome/fa-solid-900.woff2 +0 -0
  44. data/assets/fonts/font-awesome/fa-v4compatibility.ttf +0 -0
  45. data/assets/fonts/font-awesome/fa-v4compatibility.woff2 +0 -0
  46. data/assets/js/main.min.js +3 -3
  47. data/assets/js/partials/cookie_consent_init.js +5 -0
  48. data/assets/js/partials/dark-mode.js +22 -18
  49. data/assets/js/vendor/katex.auto-render.min.js +1 -0
  50. data/assets/js/vendor/katex.min.js +1 -1
  51. data/assets/js/vendor/mermaid.min.js +830 -772
  52. metadata +14 -16
  53. data/_sass/external/font-awesome/_brands.scss +0 -23
  54. data/_sass/external/font-awesome/_larger.scss +0 -23
  55. data/_sass/external/font-awesome/_regular.scss +0 -23
  56. data/_sass/external/font-awesome/_solid.scss +0 -24
  57. data/assets/fonts/font-awesome/fa-brands-400.eot +0 -0
  58. data/assets/fonts/font-awesome/fa-brands-400.svg +0 -3717
  59. data/assets/fonts/font-awesome/fa-brands-400.woff +0 -0
  60. data/assets/fonts/font-awesome/fa-regular-400.eot +0 -0
  61. data/assets/fonts/font-awesome/fa-regular-400.svg +0 -801
  62. data/assets/fonts/font-awesome/fa-regular-400.woff +0 -0
  63. data/assets/fonts/font-awesome/fa-solid-900.eot +0 -0
  64. data/assets/fonts/font-awesome/fa-solid-900.svg +0 -5028
  65. data/assets/fonts/font-awesome/fa-solid-900.woff +0 -0
  66. data/assets/js/vendor/auto-render.min.js +0 -1
@@ -0,0 +1,1414 @@
1
+ $font-family_1: KaTeX_Main;
2
+ $font-family_2: KaTeX_SansSerif;
3
+ $font-family_3: KaTeX_Typewriter;
4
+ $font-family_4: KaTeX_Math;
5
+ $font-family_5: KaTeX_AMS;
6
+ $font-family_6: KaTeX_Caligraphic;
7
+ $font-family_7: KaTeX_Fraktur;
8
+ $font-family_8: KaTeX_Script;
9
+ $font-family_9: KaTeX_Size1;
10
+ $font-family_10: KaTeX_Size2;
11
+ $font-family_11: KaTeX_Size3;
12
+ $font-family_12: KaTeX_Size4;
13
+ $border-color_1: currentColor;
14
+
15
+ @font-face {
16
+ font-family: KaTeX_AMS;
17
+ font-style: normal;
18
+ font-weight: 400;
19
+ src: url("#{$katex-font-path}/KaTeX_AMS-Regular.woff2") format("woff2"),url("#{$katex-font-path}/KaTeX_AMS-Regular.woff") format("woff"),url("#{$katex-font-path}/KaTeX_AMS-Regular.ttf") format("truetype");
20
+ }
21
+ @font-face {
22
+ font-family: KaTeX_Caligraphic;
23
+ font-style: normal;
24
+ font-weight: 700;
25
+ src: url("#{$katex-font-path}/KaTeX_Caligraphic-Bold.woff2") format("woff2"),url("#{$katex-font-path}/KaTeX_Caligraphic-Bold.woff") format("woff"),url("#{$katex-font-path}/KaTeX_Caligraphic-Bold.ttf") format("truetype");
26
+ }
27
+ @font-face {
28
+ font-family: KaTeX_Caligraphic;
29
+ font-style: normal;
30
+ font-weight: 400;
31
+ src: url("#{$katex-font-path}/KaTeX_Caligraphic-Regular.woff2") format("woff2"),url("#{$katex-font-path}/KaTeX_Caligraphic-Regular.woff") format("woff"),url("#{$katex-font-path}/KaTeX_Caligraphic-Regular.ttf") format("truetype");
32
+ }
33
+ @font-face {
34
+ font-family: KaTeX_Fraktur;
35
+ font-style: normal;
36
+ font-weight: 700;
37
+ src: url("#{$katex-font-path}/KaTeX_Fraktur-Bold.woff2") format("woff2"),url("#{$katex-font-path}/KaTeX_Fraktur-Bold.woff") format("woff"),url("#{$katex-font-path}/KaTeX_Fraktur-Bold.ttf") format("truetype");
38
+ }
39
+ @font-face {
40
+ font-family: KaTeX_Fraktur;
41
+ font-style: normal;
42
+ font-weight: 400;
43
+ src: url("#{$katex-font-path}/KaTeX_Fraktur-Regular.woff2") format("woff2"),url("#{$katex-font-path}/KaTeX_Fraktur-Regular.woff") format("woff"),url("#{$katex-font-path}/KaTeX_Fraktur-Regular.ttf") format("truetype");
44
+ }
45
+ @font-face {
46
+ font-family: KaTeX_Main;
47
+ font-style: normal;
48
+ font-weight: 700;
49
+ src: url("#{$katex-font-path}/KaTeX_Main-Bold.woff2") format("woff2"),url("#{$katex-font-path}/KaTeX_Main-Bold.woff") format("woff"),url("#{$katex-font-path}/KaTeX_Main-Bold.ttf") format("truetype");
50
+ }
51
+ @font-face {
52
+ font-family: KaTeX_Main;
53
+ font-style: italic;
54
+ font-weight: 700;
55
+ src: url("#{$katex-font-path}/KaTeX_Main-BoldItalic.woff2") format("woff2"),url("#{$katex-font-path}/KaTeX_Main-BoldItalic.woff") format("woff"),url("#{$katex-font-path}/KaTeX_Main-BoldItalic.ttf") format("truetype");
56
+ }
57
+ @font-face {
58
+ font-family: KaTeX_Main;
59
+ font-style: italic;
60
+ font-weight: 400;
61
+ src: url("#{$katex-font-path}/KaTeX_Main-Italic.woff2") format("woff2"),url("#{$katex-font-path}/KaTeX_Main-Italic.woff") format("woff"),url("#{$katex-font-path}/KaTeX_Main-Italic.ttf") format("truetype");
62
+ }
63
+ @font-face {
64
+ font-family: KaTeX_Main;
65
+ font-style: normal;
66
+ font-weight: 400;
67
+ src: url("#{$katex-font-path}/KaTeX_Main-Regular.woff2") format("woff2"),url("#{$katex-font-path}/KaTeX_Main-Regular.woff") format("woff"),url("#{$katex-font-path}/KaTeX_Main-Regular.ttf") format("truetype");
68
+ }
69
+ @font-face {
70
+ font-family: KaTeX_Math;
71
+ font-style: italic;
72
+ font-weight: 700;
73
+ src: url("#{$katex-font-path}/KaTeX_Math-BoldItalic.woff2") format("woff2"),url("#{$katex-font-path}/KaTeX_Math-BoldItalic.woff") format("woff"),url("#{$katex-font-path}/KaTeX_Math-BoldItalic.ttf") format("truetype");
74
+ }
75
+ @font-face {
76
+ font-family: KaTeX_Math;
77
+ font-style: italic;
78
+ font-weight: 400;
79
+ src: url("#{$katex-font-path}/KaTeX_Math-Italic.woff2") format("woff2"),url("#{$katex-font-path}/KaTeX_Math-Italic.woff") format("woff"),url("#{$katex-font-path}/KaTeX_Math-Italic.ttf") format("truetype");
80
+ }
81
+ @font-face {
82
+ font-family: "KaTeX_SansSerif";
83
+ font-style: normal;
84
+ font-weight: 700;
85
+ src: url("#{$katex-font-path}/KaTeX_SansSerif-Bold.woff2") format("woff2"),url("#{$katex-font-path}/KaTeX_SansSerif-Bold.woff") format("woff"),url("#{$katex-font-path}/KaTeX_SansSerif-Bold.ttf") format("truetype");
86
+ }
87
+ @font-face {
88
+ font-family: "KaTeX_SansSerif";
89
+ font-style: italic;
90
+ font-weight: 400;
91
+ src: url("#{$katex-font-path}/KaTeX_SansSerif-Italic.woff2") format("woff2"),url("#{$katex-font-path}/KaTeX_SansSerif-Italic.woff") format("woff"),url("#{$katex-font-path}/KaTeX_SansSerif-Italic.ttf") format("truetype");
92
+ }
93
+ @font-face {
94
+ font-family: "KaTeX_SansSerif";
95
+ font-style: normal;
96
+ font-weight: 400;
97
+ src: url("#{$katex-font-path}/KaTeX_SansSerif-Regular.woff2") format("woff2"),url("#{$katex-font-path}/KaTeX_SansSerif-Regular.woff") format("woff"),url("#{$katex-font-path}/KaTeX_SansSerif-Regular.ttf") format("truetype");
98
+ }
99
+ @font-face {
100
+ font-family: KaTeX_Script;
101
+ font-style: normal;
102
+ font-weight: 400;
103
+ src: url("#{$katex-font-path}/KaTeX_Script-Regular.woff2") format("woff2"),url("#{$katex-font-path}/KaTeX_Script-Regular.woff") format("woff"),url("#{$katex-font-path}/KaTeX_Script-Regular.ttf") format("truetype");
104
+ }
105
+ @font-face {
106
+ font-family: KaTeX_Size1;
107
+ font-style: normal;
108
+ font-weight: 400;
109
+ src: url("#{$katex-font-path}/KaTeX_Size1-Regular.woff2") format("woff2"),url("#{$katex-font-path}/KaTeX_Size1-Regular.woff") format("woff"),url("#{$katex-font-path}/KaTeX_Size1-Regular.ttf") format("truetype");
110
+ }
111
+ @font-face {
112
+ font-family: KaTeX_Size2;
113
+ font-style: normal;
114
+ font-weight: 400;
115
+ src: url("#{$katex-font-path}/KaTeX_Size2-Regular.woff2") format("woff2"),url("#{$katex-font-path}/KaTeX_Size2-Regular.woff") format("woff"),url("#{$katex-font-path}/KaTeX_Size2-Regular.ttf") format("truetype");
116
+ }
117
+ @font-face {
118
+ font-family: KaTeX_Size3;
119
+ font-style: normal;
120
+ font-weight: 400;
121
+ src: url("#{$katex-font-path}/KaTeX_Size3-Regular.woff2") format("woff2"),url("#{$katex-font-path}/KaTeX_Size3-Regular.woff") format("woff"),url("#{$katex-font-path}/KaTeX_Size3-Regular.ttf") format("truetype");
122
+ }
123
+ @font-face {
124
+ font-family: KaTeX_Size4;
125
+ font-style: normal;
126
+ font-weight: 400;
127
+ src: url("#{$katex-font-path}/KaTeX_Size4-Regular.woff2") format("woff2"),url("#{$katex-font-path}/KaTeX_Size4-Regular.woff") format("woff"),url("#{$katex-font-path}/KaTeX_Size4-Regular.ttf") format("truetype");
128
+ }
129
+ @font-face {
130
+ font-family: KaTeX_Typewriter;
131
+ font-style: normal;
132
+ font-weight: 400;
133
+ src: url("#{$katex-font-path}/KaTeX_Typewriter-Regular.woff2") format("woff2"),url("#{$katex-font-path}/KaTeX_Typewriter-Regular.woff") format("woff"),url("#{$katex-font-path}/KaTeX_Typewriter-Regular.ttf") format("truetype");
134
+ }
135
+ .katex {
136
+ text-rendering: auto;
137
+ font: normal 1.21em KaTeX_Main,Times New Roman,serif;
138
+ line-height: 1.2;
139
+ text-indent: 0;
140
+ * {
141
+ -ms-high-contrast-adjust: none !important;
142
+ border-color: $border-color_1;
143
+ }
144
+ .katex-version {
145
+ &:after {
146
+ content: "0.16.9";
147
+ }
148
+ }
149
+ .katex-mathml {
150
+ clip: rect(1px,1px,1px,1px);
151
+ border: 0;
152
+ height: 1px;
153
+ overflow: hidden;
154
+ padding: 0;
155
+ position: absolute;
156
+ width: 1px;
157
+ }
158
+ .katex-html {
159
+ >.newline {
160
+ display: block;
161
+ }
162
+ }
163
+ .base {
164
+ position: relative;
165
+ white-space: nowrap;
166
+ width: -webkit-min-content;
167
+ width: -moz-min-content;
168
+ width: min-content;
169
+ display: inline-block;
170
+ }
171
+ .strut {
172
+ display: inline-block;
173
+ }
174
+ .textbf {
175
+ font-weight: 700;
176
+ }
177
+ .textit {
178
+ font-style: italic;
179
+ }
180
+ .textrm {
181
+ font-family: $font-family_1;
182
+ }
183
+ .textsf {
184
+ font-family: $font-family_2;
185
+ }
186
+ .texttt {
187
+ font-family: $font-family_3;
188
+ }
189
+ .mathnormal {
190
+ font-family: $font-family_4;
191
+ font-style: italic;
192
+ }
193
+ .mathit {
194
+ font-family: $font-family_1;
195
+ font-style: italic;
196
+ }
197
+ .mathrm {
198
+ font-style: normal;
199
+ }
200
+ .mathbf {
201
+ font-family: $font-family_1;
202
+ font-weight: 700;
203
+ }
204
+ .boldsymbol {
205
+ font-family: $font-family_4;
206
+ font-style: italic;
207
+ font-weight: 700;
208
+ }
209
+ .amsrm {
210
+ font-family: $font-family_5;
211
+ }
212
+ .mathbb {
213
+ font-family: $font-family_5;
214
+ }
215
+ .textbb {
216
+ font-family: $font-family_5;
217
+ }
218
+ .mathcal {
219
+ font-family: $font-family_6;
220
+ }
221
+ .mathfrak {
222
+ font-family: $font-family_7;
223
+ }
224
+ .textfrak {
225
+ font-family: $font-family_7;
226
+ }
227
+ .mathboldfrak {
228
+ font-family: $font-family_7;
229
+ font-weight: 700;
230
+ }
231
+ .textboldfrak {
232
+ font-family: $font-family_7;
233
+ font-weight: 700;
234
+ }
235
+ .mathtt {
236
+ font-family: $font-family_3;
237
+ }
238
+ .mathscr {
239
+ font-family: $font-family_8;
240
+ }
241
+ .textscr {
242
+ font-family: $font-family_8;
243
+ }
244
+ .mathsf {
245
+ font-family: $font-family_2;
246
+ }
247
+ .mathboldsf {
248
+ font-family: $font-family_2;
249
+ font-weight: 700;
250
+ }
251
+ .textboldsf {
252
+ font-family: $font-family_2;
253
+ font-weight: 700;
254
+ }
255
+ .mathitsf {
256
+ font-family: $font-family_2;
257
+ font-style: italic;
258
+ }
259
+ .textitsf {
260
+ font-family: $font-family_2;
261
+ font-style: italic;
262
+ }
263
+ .mainrm {
264
+ font-family: $font-family_1;
265
+ font-style: normal;
266
+ }
267
+ .vlist-t {
268
+ border-collapse: collapse;
269
+ display: inline-table;
270
+ table-layout: fixed;
271
+ }
272
+ .vlist-r {
273
+ display: table-row;
274
+ }
275
+ .vlist {
276
+ display: table-cell;
277
+ position: relative;
278
+ vertical-align: bottom;
279
+ >span {
280
+ display: block;
281
+ height: 0;
282
+ position: relative;
283
+ >span {
284
+ display: inline-block;
285
+ }
286
+ >.pstrut {
287
+ overflow: hidden;
288
+ width: 0;
289
+ }
290
+ }
291
+ }
292
+ .vlist-t2 {
293
+ margin-right: -2px;
294
+ }
295
+ .vlist-s {
296
+ display: table-cell;
297
+ font-size: 1px;
298
+ min-width: 2px;
299
+ vertical-align: bottom;
300
+ width: 2px;
301
+ }
302
+ .vbox {
303
+ align-items: baseline;
304
+ display: inline-flex;
305
+ flex-direction: column;
306
+ }
307
+ .hbox {
308
+ width: 100%;
309
+ display: inline-flex;
310
+ flex-direction: row;
311
+ }
312
+ .thinbox {
313
+ display: inline-flex;
314
+ flex-direction: row;
315
+ max-width: 0;
316
+ width: 0;
317
+ }
318
+ .msupsub {
319
+ text-align: left;
320
+ }
321
+ .mfrac {
322
+ >span {
323
+ >span {
324
+ text-align: center;
325
+ }
326
+ }
327
+ .frac-line {
328
+ border-bottom-style: solid;
329
+ display: inline-block;
330
+ width: 100%;
331
+ min-height: 1px;
332
+ }
333
+ }
334
+ .hdashline {
335
+ min-height: 1px;
336
+ border-bottom-style: dashed;
337
+ display: inline-block;
338
+ width: 100%;
339
+ }
340
+ .hline {
341
+ min-height: 1px;
342
+ border-bottom-style: solid;
343
+ display: inline-block;
344
+ width: 100%;
345
+ }
346
+ .overline {
347
+ .overline-line {
348
+ min-height: 1px;
349
+ border-bottom-style: solid;
350
+ display: inline-block;
351
+ width: 100%;
352
+ }
353
+ }
354
+ .rule {
355
+ min-height: 1px;
356
+ border: 0 solid;
357
+ display: inline-block;
358
+ position: relative;
359
+ }
360
+ .underline {
361
+ .underline-line {
362
+ min-height: 1px;
363
+ border-bottom-style: solid;
364
+ display: inline-block;
365
+ width: 100%;
366
+ }
367
+ }
368
+ .mspace {
369
+ display: inline-block;
370
+ }
371
+ .clap {
372
+ position: relative;
373
+ width: 0;
374
+ >.inner {
375
+ position: absolute;
376
+ left: 0;
377
+ >span {
378
+ margin-left: -50%;
379
+ margin-right: 50%;
380
+ }
381
+ }
382
+ >.fix {
383
+ display: inline-block;
384
+ }
385
+ }
386
+ .llap {
387
+ position: relative;
388
+ width: 0;
389
+ >.inner {
390
+ position: absolute;
391
+ right: 0;
392
+ }
393
+ >.fix {
394
+ display: inline-block;
395
+ }
396
+ }
397
+ .rlap {
398
+ position: relative;
399
+ width: 0;
400
+ >.inner {
401
+ position: absolute;
402
+ left: 0;
403
+ }
404
+ >.fix {
405
+ display: inline-block;
406
+ }
407
+ }
408
+ .sqrt {
409
+ >.root {
410
+ margin-left: .27777778em;
411
+ margin-right: -.55555556em;
412
+ }
413
+ }
414
+ .fontsize-ensurer.reset-size1.size1 {
415
+ font-size: 1em;
416
+ }
417
+ .sizing.reset-size1.size1 {
418
+ font-size: 1em;
419
+ }
420
+ .fontsize-ensurer.reset-size1.size2 {
421
+ font-size: 1.2em;
422
+ }
423
+ .sizing.reset-size1.size2 {
424
+ font-size: 1.2em;
425
+ }
426
+ .fontsize-ensurer.reset-size1.size3 {
427
+ font-size: 1.4em;
428
+ }
429
+ .sizing.reset-size1.size3 {
430
+ font-size: 1.4em;
431
+ }
432
+ .fontsize-ensurer.reset-size1.size4 {
433
+ font-size: 1.6em;
434
+ }
435
+ .sizing.reset-size1.size4 {
436
+ font-size: 1.6em;
437
+ }
438
+ .fontsize-ensurer.reset-size1.size5 {
439
+ font-size: 1.8em;
440
+ }
441
+ .sizing.reset-size1.size5 {
442
+ font-size: 1.8em;
443
+ }
444
+ .fontsize-ensurer.reset-size1.size6 {
445
+ font-size: 2em;
446
+ }
447
+ .sizing.reset-size1.size6 {
448
+ font-size: 2em;
449
+ }
450
+ .fontsize-ensurer.reset-size1.size7 {
451
+ font-size: 2.4em;
452
+ }
453
+ .sizing.reset-size1.size7 {
454
+ font-size: 2.4em;
455
+ }
456
+ .fontsize-ensurer.reset-size1.size8 {
457
+ font-size: 2.88em;
458
+ }
459
+ .sizing.reset-size1.size8 {
460
+ font-size: 2.88em;
461
+ }
462
+ .fontsize-ensurer.reset-size1.size9 {
463
+ font-size: 3.456em;
464
+ }
465
+ .sizing.reset-size1.size9 {
466
+ font-size: 3.456em;
467
+ }
468
+ .fontsize-ensurer.reset-size1.size10 {
469
+ font-size: 4.148em;
470
+ }
471
+ .sizing.reset-size1.size10 {
472
+ font-size: 4.148em;
473
+ }
474
+ .fontsize-ensurer.reset-size1.size11 {
475
+ font-size: 4.976em;
476
+ }
477
+ .sizing.reset-size1.size11 {
478
+ font-size: 4.976em;
479
+ }
480
+ .fontsize-ensurer.reset-size2.size1 {
481
+ font-size: .83333333em;
482
+ }
483
+ .sizing.reset-size2.size1 {
484
+ font-size: .83333333em;
485
+ }
486
+ .fontsize-ensurer.reset-size2.size2 {
487
+ font-size: 1em;
488
+ }
489
+ .sizing.reset-size2.size2 {
490
+ font-size: 1em;
491
+ }
492
+ .fontsize-ensurer.reset-size2.size3 {
493
+ font-size: 1.16666667em;
494
+ }
495
+ .sizing.reset-size2.size3 {
496
+ font-size: 1.16666667em;
497
+ }
498
+ .fontsize-ensurer.reset-size2.size4 {
499
+ font-size: 1.33333333em;
500
+ }
501
+ .sizing.reset-size2.size4 {
502
+ font-size: 1.33333333em;
503
+ }
504
+ .fontsize-ensurer.reset-size2.size5 {
505
+ font-size: 1.5em;
506
+ }
507
+ .sizing.reset-size2.size5 {
508
+ font-size: 1.5em;
509
+ }
510
+ .fontsize-ensurer.reset-size2.size6 {
511
+ font-size: 1.66666667em;
512
+ }
513
+ .sizing.reset-size2.size6 {
514
+ font-size: 1.66666667em;
515
+ }
516
+ .fontsize-ensurer.reset-size2.size7 {
517
+ font-size: 2em;
518
+ }
519
+ .sizing.reset-size2.size7 {
520
+ font-size: 2em;
521
+ }
522
+ .fontsize-ensurer.reset-size2.size8 {
523
+ font-size: 2.4em;
524
+ }
525
+ .sizing.reset-size2.size8 {
526
+ font-size: 2.4em;
527
+ }
528
+ .fontsize-ensurer.reset-size2.size9 {
529
+ font-size: 2.88em;
530
+ }
531
+ .sizing.reset-size2.size9 {
532
+ font-size: 2.88em;
533
+ }
534
+ .fontsize-ensurer.reset-size2.size10 {
535
+ font-size: 3.45666667em;
536
+ }
537
+ .sizing.reset-size2.size10 {
538
+ font-size: 3.45666667em;
539
+ }
540
+ .fontsize-ensurer.reset-size2.size11 {
541
+ font-size: 4.14666667em;
542
+ }
543
+ .sizing.reset-size2.size11 {
544
+ font-size: 4.14666667em;
545
+ }
546
+ .fontsize-ensurer.reset-size3.size1 {
547
+ font-size: .71428571em;
548
+ }
549
+ .sizing.reset-size3.size1 {
550
+ font-size: .71428571em;
551
+ }
552
+ .fontsize-ensurer.reset-size3.size2 {
553
+ font-size: .85714286em;
554
+ }
555
+ .sizing.reset-size3.size2 {
556
+ font-size: .85714286em;
557
+ }
558
+ .fontsize-ensurer.reset-size3.size3 {
559
+ font-size: 1em;
560
+ }
561
+ .sizing.reset-size3.size3 {
562
+ font-size: 1em;
563
+ }
564
+ .fontsize-ensurer.reset-size3.size4 {
565
+ font-size: 1.14285714em;
566
+ }
567
+ .sizing.reset-size3.size4 {
568
+ font-size: 1.14285714em;
569
+ }
570
+ .fontsize-ensurer.reset-size3.size5 {
571
+ font-size: 1.28571429em;
572
+ }
573
+ .sizing.reset-size3.size5 {
574
+ font-size: 1.28571429em;
575
+ }
576
+ .fontsize-ensurer.reset-size3.size6 {
577
+ font-size: 1.42857143em;
578
+ }
579
+ .sizing.reset-size3.size6 {
580
+ font-size: 1.42857143em;
581
+ }
582
+ .fontsize-ensurer.reset-size3.size7 {
583
+ font-size: 1.71428571em;
584
+ }
585
+ .sizing.reset-size3.size7 {
586
+ font-size: 1.71428571em;
587
+ }
588
+ .fontsize-ensurer.reset-size3.size8 {
589
+ font-size: 2.05714286em;
590
+ }
591
+ .sizing.reset-size3.size8 {
592
+ font-size: 2.05714286em;
593
+ }
594
+ .fontsize-ensurer.reset-size3.size9 {
595
+ font-size: 2.46857143em;
596
+ }
597
+ .sizing.reset-size3.size9 {
598
+ font-size: 2.46857143em;
599
+ }
600
+ .fontsize-ensurer.reset-size3.size10 {
601
+ font-size: 2.96285714em;
602
+ }
603
+ .sizing.reset-size3.size10 {
604
+ font-size: 2.96285714em;
605
+ }
606
+ .fontsize-ensurer.reset-size3.size11 {
607
+ font-size: 3.55428571em;
608
+ }
609
+ .sizing.reset-size3.size11 {
610
+ font-size: 3.55428571em;
611
+ }
612
+ .fontsize-ensurer.reset-size4.size1 {
613
+ font-size: .625em;
614
+ }
615
+ .sizing.reset-size4.size1 {
616
+ font-size: .625em;
617
+ }
618
+ .fontsize-ensurer.reset-size4.size2 {
619
+ font-size: .75em;
620
+ }
621
+ .sizing.reset-size4.size2 {
622
+ font-size: .75em;
623
+ }
624
+ .fontsize-ensurer.reset-size4.size3 {
625
+ font-size: .875em;
626
+ }
627
+ .sizing.reset-size4.size3 {
628
+ font-size: .875em;
629
+ }
630
+ .fontsize-ensurer.reset-size4.size4 {
631
+ font-size: 1em;
632
+ }
633
+ .sizing.reset-size4.size4 {
634
+ font-size: 1em;
635
+ }
636
+ .fontsize-ensurer.reset-size4.size5 {
637
+ font-size: 1.125em;
638
+ }
639
+ .sizing.reset-size4.size5 {
640
+ font-size: 1.125em;
641
+ }
642
+ .fontsize-ensurer.reset-size4.size6 {
643
+ font-size: 1.25em;
644
+ }
645
+ .sizing.reset-size4.size6 {
646
+ font-size: 1.25em;
647
+ }
648
+ .fontsize-ensurer.reset-size4.size7 {
649
+ font-size: 1.5em;
650
+ }
651
+ .sizing.reset-size4.size7 {
652
+ font-size: 1.5em;
653
+ }
654
+ .fontsize-ensurer.reset-size4.size8 {
655
+ font-size: 1.8em;
656
+ }
657
+ .sizing.reset-size4.size8 {
658
+ font-size: 1.8em;
659
+ }
660
+ .fontsize-ensurer.reset-size4.size9 {
661
+ font-size: 2.16em;
662
+ }
663
+ .sizing.reset-size4.size9 {
664
+ font-size: 2.16em;
665
+ }
666
+ .fontsize-ensurer.reset-size4.size10 {
667
+ font-size: 2.5925em;
668
+ }
669
+ .sizing.reset-size4.size10 {
670
+ font-size: 2.5925em;
671
+ }
672
+ .fontsize-ensurer.reset-size4.size11 {
673
+ font-size: 3.11em;
674
+ }
675
+ .sizing.reset-size4.size11 {
676
+ font-size: 3.11em;
677
+ }
678
+ .fontsize-ensurer.reset-size5.size1 {
679
+ font-size: .55555556em;
680
+ }
681
+ .sizing.reset-size5.size1 {
682
+ font-size: .55555556em;
683
+ }
684
+ .fontsize-ensurer.reset-size5.size2 {
685
+ font-size: .66666667em;
686
+ }
687
+ .sizing.reset-size5.size2 {
688
+ font-size: .66666667em;
689
+ }
690
+ .fontsize-ensurer.reset-size5.size3 {
691
+ font-size: .77777778em;
692
+ }
693
+ .sizing.reset-size5.size3 {
694
+ font-size: .77777778em;
695
+ }
696
+ .fontsize-ensurer.reset-size5.size4 {
697
+ font-size: .88888889em;
698
+ }
699
+ .sizing.reset-size5.size4 {
700
+ font-size: .88888889em;
701
+ }
702
+ .fontsize-ensurer.reset-size5.size5 {
703
+ font-size: 1em;
704
+ }
705
+ .sizing.reset-size5.size5 {
706
+ font-size: 1em;
707
+ }
708
+ .fontsize-ensurer.reset-size5.size6 {
709
+ font-size: 1.11111111em;
710
+ }
711
+ .sizing.reset-size5.size6 {
712
+ font-size: 1.11111111em;
713
+ }
714
+ .fontsize-ensurer.reset-size5.size7 {
715
+ font-size: 1.33333333em;
716
+ }
717
+ .sizing.reset-size5.size7 {
718
+ font-size: 1.33333333em;
719
+ }
720
+ .fontsize-ensurer.reset-size5.size8 {
721
+ font-size: 1.6em;
722
+ }
723
+ .sizing.reset-size5.size8 {
724
+ font-size: 1.6em;
725
+ }
726
+ .fontsize-ensurer.reset-size5.size9 {
727
+ font-size: 1.92em;
728
+ }
729
+ .sizing.reset-size5.size9 {
730
+ font-size: 1.92em;
731
+ }
732
+ .fontsize-ensurer.reset-size5.size10 {
733
+ font-size: 2.30444444em;
734
+ }
735
+ .sizing.reset-size5.size10 {
736
+ font-size: 2.30444444em;
737
+ }
738
+ .fontsize-ensurer.reset-size5.size11 {
739
+ font-size: 2.76444444em;
740
+ }
741
+ .sizing.reset-size5.size11 {
742
+ font-size: 2.76444444em;
743
+ }
744
+ .fontsize-ensurer.reset-size6.size1 {
745
+ font-size: .5em;
746
+ }
747
+ .sizing.reset-size6.size1 {
748
+ font-size: .5em;
749
+ }
750
+ .fontsize-ensurer.reset-size6.size2 {
751
+ font-size: .6em;
752
+ }
753
+ .sizing.reset-size6.size2 {
754
+ font-size: .6em;
755
+ }
756
+ .fontsize-ensurer.reset-size6.size3 {
757
+ font-size: .7em;
758
+ }
759
+ .sizing.reset-size6.size3 {
760
+ font-size: .7em;
761
+ }
762
+ .fontsize-ensurer.reset-size6.size4 {
763
+ font-size: .8em;
764
+ }
765
+ .sizing.reset-size6.size4 {
766
+ font-size: .8em;
767
+ }
768
+ .fontsize-ensurer.reset-size6.size5 {
769
+ font-size: .9em;
770
+ }
771
+ .sizing.reset-size6.size5 {
772
+ font-size: .9em;
773
+ }
774
+ .fontsize-ensurer.reset-size6.size6 {
775
+ font-size: 1em;
776
+ }
777
+ .sizing.reset-size6.size6 {
778
+ font-size: 1em;
779
+ }
780
+ .fontsize-ensurer.reset-size6.size7 {
781
+ font-size: 1.2em;
782
+ }
783
+ .sizing.reset-size6.size7 {
784
+ font-size: 1.2em;
785
+ }
786
+ .fontsize-ensurer.reset-size6.size8 {
787
+ font-size: 1.44em;
788
+ }
789
+ .sizing.reset-size6.size8 {
790
+ font-size: 1.44em;
791
+ }
792
+ .fontsize-ensurer.reset-size6.size9 {
793
+ font-size: 1.728em;
794
+ }
795
+ .sizing.reset-size6.size9 {
796
+ font-size: 1.728em;
797
+ }
798
+ .fontsize-ensurer.reset-size6.size10 {
799
+ font-size: 2.074em;
800
+ }
801
+ .sizing.reset-size6.size10 {
802
+ font-size: 2.074em;
803
+ }
804
+ .fontsize-ensurer.reset-size6.size11 {
805
+ font-size: 2.488em;
806
+ }
807
+ .sizing.reset-size6.size11 {
808
+ font-size: 2.488em;
809
+ }
810
+ .fontsize-ensurer.reset-size7.size1 {
811
+ font-size: .41666667em;
812
+ }
813
+ .sizing.reset-size7.size1 {
814
+ font-size: .41666667em;
815
+ }
816
+ .fontsize-ensurer.reset-size7.size2 {
817
+ font-size: .5em;
818
+ }
819
+ .sizing.reset-size7.size2 {
820
+ font-size: .5em;
821
+ }
822
+ .fontsize-ensurer.reset-size7.size3 {
823
+ font-size: .58333333em;
824
+ }
825
+ .sizing.reset-size7.size3 {
826
+ font-size: .58333333em;
827
+ }
828
+ .fontsize-ensurer.reset-size7.size4 {
829
+ font-size: .66666667em;
830
+ }
831
+ .sizing.reset-size7.size4 {
832
+ font-size: .66666667em;
833
+ }
834
+ .fontsize-ensurer.reset-size7.size5 {
835
+ font-size: .75em;
836
+ }
837
+ .sizing.reset-size7.size5 {
838
+ font-size: .75em;
839
+ }
840
+ .fontsize-ensurer.reset-size7.size6 {
841
+ font-size: .83333333em;
842
+ }
843
+ .sizing.reset-size7.size6 {
844
+ font-size: .83333333em;
845
+ }
846
+ .fontsize-ensurer.reset-size7.size7 {
847
+ font-size: 1em;
848
+ }
849
+ .sizing.reset-size7.size7 {
850
+ font-size: 1em;
851
+ }
852
+ .fontsize-ensurer.reset-size7.size8 {
853
+ font-size: 1.2em;
854
+ }
855
+ .sizing.reset-size7.size8 {
856
+ font-size: 1.2em;
857
+ }
858
+ .fontsize-ensurer.reset-size7.size9 {
859
+ font-size: 1.44em;
860
+ }
861
+ .sizing.reset-size7.size9 {
862
+ font-size: 1.44em;
863
+ }
864
+ .fontsize-ensurer.reset-size7.size10 {
865
+ font-size: 1.72833333em;
866
+ }
867
+ .sizing.reset-size7.size10 {
868
+ font-size: 1.72833333em;
869
+ }
870
+ .fontsize-ensurer.reset-size7.size11 {
871
+ font-size: 2.07333333em;
872
+ }
873
+ .sizing.reset-size7.size11 {
874
+ font-size: 2.07333333em;
875
+ }
876
+ .fontsize-ensurer.reset-size8.size1 {
877
+ font-size: .34722222em;
878
+ }
879
+ .sizing.reset-size8.size1 {
880
+ font-size: .34722222em;
881
+ }
882
+ .fontsize-ensurer.reset-size8.size2 {
883
+ font-size: .41666667em;
884
+ }
885
+ .sizing.reset-size8.size2 {
886
+ font-size: .41666667em;
887
+ }
888
+ .fontsize-ensurer.reset-size8.size3 {
889
+ font-size: .48611111em;
890
+ }
891
+ .sizing.reset-size8.size3 {
892
+ font-size: .48611111em;
893
+ }
894
+ .fontsize-ensurer.reset-size8.size4 {
895
+ font-size: .55555556em;
896
+ }
897
+ .sizing.reset-size8.size4 {
898
+ font-size: .55555556em;
899
+ }
900
+ .fontsize-ensurer.reset-size8.size5 {
901
+ font-size: .625em;
902
+ }
903
+ .sizing.reset-size8.size5 {
904
+ font-size: .625em;
905
+ }
906
+ .fontsize-ensurer.reset-size8.size6 {
907
+ font-size: .69444444em;
908
+ }
909
+ .sizing.reset-size8.size6 {
910
+ font-size: .69444444em;
911
+ }
912
+ .fontsize-ensurer.reset-size8.size7 {
913
+ font-size: .83333333em;
914
+ }
915
+ .sizing.reset-size8.size7 {
916
+ font-size: .83333333em;
917
+ }
918
+ .fontsize-ensurer.reset-size8.size8 {
919
+ font-size: 1em;
920
+ }
921
+ .sizing.reset-size8.size8 {
922
+ font-size: 1em;
923
+ }
924
+ .fontsize-ensurer.reset-size8.size9 {
925
+ font-size: 1.2em;
926
+ }
927
+ .sizing.reset-size8.size9 {
928
+ font-size: 1.2em;
929
+ }
930
+ .fontsize-ensurer.reset-size8.size10 {
931
+ font-size: 1.44027778em;
932
+ }
933
+ .sizing.reset-size8.size10 {
934
+ font-size: 1.44027778em;
935
+ }
936
+ .fontsize-ensurer.reset-size8.size11 {
937
+ font-size: 1.72777778em;
938
+ }
939
+ .sizing.reset-size8.size11 {
940
+ font-size: 1.72777778em;
941
+ }
942
+ .fontsize-ensurer.reset-size9.size1 {
943
+ font-size: .28935185em;
944
+ }
945
+ .sizing.reset-size9.size1 {
946
+ font-size: .28935185em;
947
+ }
948
+ .fontsize-ensurer.reset-size9.size2 {
949
+ font-size: .34722222em;
950
+ }
951
+ .sizing.reset-size9.size2 {
952
+ font-size: .34722222em;
953
+ }
954
+ .fontsize-ensurer.reset-size9.size3 {
955
+ font-size: .40509259em;
956
+ }
957
+ .sizing.reset-size9.size3 {
958
+ font-size: .40509259em;
959
+ }
960
+ .fontsize-ensurer.reset-size9.size4 {
961
+ font-size: .46296296em;
962
+ }
963
+ .sizing.reset-size9.size4 {
964
+ font-size: .46296296em;
965
+ }
966
+ .fontsize-ensurer.reset-size9.size5 {
967
+ font-size: .52083333em;
968
+ }
969
+ .sizing.reset-size9.size5 {
970
+ font-size: .52083333em;
971
+ }
972
+ .fontsize-ensurer.reset-size9.size6 {
973
+ font-size: .5787037em;
974
+ }
975
+ .sizing.reset-size9.size6 {
976
+ font-size: .5787037em;
977
+ }
978
+ .fontsize-ensurer.reset-size9.size7 {
979
+ font-size: .69444444em;
980
+ }
981
+ .sizing.reset-size9.size7 {
982
+ font-size: .69444444em;
983
+ }
984
+ .fontsize-ensurer.reset-size9.size8 {
985
+ font-size: .83333333em;
986
+ }
987
+ .sizing.reset-size9.size8 {
988
+ font-size: .83333333em;
989
+ }
990
+ .fontsize-ensurer.reset-size9.size9 {
991
+ font-size: 1em;
992
+ }
993
+ .sizing.reset-size9.size9 {
994
+ font-size: 1em;
995
+ }
996
+ .fontsize-ensurer.reset-size9.size10 {
997
+ font-size: 1.20023148em;
998
+ }
999
+ .sizing.reset-size9.size10 {
1000
+ font-size: 1.20023148em;
1001
+ }
1002
+ .fontsize-ensurer.reset-size9.size11 {
1003
+ font-size: 1.43981481em;
1004
+ }
1005
+ .sizing.reset-size9.size11 {
1006
+ font-size: 1.43981481em;
1007
+ }
1008
+ .fontsize-ensurer.reset-size10.size1 {
1009
+ font-size: .24108004em;
1010
+ }
1011
+ .sizing.reset-size10.size1 {
1012
+ font-size: .24108004em;
1013
+ }
1014
+ .fontsize-ensurer.reset-size10.size2 {
1015
+ font-size: .28929605em;
1016
+ }
1017
+ .sizing.reset-size10.size2 {
1018
+ font-size: .28929605em;
1019
+ }
1020
+ .fontsize-ensurer.reset-size10.size3 {
1021
+ font-size: .33751205em;
1022
+ }
1023
+ .sizing.reset-size10.size3 {
1024
+ font-size: .33751205em;
1025
+ }
1026
+ .fontsize-ensurer.reset-size10.size4 {
1027
+ font-size: .38572806em;
1028
+ }
1029
+ .sizing.reset-size10.size4 {
1030
+ font-size: .38572806em;
1031
+ }
1032
+ .fontsize-ensurer.reset-size10.size5 {
1033
+ font-size: .43394407em;
1034
+ }
1035
+ .sizing.reset-size10.size5 {
1036
+ font-size: .43394407em;
1037
+ }
1038
+ .fontsize-ensurer.reset-size10.size6 {
1039
+ font-size: .48216008em;
1040
+ }
1041
+ .sizing.reset-size10.size6 {
1042
+ font-size: .48216008em;
1043
+ }
1044
+ .fontsize-ensurer.reset-size10.size7 {
1045
+ font-size: .57859209em;
1046
+ }
1047
+ .sizing.reset-size10.size7 {
1048
+ font-size: .57859209em;
1049
+ }
1050
+ .fontsize-ensurer.reset-size10.size8 {
1051
+ font-size: .69431051em;
1052
+ }
1053
+ .sizing.reset-size10.size8 {
1054
+ font-size: .69431051em;
1055
+ }
1056
+ .fontsize-ensurer.reset-size10.size9 {
1057
+ font-size: .83317261em;
1058
+ }
1059
+ .sizing.reset-size10.size9 {
1060
+ font-size: .83317261em;
1061
+ }
1062
+ .fontsize-ensurer.reset-size10.size10 {
1063
+ font-size: 1em;
1064
+ }
1065
+ .sizing.reset-size10.size10 {
1066
+ font-size: 1em;
1067
+ }
1068
+ .fontsize-ensurer.reset-size10.size11 {
1069
+ font-size: 1.19961427em;
1070
+ }
1071
+ .sizing.reset-size10.size11 {
1072
+ font-size: 1.19961427em;
1073
+ }
1074
+ .fontsize-ensurer.reset-size11.size1 {
1075
+ font-size: .20096463em;
1076
+ }
1077
+ .sizing.reset-size11.size1 {
1078
+ font-size: .20096463em;
1079
+ }
1080
+ .fontsize-ensurer.reset-size11.size2 {
1081
+ font-size: .24115756em;
1082
+ }
1083
+ .sizing.reset-size11.size2 {
1084
+ font-size: .24115756em;
1085
+ }
1086
+ .fontsize-ensurer.reset-size11.size3 {
1087
+ font-size: .28135048em;
1088
+ }
1089
+ .sizing.reset-size11.size3 {
1090
+ font-size: .28135048em;
1091
+ }
1092
+ .fontsize-ensurer.reset-size11.size4 {
1093
+ font-size: .32154341em;
1094
+ }
1095
+ .sizing.reset-size11.size4 {
1096
+ font-size: .32154341em;
1097
+ }
1098
+ .fontsize-ensurer.reset-size11.size5 {
1099
+ font-size: .36173633em;
1100
+ }
1101
+ .sizing.reset-size11.size5 {
1102
+ font-size: .36173633em;
1103
+ }
1104
+ .fontsize-ensurer.reset-size11.size6 {
1105
+ font-size: .40192926em;
1106
+ }
1107
+ .sizing.reset-size11.size6 {
1108
+ font-size: .40192926em;
1109
+ }
1110
+ .fontsize-ensurer.reset-size11.size7 {
1111
+ font-size: .48231511em;
1112
+ }
1113
+ .sizing.reset-size11.size7 {
1114
+ font-size: .48231511em;
1115
+ }
1116
+ .fontsize-ensurer.reset-size11.size8 {
1117
+ font-size: .57877814em;
1118
+ }
1119
+ .sizing.reset-size11.size8 {
1120
+ font-size: .57877814em;
1121
+ }
1122
+ .fontsize-ensurer.reset-size11.size9 {
1123
+ font-size: .69453376em;
1124
+ }
1125
+ .sizing.reset-size11.size9 {
1126
+ font-size: .69453376em;
1127
+ }
1128
+ .fontsize-ensurer.reset-size11.size10 {
1129
+ font-size: .83360129em;
1130
+ }
1131
+ .sizing.reset-size11.size10 {
1132
+ font-size: .83360129em;
1133
+ }
1134
+ .fontsize-ensurer.reset-size11.size11 {
1135
+ font-size: 1em;
1136
+ }
1137
+ .sizing.reset-size11.size11 {
1138
+ font-size: 1em;
1139
+ }
1140
+ .delimsizing.size1 {
1141
+ font-family: $font-family_9;
1142
+ }
1143
+ .delimsizing.size2 {
1144
+ font-family: $font-family_10;
1145
+ }
1146
+ .delimsizing.size3 {
1147
+ font-family: $font-family_11;
1148
+ }
1149
+ .delimsizing.size4 {
1150
+ font-family: $font-family_12;
1151
+ }
1152
+ .delimsizing.mult {
1153
+ .delim-size1 {
1154
+ >span {
1155
+ font-family: $font-family_9;
1156
+ }
1157
+ }
1158
+ .delim-size4 {
1159
+ >span {
1160
+ font-family: $font-family_12;
1161
+ }
1162
+ }
1163
+ }
1164
+ .nulldelimiter {
1165
+ display: inline-block;
1166
+ width: .12em;
1167
+ }
1168
+ .delimcenter {
1169
+ position: relative;
1170
+ }
1171
+ .op-symbol {
1172
+ position: relative;
1173
+ }
1174
+ .op-symbol.small-op {
1175
+ font-family: $font-family_9;
1176
+ }
1177
+ .op-symbol.large-op {
1178
+ font-family: $font-family_10;
1179
+ }
1180
+ .accent {
1181
+ >.vlist-t {
1182
+ text-align: center;
1183
+ }
1184
+ .accent-body {
1185
+ position: relative;
1186
+ &:not(.accent-full) {
1187
+ width: 0;
1188
+ }
1189
+ }
1190
+ }
1191
+ .op-limits {
1192
+ >.vlist-t {
1193
+ text-align: center;
1194
+ }
1195
+ }
1196
+ .overlay {
1197
+ display: block;
1198
+ }
1199
+ .mtable {
1200
+ .vertical-separator {
1201
+ display: inline-block;
1202
+ min-width: 1px;
1203
+ }
1204
+ .arraycolsep {
1205
+ display: inline-block;
1206
+ }
1207
+ .col-align-c {
1208
+ >.vlist-t {
1209
+ text-align: center;
1210
+ }
1211
+ }
1212
+ .col-align-l {
1213
+ >.vlist-t {
1214
+ text-align: left;
1215
+ }
1216
+ }
1217
+ .col-align-r {
1218
+ >.vlist-t {
1219
+ text-align: right;
1220
+ }
1221
+ }
1222
+ }
1223
+ .svg-align {
1224
+ text-align: left;
1225
+ }
1226
+ svg {
1227
+ fill: currentColor;
1228
+ stroke: currentColor;
1229
+ fill-rule: nonzero;
1230
+ fill-opacity: 1;
1231
+ stroke-width: 1;
1232
+ stroke-linecap: butt;
1233
+ stroke-linejoin: miter;
1234
+ stroke-miterlimit: 4;
1235
+ stroke-dasharray: none;
1236
+ stroke-dashoffset: 0;
1237
+ stroke-opacity: 1;
1238
+ display: block;
1239
+ height: inherit;
1240
+ position: absolute;
1241
+ width: 100%;
1242
+ path {
1243
+ stroke: none;
1244
+ }
1245
+ }
1246
+ img {
1247
+ border-style: none;
1248
+ max-height: none;
1249
+ max-width: none;
1250
+ min-height: 0;
1251
+ min-width: 0;
1252
+ }
1253
+ .stretchy {
1254
+ display: block;
1255
+ overflow: hidden;
1256
+ position: relative;
1257
+ width: 100%;
1258
+ &:after {
1259
+ content: "";
1260
+ }
1261
+ &:before {
1262
+ content: "";
1263
+ }
1264
+ }
1265
+ .hide-tail {
1266
+ overflow: hidden;
1267
+ position: relative;
1268
+ width: 100%;
1269
+ }
1270
+ .halfarrow-left {
1271
+ left: 0;
1272
+ overflow: hidden;
1273
+ position: absolute;
1274
+ width: 50.2%;
1275
+ }
1276
+ .halfarrow-right {
1277
+ overflow: hidden;
1278
+ position: absolute;
1279
+ right: 0;
1280
+ width: 50.2%;
1281
+ }
1282
+ .brace-left {
1283
+ left: 0;
1284
+ overflow: hidden;
1285
+ position: absolute;
1286
+ width: 25.1%;
1287
+ }
1288
+ .brace-center {
1289
+ left: 25%;
1290
+ overflow: hidden;
1291
+ position: absolute;
1292
+ width: 50%;
1293
+ }
1294
+ .brace-right {
1295
+ overflow: hidden;
1296
+ position: absolute;
1297
+ right: 0;
1298
+ width: 25.1%;
1299
+ }
1300
+ .x-arrow-pad {
1301
+ padding: 0 .5em;
1302
+ }
1303
+ .cd-arrow-pad {
1304
+ padding: 0 .55556em 0 .27778em;
1305
+ }
1306
+ .mover {
1307
+ text-align: center;
1308
+ }
1309
+ .munder {
1310
+ text-align: center;
1311
+ }
1312
+ .x-arrow {
1313
+ text-align: center;
1314
+ }
1315
+ .boxpad {
1316
+ padding: 0 .3em;
1317
+ }
1318
+ .fbox {
1319
+ border: .04em solid;
1320
+ box-sizing: border-box;
1321
+ }
1322
+ .fcolorbox {
1323
+ border: .04em solid;
1324
+ box-sizing: border-box;
1325
+ }
1326
+ .cancel-pad {
1327
+ padding: 0 .2em;
1328
+ }
1329
+ .cancel-lap {
1330
+ margin-left: -.2em;
1331
+ margin-right: -.2em;
1332
+ }
1333
+ .sout {
1334
+ border-bottom-style: solid;
1335
+ border-bottom-width: .08em;
1336
+ }
1337
+ .angl {
1338
+ border-right: .049em solid;
1339
+ border-top: .049em solid;
1340
+ box-sizing: border-box;
1341
+ margin-right: .03889em;
1342
+ }
1343
+ .anglpad {
1344
+ padding: 0 .03889em;
1345
+ }
1346
+ .eqn-num {
1347
+ &:before {
1348
+ content: "(" counter(katexEqnNo) ")";
1349
+ counter-increment: katexEqnNo;
1350
+ }
1351
+ }
1352
+ .mml-eqn-num {
1353
+ &:before {
1354
+ content: "(" counter(mmlEqnNo) ")";
1355
+ counter-increment: mmlEqnNo;
1356
+ }
1357
+ }
1358
+ .mtr-glue {
1359
+ width: 50%;
1360
+ }
1361
+ .cd-vert-arrow {
1362
+ display: inline-block;
1363
+ position: relative;
1364
+ }
1365
+ .cd-label-left {
1366
+ display: inline-block;
1367
+ position: absolute;
1368
+ right: calc(50% + .3em);
1369
+ text-align: left;
1370
+ }
1371
+ .cd-label-right {
1372
+ display: inline-block;
1373
+ left: calc(50% + .3em);
1374
+ position: absolute;
1375
+ text-align: right;
1376
+ }
1377
+ }
1378
+ .katex-display {
1379
+ display: block;
1380
+ margin: 1em 0;
1381
+ text-align: center;
1382
+ >.katex {
1383
+ display: block;
1384
+ text-align: center;
1385
+ white-space: nowrap;
1386
+ >.katex-html {
1387
+ display: block;
1388
+ position: relative;
1389
+ >.tag {
1390
+ position: absolute;
1391
+ right: 0;
1392
+ }
1393
+ }
1394
+ }
1395
+ }
1396
+ .katex-display.leqno {
1397
+ >.katex {
1398
+ >.katex-html {
1399
+ >.tag {
1400
+ left: 0;
1401
+ right: auto;
1402
+ }
1403
+ }
1404
+ }
1405
+ }
1406
+ .katex-display.fleqn {
1407
+ >.katex {
1408
+ padding-left: 2em;
1409
+ text-align: left;
1410
+ }
1411
+ }
1412
+ body {
1413
+ counter-reset: katexEqnNo mmlEqnNo;
1414
+ }