type-on-strap 2.4.10 → 2.4.11

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -1,3 +1,4 @@
1
+ $katex-font-path: "../../assets/fonts/katex" !default;
1
2
  $font-family_1: KaTeX_Main;
2
3
  $font-family_2: KaTeX_SansSerif;
3
4
  $font-family_3: KaTeX_Typewriter;
@@ -133,27 +134,27 @@ $border-color_1: currentColor;
133
134
  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
  }
135
136
  .katex {
136
- text-rendering: auto;
137
- font: normal 1.21em KaTeX_Main,Times New Roman,serif;
137
+ font: normal 1.21em KaTeX_Main, Times New Roman, serif;
138
138
  line-height: 1.2;
139
139
  text-indent: 0;
140
+ text-rendering: auto;
140
141
  * {
141
142
  -ms-high-contrast-adjust: none !important;
142
143
  border-color: $border-color_1;
143
144
  }
144
145
  .katex-version {
145
- &:after {
146
- content: "0.16.9";
146
+ &::after {
147
+ content: "0.16.11";
147
148
  }
148
149
  }
149
150
  .katex-mathml {
150
- clip: rect(1px,1px,1px,1px);
151
+ position: absolute;
152
+ clip: rect(1px, 1px, 1px, 1px);
153
+ padding: 0;
151
154
  border: 0;
152
155
  height: 1px;
153
- overflow: hidden;
154
- padding: 0;
155
- position: absolute;
156
156
  width: 1px;
157
+ overflow: hidden;
157
158
  }
158
159
  .katex-html {
159
160
  >.newline {
@@ -162,17 +163,17 @@ $border-color_1: currentColor;
162
163
  }
163
164
  .base {
164
165
  position: relative;
166
+ display: inline-block;
165
167
  white-space: nowrap;
166
168
  width: -webkit-min-content;
167
169
  width: -moz-min-content;
168
170
  width: min-content;
169
- display: inline-block;
170
171
  }
171
172
  .strut {
172
173
  display: inline-block;
173
174
  }
174
175
  .textbf {
175
- font-weight: 700;
176
+ font-weight: bold;
176
177
  }
177
178
  .textit {
178
179
  font-style: italic;
@@ -199,12 +200,12 @@ $border-color_1: currentColor;
199
200
  }
200
201
  .mathbf {
201
202
  font-family: $font-family_1;
202
- font-weight: 700;
203
+ font-weight: bold;
203
204
  }
204
205
  .boldsymbol {
205
206
  font-family: $font-family_4;
207
+ font-weight: bold;
206
208
  font-style: italic;
207
- font-weight: 700;
208
209
  }
209
210
  .amsrm {
210
211
  font-family: $font-family_5;
@@ -226,11 +227,11 @@ $border-color_1: currentColor;
226
227
  }
227
228
  .mathboldfrak {
228
229
  font-family: $font-family_7;
229
- font-weight: 700;
230
+ font-weight: bold;
230
231
  }
231
232
  .textboldfrak {
232
233
  font-family: $font-family_7;
233
- font-weight: 700;
234
+ font-weight: bold;
234
235
  }
235
236
  .mathtt {
236
237
  font-family: $font-family_3;
@@ -246,11 +247,11 @@ $border-color_1: currentColor;
246
247
  }
247
248
  .mathboldsf {
248
249
  font-family: $font-family_2;
249
- font-weight: 700;
250
+ font-weight: bold;
250
251
  }
251
252
  .textboldsf {
252
253
  font-family: $font-family_2;
253
- font-weight: 700;
254
+ font-weight: bold;
254
255
  }
255
256
  .mathitsf {
256
257
  font-family: $font-family_2;
@@ -265,17 +266,17 @@ $border-color_1: currentColor;
265
266
  font-style: normal;
266
267
  }
267
268
  .vlist-t {
268
- border-collapse: collapse;
269
269
  display: inline-table;
270
270
  table-layout: fixed;
271
+ border-collapse: collapse;
271
272
  }
272
273
  .vlist-r {
273
274
  display: table-row;
274
275
  }
275
276
  .vlist {
276
277
  display: table-cell;
277
- position: relative;
278
278
  vertical-align: bottom;
279
+ position: relative;
279
280
  >span {
280
281
  display: block;
281
282
  height: 0;
@@ -294,26 +295,26 @@ $border-color_1: currentColor;
294
295
  }
295
296
  .vlist-s {
296
297
  display: table-cell;
297
- font-size: 1px;
298
- min-width: 2px;
299
298
  vertical-align: bottom;
299
+ font-size: 1px;
300
300
  width: 2px;
301
+ min-width: 2px;
301
302
  }
302
303
  .vbox {
303
- align-items: baseline;
304
304
  display: inline-flex;
305
305
  flex-direction: column;
306
+ align-items: baseline;
306
307
  }
307
308
  .hbox {
308
- width: 100%;
309
309
  display: inline-flex;
310
310
  flex-direction: row;
311
+ width: 100%;
311
312
  }
312
313
  .thinbox {
313
314
  display: inline-flex;
314
315
  flex-direction: row;
315
- max-width: 0;
316
316
  width: 0;
317
+ max-width: 0;
317
318
  }
318
319
  .msupsub {
319
320
  text-align: left;
@@ -325,81 +326,81 @@ $border-color_1: currentColor;
325
326
  }
326
327
  }
327
328
  .frac-line {
328
- border-bottom-style: solid;
329
329
  display: inline-block;
330
330
  width: 100%;
331
+ border-bottom-style: solid;
331
332
  min-height: 1px;
332
333
  }
333
334
  }
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
335
  .overline {
347
336
  .overline-line {
348
337
  min-height: 1px;
349
- border-bottom-style: solid;
350
338
  display: inline-block;
351
339
  width: 100%;
340
+ border-bottom-style: solid;
352
341
  }
353
342
  }
354
- .rule {
355
- min-height: 1px;
356
- border: 0 solid;
357
- display: inline-block;
358
- position: relative;
359
- }
360
343
  .underline {
361
344
  .underline-line {
362
345
  min-height: 1px;
363
- border-bottom-style: solid;
364
346
  display: inline-block;
365
347
  width: 100%;
348
+ border-bottom-style: solid;
366
349
  }
367
350
  }
368
- .mspace {
351
+ .hline {
352
+ min-height: 1px;
369
353
  display: inline-block;
354
+ width: 100%;
355
+ border-bottom-style: solid;
370
356
  }
371
- .clap {
357
+ .hdashline {
358
+ min-height: 1px;
359
+ display: inline-block;
360
+ width: 100%;
361
+ border-bottom-style: dashed;
362
+ }
363
+ .rule {
364
+ min-height: 1px;
365
+ display: inline-block;
366
+ border: solid 0;
372
367
  position: relative;
368
+ }
369
+ .mspace {
370
+ display: inline-block;
371
+ }
372
+ .llap {
373
373
  width: 0;
374
+ position: relative;
374
375
  >.inner {
375
376
  position: absolute;
376
- left: 0;
377
- >span {
378
- margin-left: -50%;
379
- margin-right: 50%;
380
- }
377
+ right: 0;
381
378
  }
382
379
  >.fix {
383
380
  display: inline-block;
384
381
  }
385
382
  }
386
- .llap {
387
- position: relative;
383
+ .rlap {
388
384
  width: 0;
385
+ position: relative;
389
386
  >.inner {
390
387
  position: absolute;
391
- right: 0;
388
+ left: 0;
392
389
  }
393
390
  >.fix {
394
391
  display: inline-block;
395
392
  }
396
393
  }
397
- .rlap {
398
- position: relative;
394
+ .clap {
399
395
  width: 0;
396
+ position: relative;
400
397
  >.inner {
401
398
  position: absolute;
402
399
  left: 0;
400
+ >span {
401
+ margin-left: -50%;
402
+ margin-right: 50%;
403
+ }
403
404
  }
404
405
  >.fix {
405
406
  display: inline-block;
@@ -407,736 +408,736 @@ $border-color_1: currentColor;
407
408
  }
408
409
  .sqrt {
409
410
  >.root {
410
- margin-left: .27777778em;
411
- margin-right: -.55555556em;
411
+ margin-left: 0.2777777778em;
412
+ margin-right: -0.5555555556em;
412
413
  }
413
414
  }
414
- .fontsize-ensurer.reset-size1.size1 {
415
- font-size: 1em;
416
- }
417
415
  .sizing.reset-size1.size1 {
418
416
  font-size: 1em;
419
417
  }
420
- .fontsize-ensurer.reset-size1.size2 {
421
- font-size: 1.2em;
418
+ .fontsize-ensurer.reset-size1.size1 {
419
+ font-size: 1em;
422
420
  }
423
421
  .sizing.reset-size1.size2 {
424
422
  font-size: 1.2em;
425
423
  }
426
- .fontsize-ensurer.reset-size1.size3 {
427
- font-size: 1.4em;
424
+ .fontsize-ensurer.reset-size1.size2 {
425
+ font-size: 1.2em;
428
426
  }
429
427
  .sizing.reset-size1.size3 {
430
428
  font-size: 1.4em;
431
429
  }
432
- .fontsize-ensurer.reset-size1.size4 {
433
- font-size: 1.6em;
430
+ .fontsize-ensurer.reset-size1.size3 {
431
+ font-size: 1.4em;
434
432
  }
435
433
  .sizing.reset-size1.size4 {
436
434
  font-size: 1.6em;
437
435
  }
438
- .fontsize-ensurer.reset-size1.size5 {
439
- font-size: 1.8em;
436
+ .fontsize-ensurer.reset-size1.size4 {
437
+ font-size: 1.6em;
440
438
  }
441
439
  .sizing.reset-size1.size5 {
442
440
  font-size: 1.8em;
443
441
  }
444
- .fontsize-ensurer.reset-size1.size6 {
445
- font-size: 2em;
442
+ .fontsize-ensurer.reset-size1.size5 {
443
+ font-size: 1.8em;
446
444
  }
447
445
  .sizing.reset-size1.size6 {
448
446
  font-size: 2em;
449
447
  }
450
- .fontsize-ensurer.reset-size1.size7 {
451
- font-size: 2.4em;
448
+ .fontsize-ensurer.reset-size1.size6 {
449
+ font-size: 2em;
452
450
  }
453
451
  .sizing.reset-size1.size7 {
454
452
  font-size: 2.4em;
455
453
  }
456
- .fontsize-ensurer.reset-size1.size8 {
457
- font-size: 2.88em;
454
+ .fontsize-ensurer.reset-size1.size7 {
455
+ font-size: 2.4em;
458
456
  }
459
457
  .sizing.reset-size1.size8 {
460
458
  font-size: 2.88em;
461
459
  }
462
- .fontsize-ensurer.reset-size1.size9 {
463
- font-size: 3.456em;
460
+ .fontsize-ensurer.reset-size1.size8 {
461
+ font-size: 2.88em;
464
462
  }
465
463
  .sizing.reset-size1.size9 {
466
464
  font-size: 3.456em;
467
465
  }
468
- .fontsize-ensurer.reset-size1.size10 {
469
- font-size: 4.148em;
466
+ .fontsize-ensurer.reset-size1.size9 {
467
+ font-size: 3.456em;
470
468
  }
471
469
  .sizing.reset-size1.size10 {
472
470
  font-size: 4.148em;
473
471
  }
474
- .fontsize-ensurer.reset-size1.size11 {
475
- font-size: 4.976em;
472
+ .fontsize-ensurer.reset-size1.size10 {
473
+ font-size: 4.148em;
476
474
  }
477
475
  .sizing.reset-size1.size11 {
478
476
  font-size: 4.976em;
479
477
  }
480
- .fontsize-ensurer.reset-size2.size1 {
481
- font-size: .83333333em;
478
+ .fontsize-ensurer.reset-size1.size11 {
479
+ font-size: 4.976em;
482
480
  }
483
481
  .sizing.reset-size2.size1 {
484
- font-size: .83333333em;
482
+ font-size: 0.8333333333em;
485
483
  }
486
- .fontsize-ensurer.reset-size2.size2 {
487
- font-size: 1em;
484
+ .fontsize-ensurer.reset-size2.size1 {
485
+ font-size: 0.8333333333em;
488
486
  }
489
487
  .sizing.reset-size2.size2 {
490
488
  font-size: 1em;
491
489
  }
492
- .fontsize-ensurer.reset-size2.size3 {
493
- font-size: 1.16666667em;
490
+ .fontsize-ensurer.reset-size2.size2 {
491
+ font-size: 1em;
494
492
  }
495
493
  .sizing.reset-size2.size3 {
496
- font-size: 1.16666667em;
494
+ font-size: 1.1666666667em;
497
495
  }
498
- .fontsize-ensurer.reset-size2.size4 {
499
- font-size: 1.33333333em;
496
+ .fontsize-ensurer.reset-size2.size3 {
497
+ font-size: 1.1666666667em;
500
498
  }
501
499
  .sizing.reset-size2.size4 {
502
- font-size: 1.33333333em;
500
+ font-size: 1.3333333333em;
503
501
  }
504
- .fontsize-ensurer.reset-size2.size5 {
505
- font-size: 1.5em;
502
+ .fontsize-ensurer.reset-size2.size4 {
503
+ font-size: 1.3333333333em;
506
504
  }
507
505
  .sizing.reset-size2.size5 {
508
506
  font-size: 1.5em;
509
507
  }
510
- .fontsize-ensurer.reset-size2.size6 {
511
- font-size: 1.66666667em;
508
+ .fontsize-ensurer.reset-size2.size5 {
509
+ font-size: 1.5em;
512
510
  }
513
511
  .sizing.reset-size2.size6 {
514
- font-size: 1.66666667em;
512
+ font-size: 1.6666666667em;
515
513
  }
516
- .fontsize-ensurer.reset-size2.size7 {
517
- font-size: 2em;
514
+ .fontsize-ensurer.reset-size2.size6 {
515
+ font-size: 1.6666666667em;
518
516
  }
519
517
  .sizing.reset-size2.size7 {
520
518
  font-size: 2em;
521
519
  }
522
- .fontsize-ensurer.reset-size2.size8 {
523
- font-size: 2.4em;
520
+ .fontsize-ensurer.reset-size2.size7 {
521
+ font-size: 2em;
524
522
  }
525
523
  .sizing.reset-size2.size8 {
526
524
  font-size: 2.4em;
527
525
  }
528
- .fontsize-ensurer.reset-size2.size9 {
529
- font-size: 2.88em;
526
+ .fontsize-ensurer.reset-size2.size8 {
527
+ font-size: 2.4em;
530
528
  }
531
529
  .sizing.reset-size2.size9 {
532
530
  font-size: 2.88em;
533
531
  }
534
- .fontsize-ensurer.reset-size2.size10 {
535
- font-size: 3.45666667em;
532
+ .fontsize-ensurer.reset-size2.size9 {
533
+ font-size: 2.88em;
536
534
  }
537
535
  .sizing.reset-size2.size10 {
538
- font-size: 3.45666667em;
536
+ font-size: 3.4566666667em;
539
537
  }
540
- .fontsize-ensurer.reset-size2.size11 {
541
- font-size: 4.14666667em;
538
+ .fontsize-ensurer.reset-size2.size10 {
539
+ font-size: 3.4566666667em;
542
540
  }
543
541
  .sizing.reset-size2.size11 {
544
- font-size: 4.14666667em;
542
+ font-size: 4.1466666667em;
545
543
  }
546
- .fontsize-ensurer.reset-size3.size1 {
547
- font-size: .71428571em;
544
+ .fontsize-ensurer.reset-size2.size11 {
545
+ font-size: 4.1466666667em;
548
546
  }
549
547
  .sizing.reset-size3.size1 {
550
- font-size: .71428571em;
548
+ font-size: 0.7142857143em;
551
549
  }
552
- .fontsize-ensurer.reset-size3.size2 {
553
- font-size: .85714286em;
550
+ .fontsize-ensurer.reset-size3.size1 {
551
+ font-size: 0.7142857143em;
554
552
  }
555
553
  .sizing.reset-size3.size2 {
556
- font-size: .85714286em;
554
+ font-size: 0.8571428571em;
557
555
  }
558
- .fontsize-ensurer.reset-size3.size3 {
559
- font-size: 1em;
556
+ .fontsize-ensurer.reset-size3.size2 {
557
+ font-size: 0.8571428571em;
560
558
  }
561
559
  .sizing.reset-size3.size3 {
562
560
  font-size: 1em;
563
561
  }
564
- .fontsize-ensurer.reset-size3.size4 {
565
- font-size: 1.14285714em;
562
+ .fontsize-ensurer.reset-size3.size3 {
563
+ font-size: 1em;
566
564
  }
567
565
  .sizing.reset-size3.size4 {
568
- font-size: 1.14285714em;
566
+ font-size: 1.1428571429em;
569
567
  }
570
- .fontsize-ensurer.reset-size3.size5 {
571
- font-size: 1.28571429em;
568
+ .fontsize-ensurer.reset-size3.size4 {
569
+ font-size: 1.1428571429em;
572
570
  }
573
571
  .sizing.reset-size3.size5 {
574
- font-size: 1.28571429em;
572
+ font-size: 1.2857142857em;
575
573
  }
576
- .fontsize-ensurer.reset-size3.size6 {
577
- font-size: 1.42857143em;
574
+ .fontsize-ensurer.reset-size3.size5 {
575
+ font-size: 1.2857142857em;
578
576
  }
579
577
  .sizing.reset-size3.size6 {
580
- font-size: 1.42857143em;
578
+ font-size: 1.4285714286em;
581
579
  }
582
- .fontsize-ensurer.reset-size3.size7 {
583
- font-size: 1.71428571em;
580
+ .fontsize-ensurer.reset-size3.size6 {
581
+ font-size: 1.4285714286em;
584
582
  }
585
583
  .sizing.reset-size3.size7 {
586
- font-size: 1.71428571em;
584
+ font-size: 1.7142857143em;
587
585
  }
588
- .fontsize-ensurer.reset-size3.size8 {
589
- font-size: 2.05714286em;
586
+ .fontsize-ensurer.reset-size3.size7 {
587
+ font-size: 1.7142857143em;
590
588
  }
591
589
  .sizing.reset-size3.size8 {
592
- font-size: 2.05714286em;
590
+ font-size: 2.0571428571em;
593
591
  }
594
- .fontsize-ensurer.reset-size3.size9 {
595
- font-size: 2.46857143em;
592
+ .fontsize-ensurer.reset-size3.size8 {
593
+ font-size: 2.0571428571em;
596
594
  }
597
595
  .sizing.reset-size3.size9 {
598
- font-size: 2.46857143em;
596
+ font-size: 2.4685714286em;
599
597
  }
600
- .fontsize-ensurer.reset-size3.size10 {
601
- font-size: 2.96285714em;
598
+ .fontsize-ensurer.reset-size3.size9 {
599
+ font-size: 2.4685714286em;
602
600
  }
603
601
  .sizing.reset-size3.size10 {
604
- font-size: 2.96285714em;
602
+ font-size: 2.9628571429em;
605
603
  }
606
- .fontsize-ensurer.reset-size3.size11 {
607
- font-size: 3.55428571em;
604
+ .fontsize-ensurer.reset-size3.size10 {
605
+ font-size: 2.9628571429em;
608
606
  }
609
607
  .sizing.reset-size3.size11 {
610
- font-size: 3.55428571em;
608
+ font-size: 3.5542857143em;
611
609
  }
612
- .fontsize-ensurer.reset-size4.size1 {
613
- font-size: .625em;
610
+ .fontsize-ensurer.reset-size3.size11 {
611
+ font-size: 3.5542857143em;
614
612
  }
615
613
  .sizing.reset-size4.size1 {
616
- font-size: .625em;
614
+ font-size: 0.625em;
617
615
  }
618
- .fontsize-ensurer.reset-size4.size2 {
619
- font-size: .75em;
616
+ .fontsize-ensurer.reset-size4.size1 {
617
+ font-size: 0.625em;
620
618
  }
621
619
  .sizing.reset-size4.size2 {
622
- font-size: .75em;
620
+ font-size: 0.75em;
623
621
  }
624
- .fontsize-ensurer.reset-size4.size3 {
625
- font-size: .875em;
622
+ .fontsize-ensurer.reset-size4.size2 {
623
+ font-size: 0.75em;
626
624
  }
627
625
  .sizing.reset-size4.size3 {
628
- font-size: .875em;
626
+ font-size: 0.875em;
629
627
  }
630
- .fontsize-ensurer.reset-size4.size4 {
631
- font-size: 1em;
628
+ .fontsize-ensurer.reset-size4.size3 {
629
+ font-size: 0.875em;
632
630
  }
633
631
  .sizing.reset-size4.size4 {
634
632
  font-size: 1em;
635
633
  }
636
- .fontsize-ensurer.reset-size4.size5 {
637
- font-size: 1.125em;
634
+ .fontsize-ensurer.reset-size4.size4 {
635
+ font-size: 1em;
638
636
  }
639
637
  .sizing.reset-size4.size5 {
640
638
  font-size: 1.125em;
641
639
  }
642
- .fontsize-ensurer.reset-size4.size6 {
643
- font-size: 1.25em;
640
+ .fontsize-ensurer.reset-size4.size5 {
641
+ font-size: 1.125em;
644
642
  }
645
643
  .sizing.reset-size4.size6 {
646
644
  font-size: 1.25em;
647
645
  }
648
- .fontsize-ensurer.reset-size4.size7 {
649
- font-size: 1.5em;
646
+ .fontsize-ensurer.reset-size4.size6 {
647
+ font-size: 1.25em;
650
648
  }
651
649
  .sizing.reset-size4.size7 {
652
650
  font-size: 1.5em;
653
651
  }
654
- .fontsize-ensurer.reset-size4.size8 {
655
- font-size: 1.8em;
652
+ .fontsize-ensurer.reset-size4.size7 {
653
+ font-size: 1.5em;
656
654
  }
657
655
  .sizing.reset-size4.size8 {
658
656
  font-size: 1.8em;
659
657
  }
660
- .fontsize-ensurer.reset-size4.size9 {
661
- font-size: 2.16em;
658
+ .fontsize-ensurer.reset-size4.size8 {
659
+ font-size: 1.8em;
662
660
  }
663
661
  .sizing.reset-size4.size9 {
664
662
  font-size: 2.16em;
665
663
  }
666
- .fontsize-ensurer.reset-size4.size10 {
667
- font-size: 2.5925em;
664
+ .fontsize-ensurer.reset-size4.size9 {
665
+ font-size: 2.16em;
668
666
  }
669
667
  .sizing.reset-size4.size10 {
670
668
  font-size: 2.5925em;
671
669
  }
672
- .fontsize-ensurer.reset-size4.size11 {
673
- font-size: 3.11em;
670
+ .fontsize-ensurer.reset-size4.size10 {
671
+ font-size: 2.5925em;
674
672
  }
675
673
  .sizing.reset-size4.size11 {
676
674
  font-size: 3.11em;
677
675
  }
678
- .fontsize-ensurer.reset-size5.size1 {
679
- font-size: .55555556em;
676
+ .fontsize-ensurer.reset-size4.size11 {
677
+ font-size: 3.11em;
680
678
  }
681
679
  .sizing.reset-size5.size1 {
682
- font-size: .55555556em;
680
+ font-size: 0.5555555556em;
683
681
  }
684
- .fontsize-ensurer.reset-size5.size2 {
685
- font-size: .66666667em;
682
+ .fontsize-ensurer.reset-size5.size1 {
683
+ font-size: 0.5555555556em;
686
684
  }
687
685
  .sizing.reset-size5.size2 {
688
- font-size: .66666667em;
686
+ font-size: 0.6666666667em;
689
687
  }
690
- .fontsize-ensurer.reset-size5.size3 {
691
- font-size: .77777778em;
688
+ .fontsize-ensurer.reset-size5.size2 {
689
+ font-size: 0.6666666667em;
692
690
  }
693
691
  .sizing.reset-size5.size3 {
694
- font-size: .77777778em;
692
+ font-size: 0.7777777778em;
695
693
  }
696
- .fontsize-ensurer.reset-size5.size4 {
697
- font-size: .88888889em;
694
+ .fontsize-ensurer.reset-size5.size3 {
695
+ font-size: 0.7777777778em;
698
696
  }
699
697
  .sizing.reset-size5.size4 {
700
- font-size: .88888889em;
698
+ font-size: 0.8888888889em;
701
699
  }
702
- .fontsize-ensurer.reset-size5.size5 {
703
- font-size: 1em;
700
+ .fontsize-ensurer.reset-size5.size4 {
701
+ font-size: 0.8888888889em;
704
702
  }
705
703
  .sizing.reset-size5.size5 {
706
704
  font-size: 1em;
707
705
  }
708
- .fontsize-ensurer.reset-size5.size6 {
709
- font-size: 1.11111111em;
706
+ .fontsize-ensurer.reset-size5.size5 {
707
+ font-size: 1em;
710
708
  }
711
709
  .sizing.reset-size5.size6 {
712
- font-size: 1.11111111em;
710
+ font-size: 1.1111111111em;
713
711
  }
714
- .fontsize-ensurer.reset-size5.size7 {
715
- font-size: 1.33333333em;
712
+ .fontsize-ensurer.reset-size5.size6 {
713
+ font-size: 1.1111111111em;
716
714
  }
717
715
  .sizing.reset-size5.size7 {
718
- font-size: 1.33333333em;
716
+ font-size: 1.3333333333em;
719
717
  }
720
- .fontsize-ensurer.reset-size5.size8 {
721
- font-size: 1.6em;
718
+ .fontsize-ensurer.reset-size5.size7 {
719
+ font-size: 1.3333333333em;
722
720
  }
723
721
  .sizing.reset-size5.size8 {
724
722
  font-size: 1.6em;
725
723
  }
726
- .fontsize-ensurer.reset-size5.size9 {
727
- font-size: 1.92em;
724
+ .fontsize-ensurer.reset-size5.size8 {
725
+ font-size: 1.6em;
728
726
  }
729
727
  .sizing.reset-size5.size9 {
730
728
  font-size: 1.92em;
731
729
  }
732
- .fontsize-ensurer.reset-size5.size10 {
733
- font-size: 2.30444444em;
730
+ .fontsize-ensurer.reset-size5.size9 {
731
+ font-size: 1.92em;
734
732
  }
735
733
  .sizing.reset-size5.size10 {
736
- font-size: 2.30444444em;
734
+ font-size: 2.3044444444em;
737
735
  }
738
- .fontsize-ensurer.reset-size5.size11 {
739
- font-size: 2.76444444em;
736
+ .fontsize-ensurer.reset-size5.size10 {
737
+ font-size: 2.3044444444em;
740
738
  }
741
739
  .sizing.reset-size5.size11 {
742
- font-size: 2.76444444em;
740
+ font-size: 2.7644444444em;
743
741
  }
744
- .fontsize-ensurer.reset-size6.size1 {
745
- font-size: .5em;
742
+ .fontsize-ensurer.reset-size5.size11 {
743
+ font-size: 2.7644444444em;
746
744
  }
747
745
  .sizing.reset-size6.size1 {
748
- font-size: .5em;
746
+ font-size: 0.5em;
749
747
  }
750
- .fontsize-ensurer.reset-size6.size2 {
751
- font-size: .6em;
748
+ .fontsize-ensurer.reset-size6.size1 {
749
+ font-size: 0.5em;
752
750
  }
753
751
  .sizing.reset-size6.size2 {
754
- font-size: .6em;
752
+ font-size: 0.6em;
755
753
  }
756
- .fontsize-ensurer.reset-size6.size3 {
757
- font-size: .7em;
754
+ .fontsize-ensurer.reset-size6.size2 {
755
+ font-size: 0.6em;
758
756
  }
759
757
  .sizing.reset-size6.size3 {
760
- font-size: .7em;
758
+ font-size: 0.7em;
761
759
  }
762
- .fontsize-ensurer.reset-size6.size4 {
763
- font-size: .8em;
760
+ .fontsize-ensurer.reset-size6.size3 {
761
+ font-size: 0.7em;
764
762
  }
765
763
  .sizing.reset-size6.size4 {
766
- font-size: .8em;
764
+ font-size: 0.8em;
767
765
  }
768
- .fontsize-ensurer.reset-size6.size5 {
769
- font-size: .9em;
766
+ .fontsize-ensurer.reset-size6.size4 {
767
+ font-size: 0.8em;
770
768
  }
771
769
  .sizing.reset-size6.size5 {
772
- font-size: .9em;
770
+ font-size: 0.9em;
773
771
  }
774
- .fontsize-ensurer.reset-size6.size6 {
775
- font-size: 1em;
772
+ .fontsize-ensurer.reset-size6.size5 {
773
+ font-size: 0.9em;
776
774
  }
777
775
  .sizing.reset-size6.size6 {
778
776
  font-size: 1em;
779
777
  }
780
- .fontsize-ensurer.reset-size6.size7 {
781
- font-size: 1.2em;
778
+ .fontsize-ensurer.reset-size6.size6 {
779
+ font-size: 1em;
782
780
  }
783
781
  .sizing.reset-size6.size7 {
784
782
  font-size: 1.2em;
785
783
  }
786
- .fontsize-ensurer.reset-size6.size8 {
787
- font-size: 1.44em;
784
+ .fontsize-ensurer.reset-size6.size7 {
785
+ font-size: 1.2em;
788
786
  }
789
787
  .sizing.reset-size6.size8 {
790
788
  font-size: 1.44em;
791
789
  }
792
- .fontsize-ensurer.reset-size6.size9 {
793
- font-size: 1.728em;
790
+ .fontsize-ensurer.reset-size6.size8 {
791
+ font-size: 1.44em;
794
792
  }
795
793
  .sizing.reset-size6.size9 {
796
794
  font-size: 1.728em;
797
795
  }
798
- .fontsize-ensurer.reset-size6.size10 {
799
- font-size: 2.074em;
796
+ .fontsize-ensurer.reset-size6.size9 {
797
+ font-size: 1.728em;
800
798
  }
801
799
  .sizing.reset-size6.size10 {
802
800
  font-size: 2.074em;
803
801
  }
804
- .fontsize-ensurer.reset-size6.size11 {
805
- font-size: 2.488em;
802
+ .fontsize-ensurer.reset-size6.size10 {
803
+ font-size: 2.074em;
806
804
  }
807
805
  .sizing.reset-size6.size11 {
808
806
  font-size: 2.488em;
809
807
  }
810
- .fontsize-ensurer.reset-size7.size1 {
811
- font-size: .41666667em;
808
+ .fontsize-ensurer.reset-size6.size11 {
809
+ font-size: 2.488em;
812
810
  }
813
811
  .sizing.reset-size7.size1 {
814
- font-size: .41666667em;
812
+ font-size: 0.4166666667em;
815
813
  }
816
- .fontsize-ensurer.reset-size7.size2 {
817
- font-size: .5em;
814
+ .fontsize-ensurer.reset-size7.size1 {
815
+ font-size: 0.4166666667em;
818
816
  }
819
817
  .sizing.reset-size7.size2 {
820
- font-size: .5em;
818
+ font-size: 0.5em;
821
819
  }
822
- .fontsize-ensurer.reset-size7.size3 {
823
- font-size: .58333333em;
820
+ .fontsize-ensurer.reset-size7.size2 {
821
+ font-size: 0.5em;
824
822
  }
825
823
  .sizing.reset-size7.size3 {
826
- font-size: .58333333em;
824
+ font-size: 0.5833333333em;
827
825
  }
828
- .fontsize-ensurer.reset-size7.size4 {
829
- font-size: .66666667em;
826
+ .fontsize-ensurer.reset-size7.size3 {
827
+ font-size: 0.5833333333em;
830
828
  }
831
829
  .sizing.reset-size7.size4 {
832
- font-size: .66666667em;
830
+ font-size: 0.6666666667em;
833
831
  }
834
- .fontsize-ensurer.reset-size7.size5 {
835
- font-size: .75em;
832
+ .fontsize-ensurer.reset-size7.size4 {
833
+ font-size: 0.6666666667em;
836
834
  }
837
835
  .sizing.reset-size7.size5 {
838
- font-size: .75em;
836
+ font-size: 0.75em;
839
837
  }
840
- .fontsize-ensurer.reset-size7.size6 {
841
- font-size: .83333333em;
838
+ .fontsize-ensurer.reset-size7.size5 {
839
+ font-size: 0.75em;
842
840
  }
843
841
  .sizing.reset-size7.size6 {
844
- font-size: .83333333em;
842
+ font-size: 0.8333333333em;
845
843
  }
846
- .fontsize-ensurer.reset-size7.size7 {
847
- font-size: 1em;
844
+ .fontsize-ensurer.reset-size7.size6 {
845
+ font-size: 0.8333333333em;
848
846
  }
849
847
  .sizing.reset-size7.size7 {
850
848
  font-size: 1em;
851
849
  }
852
- .fontsize-ensurer.reset-size7.size8 {
853
- font-size: 1.2em;
850
+ .fontsize-ensurer.reset-size7.size7 {
851
+ font-size: 1em;
854
852
  }
855
853
  .sizing.reset-size7.size8 {
856
854
  font-size: 1.2em;
857
855
  }
858
- .fontsize-ensurer.reset-size7.size9 {
859
- font-size: 1.44em;
856
+ .fontsize-ensurer.reset-size7.size8 {
857
+ font-size: 1.2em;
860
858
  }
861
859
  .sizing.reset-size7.size9 {
862
860
  font-size: 1.44em;
863
861
  }
864
- .fontsize-ensurer.reset-size7.size10 {
865
- font-size: 1.72833333em;
862
+ .fontsize-ensurer.reset-size7.size9 {
863
+ font-size: 1.44em;
866
864
  }
867
865
  .sizing.reset-size7.size10 {
868
- font-size: 1.72833333em;
866
+ font-size: 1.7283333333em;
869
867
  }
870
- .fontsize-ensurer.reset-size7.size11 {
871
- font-size: 2.07333333em;
868
+ .fontsize-ensurer.reset-size7.size10 {
869
+ font-size: 1.7283333333em;
872
870
  }
873
871
  .sizing.reset-size7.size11 {
874
- font-size: 2.07333333em;
872
+ font-size: 2.0733333333em;
875
873
  }
876
- .fontsize-ensurer.reset-size8.size1 {
877
- font-size: .34722222em;
874
+ .fontsize-ensurer.reset-size7.size11 {
875
+ font-size: 2.0733333333em;
878
876
  }
879
877
  .sizing.reset-size8.size1 {
880
- font-size: .34722222em;
878
+ font-size: 0.3472222222em;
881
879
  }
882
- .fontsize-ensurer.reset-size8.size2 {
883
- font-size: .41666667em;
880
+ .fontsize-ensurer.reset-size8.size1 {
881
+ font-size: 0.3472222222em;
884
882
  }
885
883
  .sizing.reset-size8.size2 {
886
- font-size: .41666667em;
884
+ font-size: 0.4166666667em;
887
885
  }
888
- .fontsize-ensurer.reset-size8.size3 {
889
- font-size: .48611111em;
886
+ .fontsize-ensurer.reset-size8.size2 {
887
+ font-size: 0.4166666667em;
890
888
  }
891
889
  .sizing.reset-size8.size3 {
892
- font-size: .48611111em;
890
+ font-size: 0.4861111111em;
893
891
  }
894
- .fontsize-ensurer.reset-size8.size4 {
895
- font-size: .55555556em;
892
+ .fontsize-ensurer.reset-size8.size3 {
893
+ font-size: 0.4861111111em;
896
894
  }
897
895
  .sizing.reset-size8.size4 {
898
- font-size: .55555556em;
896
+ font-size: 0.5555555556em;
899
897
  }
900
- .fontsize-ensurer.reset-size8.size5 {
901
- font-size: .625em;
898
+ .fontsize-ensurer.reset-size8.size4 {
899
+ font-size: 0.5555555556em;
902
900
  }
903
901
  .sizing.reset-size8.size5 {
904
- font-size: .625em;
902
+ font-size: 0.625em;
905
903
  }
906
- .fontsize-ensurer.reset-size8.size6 {
907
- font-size: .69444444em;
904
+ .fontsize-ensurer.reset-size8.size5 {
905
+ font-size: 0.625em;
908
906
  }
909
907
  .sizing.reset-size8.size6 {
910
- font-size: .69444444em;
908
+ font-size: 0.6944444444em;
911
909
  }
912
- .fontsize-ensurer.reset-size8.size7 {
913
- font-size: .83333333em;
910
+ .fontsize-ensurer.reset-size8.size6 {
911
+ font-size: 0.6944444444em;
914
912
  }
915
913
  .sizing.reset-size8.size7 {
916
- font-size: .83333333em;
914
+ font-size: 0.8333333333em;
917
915
  }
918
- .fontsize-ensurer.reset-size8.size8 {
919
- font-size: 1em;
916
+ .fontsize-ensurer.reset-size8.size7 {
917
+ font-size: 0.8333333333em;
920
918
  }
921
919
  .sizing.reset-size8.size8 {
922
920
  font-size: 1em;
923
921
  }
924
- .fontsize-ensurer.reset-size8.size9 {
925
- font-size: 1.2em;
922
+ .fontsize-ensurer.reset-size8.size8 {
923
+ font-size: 1em;
926
924
  }
927
925
  .sizing.reset-size8.size9 {
928
926
  font-size: 1.2em;
929
927
  }
930
- .fontsize-ensurer.reset-size8.size10 {
931
- font-size: 1.44027778em;
928
+ .fontsize-ensurer.reset-size8.size9 {
929
+ font-size: 1.2em;
932
930
  }
933
931
  .sizing.reset-size8.size10 {
934
- font-size: 1.44027778em;
932
+ font-size: 1.4402777778em;
935
933
  }
936
- .fontsize-ensurer.reset-size8.size11 {
937
- font-size: 1.72777778em;
934
+ .fontsize-ensurer.reset-size8.size10 {
935
+ font-size: 1.4402777778em;
938
936
  }
939
937
  .sizing.reset-size8.size11 {
940
- font-size: 1.72777778em;
938
+ font-size: 1.7277777778em;
941
939
  }
942
- .fontsize-ensurer.reset-size9.size1 {
943
- font-size: .28935185em;
940
+ .fontsize-ensurer.reset-size8.size11 {
941
+ font-size: 1.7277777778em;
944
942
  }
945
943
  .sizing.reset-size9.size1 {
946
- font-size: .28935185em;
944
+ font-size: 0.2893518519em;
947
945
  }
948
- .fontsize-ensurer.reset-size9.size2 {
949
- font-size: .34722222em;
946
+ .fontsize-ensurer.reset-size9.size1 {
947
+ font-size: 0.2893518519em;
950
948
  }
951
949
  .sizing.reset-size9.size2 {
952
- font-size: .34722222em;
950
+ font-size: 0.3472222222em;
953
951
  }
954
- .fontsize-ensurer.reset-size9.size3 {
955
- font-size: .40509259em;
952
+ .fontsize-ensurer.reset-size9.size2 {
953
+ font-size: 0.3472222222em;
956
954
  }
957
955
  .sizing.reset-size9.size3 {
958
- font-size: .40509259em;
956
+ font-size: 0.4050925926em;
959
957
  }
960
- .fontsize-ensurer.reset-size9.size4 {
961
- font-size: .46296296em;
958
+ .fontsize-ensurer.reset-size9.size3 {
959
+ font-size: 0.4050925926em;
962
960
  }
963
961
  .sizing.reset-size9.size4 {
964
- font-size: .46296296em;
962
+ font-size: 0.462962963em;
965
963
  }
966
- .fontsize-ensurer.reset-size9.size5 {
967
- font-size: .52083333em;
964
+ .fontsize-ensurer.reset-size9.size4 {
965
+ font-size: 0.462962963em;
968
966
  }
969
967
  .sizing.reset-size9.size5 {
970
- font-size: .52083333em;
968
+ font-size: 0.5208333333em;
971
969
  }
972
- .fontsize-ensurer.reset-size9.size6 {
973
- font-size: .5787037em;
970
+ .fontsize-ensurer.reset-size9.size5 {
971
+ font-size: 0.5208333333em;
974
972
  }
975
973
  .sizing.reset-size9.size6 {
976
- font-size: .5787037em;
974
+ font-size: 0.5787037037em;
977
975
  }
978
- .fontsize-ensurer.reset-size9.size7 {
979
- font-size: .69444444em;
976
+ .fontsize-ensurer.reset-size9.size6 {
977
+ font-size: 0.5787037037em;
980
978
  }
981
979
  .sizing.reset-size9.size7 {
982
- font-size: .69444444em;
980
+ font-size: 0.6944444444em;
983
981
  }
984
- .fontsize-ensurer.reset-size9.size8 {
985
- font-size: .83333333em;
982
+ .fontsize-ensurer.reset-size9.size7 {
983
+ font-size: 0.6944444444em;
986
984
  }
987
985
  .sizing.reset-size9.size8 {
988
- font-size: .83333333em;
986
+ font-size: 0.8333333333em;
989
987
  }
990
- .fontsize-ensurer.reset-size9.size9 {
991
- font-size: 1em;
988
+ .fontsize-ensurer.reset-size9.size8 {
989
+ font-size: 0.8333333333em;
992
990
  }
993
991
  .sizing.reset-size9.size9 {
994
992
  font-size: 1em;
995
993
  }
996
- .fontsize-ensurer.reset-size9.size10 {
997
- font-size: 1.20023148em;
994
+ .fontsize-ensurer.reset-size9.size9 {
995
+ font-size: 1em;
998
996
  }
999
997
  .sizing.reset-size9.size10 {
1000
- font-size: 1.20023148em;
998
+ font-size: 1.2002314815em;
1001
999
  }
1002
- .fontsize-ensurer.reset-size9.size11 {
1003
- font-size: 1.43981481em;
1000
+ .fontsize-ensurer.reset-size9.size10 {
1001
+ font-size: 1.2002314815em;
1004
1002
  }
1005
1003
  .sizing.reset-size9.size11 {
1006
- font-size: 1.43981481em;
1004
+ font-size: 1.4398148148em;
1007
1005
  }
1008
- .fontsize-ensurer.reset-size10.size1 {
1009
- font-size: .24108004em;
1006
+ .fontsize-ensurer.reset-size9.size11 {
1007
+ font-size: 1.4398148148em;
1010
1008
  }
1011
1009
  .sizing.reset-size10.size1 {
1012
- font-size: .24108004em;
1010
+ font-size: 0.2410800386em;
1013
1011
  }
1014
- .fontsize-ensurer.reset-size10.size2 {
1015
- font-size: .28929605em;
1012
+ .fontsize-ensurer.reset-size10.size1 {
1013
+ font-size: 0.2410800386em;
1016
1014
  }
1017
1015
  .sizing.reset-size10.size2 {
1018
- font-size: .28929605em;
1016
+ font-size: 0.2892960463em;
1019
1017
  }
1020
- .fontsize-ensurer.reset-size10.size3 {
1021
- font-size: .33751205em;
1018
+ .fontsize-ensurer.reset-size10.size2 {
1019
+ font-size: 0.2892960463em;
1022
1020
  }
1023
1021
  .sizing.reset-size10.size3 {
1024
- font-size: .33751205em;
1022
+ font-size: 0.337512054em;
1025
1023
  }
1026
- .fontsize-ensurer.reset-size10.size4 {
1027
- font-size: .38572806em;
1024
+ .fontsize-ensurer.reset-size10.size3 {
1025
+ font-size: 0.337512054em;
1028
1026
  }
1029
1027
  .sizing.reset-size10.size4 {
1030
- font-size: .38572806em;
1028
+ font-size: 0.3857280617em;
1031
1029
  }
1032
- .fontsize-ensurer.reset-size10.size5 {
1033
- font-size: .43394407em;
1030
+ .fontsize-ensurer.reset-size10.size4 {
1031
+ font-size: 0.3857280617em;
1034
1032
  }
1035
1033
  .sizing.reset-size10.size5 {
1036
- font-size: .43394407em;
1034
+ font-size: 0.4339440694em;
1037
1035
  }
1038
- .fontsize-ensurer.reset-size10.size6 {
1039
- font-size: .48216008em;
1036
+ .fontsize-ensurer.reset-size10.size5 {
1037
+ font-size: 0.4339440694em;
1040
1038
  }
1041
1039
  .sizing.reset-size10.size6 {
1042
- font-size: .48216008em;
1040
+ font-size: 0.4821600771em;
1043
1041
  }
1044
- .fontsize-ensurer.reset-size10.size7 {
1045
- font-size: .57859209em;
1042
+ .fontsize-ensurer.reset-size10.size6 {
1043
+ font-size: 0.4821600771em;
1046
1044
  }
1047
1045
  .sizing.reset-size10.size7 {
1048
- font-size: .57859209em;
1046
+ font-size: 0.5785920926em;
1049
1047
  }
1050
- .fontsize-ensurer.reset-size10.size8 {
1051
- font-size: .69431051em;
1048
+ .fontsize-ensurer.reset-size10.size7 {
1049
+ font-size: 0.5785920926em;
1052
1050
  }
1053
1051
  .sizing.reset-size10.size8 {
1054
- font-size: .69431051em;
1052
+ font-size: 0.6943105111em;
1055
1053
  }
1056
- .fontsize-ensurer.reset-size10.size9 {
1057
- font-size: .83317261em;
1054
+ .fontsize-ensurer.reset-size10.size8 {
1055
+ font-size: 0.6943105111em;
1058
1056
  }
1059
1057
  .sizing.reset-size10.size9 {
1060
- font-size: .83317261em;
1058
+ font-size: 0.8331726133em;
1061
1059
  }
1062
- .fontsize-ensurer.reset-size10.size10 {
1063
- font-size: 1em;
1060
+ .fontsize-ensurer.reset-size10.size9 {
1061
+ font-size: 0.8331726133em;
1064
1062
  }
1065
1063
  .sizing.reset-size10.size10 {
1066
1064
  font-size: 1em;
1067
1065
  }
1068
- .fontsize-ensurer.reset-size10.size11 {
1069
- font-size: 1.19961427em;
1066
+ .fontsize-ensurer.reset-size10.size10 {
1067
+ font-size: 1em;
1070
1068
  }
1071
1069
  .sizing.reset-size10.size11 {
1072
- font-size: 1.19961427em;
1070
+ font-size: 1.1996142719em;
1073
1071
  }
1074
- .fontsize-ensurer.reset-size11.size1 {
1075
- font-size: .20096463em;
1072
+ .fontsize-ensurer.reset-size10.size11 {
1073
+ font-size: 1.1996142719em;
1076
1074
  }
1077
1075
  .sizing.reset-size11.size1 {
1078
- font-size: .20096463em;
1076
+ font-size: 0.2009646302em;
1079
1077
  }
1080
- .fontsize-ensurer.reset-size11.size2 {
1081
- font-size: .24115756em;
1078
+ .fontsize-ensurer.reset-size11.size1 {
1079
+ font-size: 0.2009646302em;
1082
1080
  }
1083
1081
  .sizing.reset-size11.size2 {
1084
- font-size: .24115756em;
1082
+ font-size: 0.2411575563em;
1085
1083
  }
1086
- .fontsize-ensurer.reset-size11.size3 {
1087
- font-size: .28135048em;
1084
+ .fontsize-ensurer.reset-size11.size2 {
1085
+ font-size: 0.2411575563em;
1088
1086
  }
1089
1087
  .sizing.reset-size11.size3 {
1090
- font-size: .28135048em;
1088
+ font-size: 0.2813504823em;
1091
1089
  }
1092
- .fontsize-ensurer.reset-size11.size4 {
1093
- font-size: .32154341em;
1090
+ .fontsize-ensurer.reset-size11.size3 {
1091
+ font-size: 0.2813504823em;
1094
1092
  }
1095
1093
  .sizing.reset-size11.size4 {
1096
- font-size: .32154341em;
1094
+ font-size: 0.3215434084em;
1097
1095
  }
1098
- .fontsize-ensurer.reset-size11.size5 {
1099
- font-size: .36173633em;
1096
+ .fontsize-ensurer.reset-size11.size4 {
1097
+ font-size: 0.3215434084em;
1100
1098
  }
1101
1099
  .sizing.reset-size11.size5 {
1102
- font-size: .36173633em;
1100
+ font-size: 0.3617363344em;
1103
1101
  }
1104
- .fontsize-ensurer.reset-size11.size6 {
1105
- font-size: .40192926em;
1102
+ .fontsize-ensurer.reset-size11.size5 {
1103
+ font-size: 0.3617363344em;
1106
1104
  }
1107
1105
  .sizing.reset-size11.size6 {
1108
- font-size: .40192926em;
1106
+ font-size: 0.4019292605em;
1109
1107
  }
1110
- .fontsize-ensurer.reset-size11.size7 {
1111
- font-size: .48231511em;
1108
+ .fontsize-ensurer.reset-size11.size6 {
1109
+ font-size: 0.4019292605em;
1112
1110
  }
1113
1111
  .sizing.reset-size11.size7 {
1114
- font-size: .48231511em;
1112
+ font-size: 0.4823151125em;
1115
1113
  }
1116
- .fontsize-ensurer.reset-size11.size8 {
1117
- font-size: .57877814em;
1114
+ .fontsize-ensurer.reset-size11.size7 {
1115
+ font-size: 0.4823151125em;
1118
1116
  }
1119
1117
  .sizing.reset-size11.size8 {
1120
- font-size: .57877814em;
1118
+ font-size: 0.578778135em;
1121
1119
  }
1122
- .fontsize-ensurer.reset-size11.size9 {
1123
- font-size: .69453376em;
1120
+ .fontsize-ensurer.reset-size11.size8 {
1121
+ font-size: 0.578778135em;
1124
1122
  }
1125
1123
  .sizing.reset-size11.size9 {
1126
- font-size: .69453376em;
1124
+ font-size: 0.6945337621em;
1127
1125
  }
1128
- .fontsize-ensurer.reset-size11.size10 {
1129
- font-size: .83360129em;
1126
+ .fontsize-ensurer.reset-size11.size9 {
1127
+ font-size: 0.6945337621em;
1130
1128
  }
1131
1129
  .sizing.reset-size11.size10 {
1132
- font-size: .83360129em;
1130
+ font-size: 0.8336012862em;
1133
1131
  }
1134
- .fontsize-ensurer.reset-size11.size11 {
1135
- font-size: 1em;
1132
+ .fontsize-ensurer.reset-size11.size10 {
1133
+ font-size: 0.8336012862em;
1136
1134
  }
1137
1135
  .sizing.reset-size11.size11 {
1138
1136
  font-size: 1em;
1139
1137
  }
1138
+ .fontsize-ensurer.reset-size11.size11 {
1139
+ font-size: 1em;
1140
+ }
1140
1141
  .delimsizing.size1 {
1141
1142
  font-family: $font-family_9;
1142
1143
  }
@@ -1163,7 +1164,7 @@ $border-color_1: currentColor;
1163
1164
  }
1164
1165
  .nulldelimiter {
1165
1166
  display: inline-block;
1166
- width: .12em;
1167
+ width: 0.12em;
1167
1168
  }
1168
1169
  .delimcenter {
1169
1170
  position: relative;
@@ -1177,6 +1178,11 @@ $border-color_1: currentColor;
1177
1178
  .op-symbol.large-op {
1178
1179
  font-family: $font-family_10;
1179
1180
  }
1181
+ .op-limits {
1182
+ >.vlist-t {
1183
+ text-align: center;
1184
+ }
1185
+ }
1180
1186
  .accent {
1181
1187
  >.vlist-t {
1182
1188
  text-align: center;
@@ -1188,11 +1194,6 @@ $border-color_1: currentColor;
1188
1194
  }
1189
1195
  }
1190
1196
  }
1191
- .op-limits {
1192
- >.vlist-t {
1193
- text-align: center;
1194
- }
1195
- }
1196
1197
  .overlay {
1197
1198
  display: block;
1198
1199
  }
@@ -1224,6 +1225,10 @@ $border-color_1: currentColor;
1224
1225
  text-align: left;
1225
1226
  }
1226
1227
  svg {
1228
+ display: block;
1229
+ position: absolute;
1230
+ width: 100%;
1231
+ height: inherit;
1227
1232
  fill: currentColor;
1228
1233
  stroke: currentColor;
1229
1234
  fill-rule: nonzero;
@@ -1235,124 +1240,120 @@ $border-color_1: currentColor;
1235
1240
  stroke-dasharray: none;
1236
1241
  stroke-dashoffset: 0;
1237
1242
  stroke-opacity: 1;
1238
- display: block;
1239
- height: inherit;
1240
- position: absolute;
1241
- width: 100%;
1242
1243
  path {
1243
1244
  stroke: none;
1244
1245
  }
1245
1246
  }
1246
1247
  img {
1247
1248
  border-style: none;
1248
- max-height: none;
1249
- max-width: none;
1250
- min-height: 0;
1251
1249
  min-width: 0;
1250
+ min-height: 0;
1251
+ max-width: none;
1252
+ max-height: none;
1252
1253
  }
1253
1254
  .stretchy {
1255
+ width: 100%;
1254
1256
  display: block;
1255
- overflow: hidden;
1256
1257
  position: relative;
1257
- width: 100%;
1258
- &:after {
1258
+ overflow: hidden;
1259
+ &::before {
1259
1260
  content: "";
1260
1261
  }
1261
- &:before {
1262
+ &::after {
1262
1263
  content: "";
1263
1264
  }
1264
1265
  }
1265
1266
  .hide-tail {
1266
- overflow: hidden;
1267
- position: relative;
1268
1267
  width: 100%;
1268
+ position: relative;
1269
+ overflow: hidden;
1269
1270
  }
1270
1271
  .halfarrow-left {
1271
- left: 0;
1272
- overflow: hidden;
1273
1272
  position: absolute;
1273
+ left: 0;
1274
1274
  width: 50.2%;
1275
+ overflow: hidden;
1275
1276
  }
1276
1277
  .halfarrow-right {
1277
- overflow: hidden;
1278
1278
  position: absolute;
1279
1279
  right: 0;
1280
1280
  width: 50.2%;
1281
+ overflow: hidden;
1281
1282
  }
1282
1283
  .brace-left {
1283
- left: 0;
1284
- overflow: hidden;
1285
1284
  position: absolute;
1285
+ left: 0;
1286
1286
  width: 25.1%;
1287
+ overflow: hidden;
1287
1288
  }
1288
1289
  .brace-center {
1289
- left: 25%;
1290
- overflow: hidden;
1291
1290
  position: absolute;
1291
+ left: 25%;
1292
1292
  width: 50%;
1293
+ overflow: hidden;
1293
1294
  }
1294
1295
  .brace-right {
1295
- overflow: hidden;
1296
1296
  position: absolute;
1297
1297
  right: 0;
1298
1298
  width: 25.1%;
1299
+ overflow: hidden;
1299
1300
  }
1300
1301
  .x-arrow-pad {
1301
- padding: 0 .5em;
1302
+ padding: 0 0.5em;
1302
1303
  }
1303
1304
  .cd-arrow-pad {
1304
- padding: 0 .55556em 0 .27778em;
1305
+ padding: 0 0.55556em 0 0.27778em;
1305
1306
  }
1306
- .mover {
1307
+ .x-arrow {
1307
1308
  text-align: center;
1308
1309
  }
1309
- .munder {
1310
+ .mover {
1310
1311
  text-align: center;
1311
1312
  }
1312
- .x-arrow {
1313
+ .munder {
1313
1314
  text-align: center;
1314
1315
  }
1315
1316
  .boxpad {
1316
- padding: 0 .3em;
1317
+ padding: 0 0.3em;
1317
1318
  }
1318
1319
  .fbox {
1319
- border: .04em solid;
1320
1320
  box-sizing: border-box;
1321
+ border: 0.04em solid;
1321
1322
  }
1322
1323
  .fcolorbox {
1323
- border: .04em solid;
1324
1324
  box-sizing: border-box;
1325
+ border: 0.04em solid;
1325
1326
  }
1326
1327
  .cancel-pad {
1327
- padding: 0 .2em;
1328
+ padding: 0 0.2em;
1328
1329
  }
1329
1330
  .cancel-lap {
1330
- margin-left: -.2em;
1331
- margin-right: -.2em;
1331
+ margin-left: -0.2em;
1332
+ margin-right: -0.2em;
1332
1333
  }
1333
1334
  .sout {
1334
1335
  border-bottom-style: solid;
1335
- border-bottom-width: .08em;
1336
+ border-bottom-width: 0.08em;
1336
1337
  }
1337
1338
  .angl {
1338
- border-right: .049em solid;
1339
- border-top: .049em solid;
1340
1339
  box-sizing: border-box;
1341
- margin-right: .03889em;
1340
+ border-top: 0.049em solid;
1341
+ border-right: 0.049em solid;
1342
+ margin-right: 0.03889em;
1342
1343
  }
1343
1344
  .anglpad {
1344
- padding: 0 .03889em;
1345
+ padding: 0 0.03889em;
1345
1346
  }
1346
1347
  .eqn-num {
1347
- &:before {
1348
- content: "(" counter(katexEqnNo) ")";
1348
+ &::before {
1349
1349
  counter-increment: katexEqnNo;
1350
+ content: "(" counter(katexEqnNo) ")";
1350
1351
  }
1351
1352
  }
1352
1353
  .mml-eqn-num {
1353
- &:before {
1354
- content: "(" counter(mmlEqnNo) ")";
1354
+ &::before {
1355
1355
  counter-increment: mmlEqnNo;
1356
+ content: "(" counter(mmlEqnNo) ")";
1356
1357
  }
1357
1358
  }
1358
1359
  .mtr-glue {
@@ -1365,13 +1366,13 @@ $border-color_1: currentColor;
1365
1366
  .cd-label-left {
1366
1367
  display: inline-block;
1367
1368
  position: absolute;
1368
- right: calc(50% + .3em);
1369
+ right: calc(50% + 0.3em);
1369
1370
  text-align: left;
1370
1371
  }
1371
1372
  .cd-label-right {
1372
1373
  display: inline-block;
1373
- left: calc(50% + .3em);
1374
1374
  position: absolute;
1375
+ left: calc(50% + 0.3em);
1375
1376
  text-align: right;
1376
1377
  }
1377
1378
  }
@@ -1405,8 +1406,8 @@ $border-color_1: currentColor;
1405
1406
  }
1406
1407
  .katex-display.fleqn {
1407
1408
  >.katex {
1408
- padding-left: 2em;
1409
1409
  text-align: left;
1410
+ padding-left: 2em;
1410
1411
  }
1411
1412
  }
1412
1413
  body {