metanorma-m3aawg 1.6.0 → 1.6.1

Sign up to get free protection for your applications and to get access to all the features.
checksums.yaml CHANGED
@@ -1,7 +1,7 @@
1
1
  ---
2
2
  SHA256:
3
- metadata.gz: c2fd3488774323dab01d7b10d584bae9492abebe8d22376a1a3a5351026cd8f2
4
- data.tar.gz: f3d059e05c404ad418f7bce4251e36b00781dd8e7df08891957e8becd64477be
3
+ metadata.gz: 1f84f973356ac7c4ca74d8de8bf396e489138c21c99a834b51603cf023cab4e7
4
+ data.tar.gz: 789266aa27ac878f84b2f2e4deb24e3a6b8f76c0c5b035f1833b6262f1289f03
5
5
  SHA512:
6
- metadata.gz: ce3566f1142e13b1e7643dff05304bfe46e00a45aefcd147fcc7b6c995cf390bf7ead57f1951aab95327408908611810f8a6b00abcd4231e5a66418de1953f21
7
- data.tar.gz: f46acdf4f84b6a3c14cbe24c4ef9115254150afba1bda0dbc8583478a265eb9f1148f2bdacec040f8dcea820c9e270cf31b94660aaba49328318c810ac97ab80
6
+ metadata.gz: e6800596bc0ca96196cea33adf9e15a79aa0f1bdef3f25bbf49dc36cc2b6ec79ce885b05aa8287581d932ef0026dcf5f885680b2b0782a046af13d8bcea6fbaf
7
+ data.tar.gz: e8e0ea2e46bfe48c00ec4fddd87b7fc52b4d7921ef358e45089e02a8f3979b1da94b61758d5d48ff28111ef718355f072f5b725f202d3bf46ea2e329142f0806
@@ -36,7 +36,7 @@ jobs:
36
36
  with:
37
37
  ruby-version: ${{ matrix.ruby }}
38
38
 
39
- - uses: actions/cache@v1
39
+ - uses: actions/cache@v2
40
40
  with:
41
41
  path: vendor/bundle
42
42
  key: bundle-${{ matrix.os }}-${{ matrix.ruby }}-${{ hashFiles('**/*.gemspec') }}
@@ -48,15 +48,14 @@ jobs:
48
48
 
49
49
  - run: bundle exec rake
50
50
 
51
- notify:
52
- name: Trigger notify workflow
51
+ tests-passed:
53
52
  needs: rake
54
53
  runs-on: ubuntu-latest
55
54
  steps:
56
- - name: Trigger notify workflow
55
+ - name: Trigger tests passed event
57
56
  uses: Sibz/github-status-action@v1
58
57
  with:
59
- authToken: ${{ secrets.GITHUB_TOKEN }}
58
+ authToken: ${{ secrets.METANORMA_CI_PAT_TOKEN || secrets.GITHUB_TOKEN }}
60
59
  context: 'tests-passed-successfully'
61
60
  description: 'Tests passed successfully'
62
61
  state: 'success'
@@ -228,7 +228,7 @@ body {
228
228
  margin-left: auto;
229
229
  margin-right: auto;
230
230
  max-width: 100%;
231
- font-size: 15px;
231
+ font-size: {{normalfontsize}};
232
232
  font-weight: 300;
233
233
  line-height: 1.4em;
234
234
  color: #1d1d1d;
@@ -666,7 +666,7 @@ p.Biblio, p.NormRef {
666
666
  pre,
667
667
  .pseudocode {
668
668
  background-color: #F5F6F6;
669
- font-size: 0.8em;
669
+ font-size: {{monospacefontsize}};
670
670
  line-height: 1.6em;
671
671
  padding: 1.5em;
672
672
  margin: 2em 0 1em 0;
@@ -789,7 +789,7 @@ a.footnote-number {
789
789
  font-size: 0.8em; }
790
790
 
791
791
  .footnote {
792
- font-size: 0.9em; }
792
+ font-size: {{footnotefontsize}}; }
793
793
 
794
794
  /*
795
795
  3.11 Blockquotes
@@ -18,7 +18,7 @@ Light Gray: #F5F6F6
18
18
  @import 'base_style/all';
19
19
 
20
20
  body {
21
- @include bodyStyle1(15px, 1.4em, #1d1d1d, #ffffff, 300);
21
+ @include bodyStyle1($normalfontsize, 1.4em, #1d1d1d, #ffffff, 300);
22
22
  }
23
23
 
24
24
  #report {
@@ -431,7 +431,7 @@ a.footnote-number {
431
431
  }
432
432
 
433
433
  .footnote {
434
- font-size: 0.9em;
434
+ font-size: $footnotefontsize;
435
435
  }
436
436
 
437
437
 
@@ -10,7 +10,7 @@ p.Sourcecode, li.Sourcecode, div.Sourcecode, pre.Sourcecode {
10
10
  line-height: 12.0pt;
11
11
  mso-pagination: widow-orphan;
12
12
  tab-stops: 20.15pt;
13
- font-size: 9.0pt;
13
+ font-size: {{monospacefontsize}};
14
14
  font-family: {{monospacefont}};
15
15
  mso-fareast-font-family: Calibri;
16
16
  mso-bidi-font-family: "Courier New";
@@ -28,7 +28,7 @@ p.pseudocode, li.pseudocode, div.pseudocode {
28
28
  line-height: 12.0pt;
29
29
  mso-pagination: widow-orphan;
30
30
  tab-stops: 20.15pt;
31
- font-size: 11.0pt;
31
+ font-size: {{normalfontsize}};
32
32
  font-family: {{bodyfont}};
33
33
  mso-fareast-font-family: Calibri;
34
34
  mso-bidi-font-family: "Courier New";
@@ -46,7 +46,7 @@ p.Biblio, li.Biblio, div.Biblio, p.NormRef, li.NormRef, div.NormRef {
46
46
  tab-stops: 33.15pt;
47
47
  line-height: 12.0pt;
48
48
  mso-pagination: widow-orphan;
49
- font-size: 11.0pt;
49
+ font-size: {{normalfontsize}};
50
50
  font-family: {{bodyfont}};
51
51
  mso-fareast-font-family: {{bodyfont}};
52
52
  mso-bidi-font-family: {{bodyfont}};
@@ -65,7 +65,7 @@ p.FigureTitle {
65
65
  page-break-before: avoid;
66
66
  mso-pagination: widow-orphan;
67
67
  tab-stops: 20.15pt;
68
- font-size: 11.0pt;
68
+ font-size: {{normalfontsize}};
69
69
  font-family: {{bodyfont}};
70
70
  font-weight: bold;
71
71
  mso-fareast-font-family: {{bodyfont}};
@@ -85,7 +85,7 @@ p.SourceTitle {
85
85
  page-break-before: avoid;
86
86
  mso-pagination: widow-orphan;
87
87
  tab-stops: 20.15pt;
88
- font-size: 11.0pt;
88
+ font-size: {{normalfontsize}};
89
89
  font-family: {{bodyfont}};
90
90
  font-weight: bold;
91
91
  mso-fareast-font-family: {{bodyfont}};
@@ -105,7 +105,7 @@ p.AdmonitionTitle, p.RecommendationTitle {
105
105
  page-break-after: avoid;
106
106
  mso-pagination: widow-orphan;
107
107
  tab-stops: 20.15pt;
108
- font-size: 11.0pt;
108
+ font-size: {{normalfontsize}};
109
109
  font-family: {{bodyfont}};
110
110
  font-weight: bold;
111
111
  mso-fareast-font-family: {{bodyfont}};
@@ -125,7 +125,7 @@ p.TableTitle {
125
125
  line-height: 12.0pt;
126
126
  mso-pagination: widow-orphan;
127
127
  tab-stops: 20.15pt;
128
- font-size: 11.0pt;
128
+ font-size: {{normalfontsize}};
129
129
  font-weight: bold;
130
130
  font-family: {{bodyfont}};
131
131
  mso-fareast-font-family: {{bodyfont}};
@@ -144,8 +144,8 @@ p.Note, div.Note, li.Note, p.TableFootnote, div.TableFootnote, li.TableFootnote
144
144
  line-height: 12.0pt;
145
145
  mso-pagination: widow-orphan;
146
146
  tab-stops: 20.15pt;
147
- font-size: 10.0pt;
148
- mso-bidi-font-size: 11.0pt;
147
+ font-size: {{smallerfontsize}};
148
+ mso-bidi-font-size: {{normalfontsize}};
149
149
  font-family: {{bodyfont}};
150
150
  mso-fareast-font-family: {{bodyfont}};
151
151
  mso-bidi-font-family: {{bodyfont}};
@@ -172,7 +172,7 @@ p.ANNEX, li.ANNEX, div.ANNEX {
172
172
  mso-list: l0 level1 lfo12;
173
173
  tab-stops: 20.15pt;
174
174
  font-size: 14.0pt;
175
- mso-bidi-font-size: 11.0pt;
175
+ mso-bidi-font-size: {{normalfontsize}};
176
176
  font-family: {{headerfont}};
177
177
  mso-fareast-font-family: {{headerfont}};
178
178
  mso-bidi-font-family: {{headerfont}};
@@ -195,7 +195,7 @@ p.BiblioTitle, li.BiblioTitle, div.BiblioTitle {
195
195
  mso-outline-level: 1;
196
196
  tab-stops: 20.15pt;
197
197
  font-size: 14.0pt;
198
- mso-bidi-font-size: 11.0pt;
198
+ mso-bidi-font-size: {{normalfontsize}};
199
199
  font-family: {{headerfont}};
200
200
  mso-fareast-font-family: {{headerfont}};
201
201
  mso-bidi-font-family: {{headerfont}};
@@ -215,7 +215,7 @@ p.Definition, li.Definition, div.Definition {
215
215
  line-height: 12.0pt;
216
216
  mso-pagination: widow-orphan;
217
217
  tab-stops: 20.15pt;
218
- font-size: 11.0pt;
218
+ font-size: {{normalfontsize}};
219
219
  font-family: {{bodyfont}};
220
220
  mso-fareast-font-family: {{bodyfont}};
221
221
  mso-bidi-font-family: {{bodyfont}};
@@ -238,7 +238,7 @@ p.ForewordTitle, li.ForewordTitle, div.ForewordTitle {
238
238
  mso-hyphenate: none;
239
239
  tab-stops: 20.15pt;
240
240
  font-size: 14.0pt;
241
- mso-bidi-font-size: 11.0pt;
241
+ mso-bidi-font-size: {{normalfontsize}};
242
242
  font-family: {{headerfont}};
243
243
  mso-fareast-font-family: {{headerfont}};
244
244
  mso-bidi-font-family: {{headerfont}};
@@ -263,7 +263,7 @@ p.IntroTitle, li.IntroTitle, div.IntroTitle {
263
263
  mso-hyphenate: none;
264
264
  tab-stops: 20.15pt;
265
265
  font-size: 14.0pt;
266
- mso-bidi-font-size: 11.0pt;
266
+ mso-bidi-font-size: {{normalfontsize}};
267
267
  font-family: {{headerfont}};
268
268
  mso-fareast-font-family: {{headerfont}};
269
269
  mso-bidi-font-family: {{headerfont}};
@@ -287,7 +287,7 @@ p.TitlePageSubhead, li.TitlePageSubhead, div.TitlePageSubhead {
287
287
  mso-hyphenate: none;
288
288
  tab-stops: 20.15pt;
289
289
  font-size: 14.0pt;
290
- mso-bidi-font-size: 11.0pt;
290
+ mso-bidi-font-size: {{normalfontsize}};
291
291
  font-family: {{headerfont}};
292
292
  mso-fareast-font-family: {{headerfont}};
293
293
  mso-bidi-font-family: {{headerfont}};
@@ -307,7 +307,7 @@ p.Terms, li.Terms, div.Terms {
307
307
  page-break-after: avoid;
308
308
  mso-hyphenate: none;
309
309
  tab-stops: 20.15pt;
310
- font-size: 11.0pt;
310
+ font-size: {{normalfontsize}};
311
311
  font-family: {{headerfont}};
312
312
  mso-fareast-font-family: {{headerfont}};
313
313
  mso-bidi-font-family: {{headerfont}};
@@ -327,7 +327,7 @@ p.AltTerms, li.AltTerms, div.AltTerms {
327
327
  page-break-after: avoid;
328
328
  mso-hyphenate: none;
329
329
  tab-stops: 20.15pt;
330
- font-size: 11.0pt;
330
+ font-size: {{normalfontsize}};
331
331
  font-family: {{bodyfont}};
332
332
  mso-fareast-font-family: {{bodyfont}};
333
333
  mso-bidi-font-family: {{bodyfont}};
@@ -346,7 +346,7 @@ p.DeprecatedTerms, li.DeprecatedTerms, div.DeprecatedTerms {
346
346
  page-break-after: avoid;
347
347
  mso-hyphenate: none;
348
348
  tab-stops: 20.15pt;
349
- font-size: 11.0pt;
349
+ font-size: {{normalfontsize}};
350
350
  font-family: {{bodyfont}};
351
351
  mso-fareast-font-family: {{bodyfont}};
352
352
  mso-bidi-font-family: {{bodyfont}};
@@ -364,7 +364,7 @@ p.TermNum, li.TermNum, div.TermNum {
364
364
  mso-pagination: widow-orphan;
365
365
  page-break-after: avoid;
366
366
  tab-stops: 20.15pt;
367
- font-size: 11.0pt;
367
+ font-size: {{normalfontsize}};
368
368
  font-family: {{headerfont}};
369
369
  mso-fareast-font-family: {{headerfont}};
370
370
  mso-bidi-font-family: {{headerfont}};
@@ -389,7 +389,7 @@ p.zzContents, li.zzContents, div.zzContents {
389
389
  mso-hyphenate: none;
390
390
  tab-stops: 20.15pt;
391
391
  font-size: 14.0pt;
392
- mso-bidi-font-size: 11.0pt;
392
+ mso-bidi-font-size: {{normalfontsize}};
393
393
  font-family: {{headerfont}};
394
394
  mso-fareast-font-family: {{headerfont}};
395
395
  mso-bidi-font-family: {{headerfont}};
@@ -414,7 +414,7 @@ p.zzCopyright, li.zzCopyright, div.zzCopyright {
414
414
  mso-border-alt: solid blue .5pt;
415
415
  padding: 0cm;
416
416
  mso-padding-alt: 1.0pt 4.0pt 1.0pt 4.0pt;
417
- font-size: 11.0pt;
417
+ font-size: {{normalfontsize}};
418
418
  font-family: {{bodyfont}};
419
419
  mso-fareast-font-family: {{bodyfont}};
420
420
  mso-bidi-font-family: {{bodyfont}};
@@ -435,7 +435,7 @@ p.zzSTDTitle, li.zzSTDTitle, div.zzSTDTitle {
435
435
  mso-hyphenate: none;
436
436
  tab-stops: 20.15pt;
437
437
  font-size: 16.0pt;
438
- mso-bidi-font-size: 11.0pt;
438
+ mso-bidi-font-size: {{normalfontsize}};
439
439
  font-family: {{headerfont}};
440
440
  mso-fareast-font-family: {{headerfont}};
441
441
  mso-bidi-font-family: {{headerfont}};
@@ -456,7 +456,7 @@ p.zzSTDPreTitle, li.zzSTDPreTitle, div.zzSTDPreTitle {
456
456
  mso-hyphenate: none;
457
457
  tab-stops: 20.15pt;
458
458
  font-size: 14.0pt;
459
- mso-bidi-font-size: 11.0pt;
459
+ mso-bidi-font-size: {{normalfontsize}};
460
460
  font-family: {{headerfont}};
461
461
  mso-fareast-font-family: {{headerfont}};
462
462
  mso-bidi-font-family: {{headerfont}};
@@ -477,7 +477,7 @@ p.zzSTDTitle1, li.zzSTDTitle1, div.zzSTDTitle1 {
477
477
  mso-hyphenate: none;
478
478
  tab-stops: 20.15pt;
479
479
  font-size: 24.0pt;
480
- mso-bidi-font-size: 11.0pt;
480
+ mso-bidi-font-size: {{normalfontsize}};
481
481
  font-family: {{headerfont}};
482
482
  mso-fareast-font-family: {{headerfont}};
483
483
  mso-bidi-font-family: {{headerfont}};
@@ -495,7 +495,7 @@ p.Quote, li.Quote, div.Quote {
495
495
  line-height: 12.0pt;
496
496
  mso-pagination: widow-orphan;
497
497
  tab-stops: 20.15pt;
498
- font-size: 11.0pt;
498
+ font-size: {{normalfontsize}};
499
499
  font-family: {{bodyfont}};
500
500
  mso-fareast-font-family: {{bodyfont}};
501
501
  mso-bidi-font-family: {{bodyfont}};
@@ -532,8 +532,8 @@ p.Code, li.Code, div.Code {
532
532
  line-height: 10.0pt;
533
533
  mso-pagination: widow-orphan;
534
534
  tab-stops: 20.15pt;
535
- font-size: 9.0pt;
536
- mso-bidi-font-size: 11.0pt;
535
+ font-size: {{monospacefontsize}};
536
+ mso-bidi-font-size: {{normalfontsize}};
537
537
  font-family: {{monospacefont}};
538
538
  mso-fareast-font-family: Calibri;
539
539
  mso-bidi-font-family: "Cambria";
@@ -545,12 +545,12 @@ p.Formula, li.Formula, div.Formula {
545
545
  mso-style-unhide: no;
546
546
  margin-top: 0cm;
547
547
  margin-right: 0cm;
548
- margin-bottom: 11.0pt;
548
+ margin-bottom: {{normalfontsize}};
549
549
  margin-left: 20.15pt;
550
550
  line-height: 12.0pt;
551
551
  mso-pagination: widow-orphan;
552
552
  tab-stops: right 487.45pt;
553
- font-size: 11.0pt;
553
+ font-size: {{normalfontsize}};
554
554
  font-family: {{bodyfont}};
555
555
  mso-fareast-font-family: {{bodyfont}};
556
556
  mso-bidi-font-family: {{bodyfont}};
@@ -559,7 +559,7 @@ p.Formula, li.Formula, div.Formula {
559
559
  table.dl {
560
560
  margin-top: 0cm;
561
561
  margin-right: 0cm;
562
- margin-bottom: 11.0pt;
562
+ margin-bottom: {{normalfontsize}};
563
563
  margin-left: 20.15pt; }
564
564
 
565
565
  table.MsoISOTable, table.MsoISOTableBig {
@@ -580,7 +580,7 @@ table.MsoISOTable, table.MsoISOTableBig {
580
580
  mso-yfti-tbllook: 480;
581
581
  mso-border-insideh: .75pt solid windowtext;
582
582
  mso-border-insidev: .75pt solid windowtext;
583
- font-size: 10.0pt;
583
+ font-size: {{smallerfontsize}};
584
584
  font-family: {{bodyfont}}; }
585
585
 
586
586
  table.MsoISOTable th, table.MsoISOTableBig th {
@@ -594,7 +594,7 @@ table.MsoISOTable td, table.MsoISOTableBig td {
594
594
  padding: 0cm 2.85pt 0cm 2.85pt; }
595
595
 
596
596
  table.MsoISOTable p, table.MsoISOTableBig p {
597
- font-size: 10.0pt; }
597
+ font-size: {{smallerfontsize}}; }
598
598
 
599
599
  table.MsoTableGrid {
600
600
  mso-style-name: "Table Grid";
@@ -610,7 +610,7 @@ table.MsoTableGrid {
610
610
  mso-para-margin: 0cm;
611
611
  mso-para-margin-bottom: .0001pt;
612
612
  mso-pagination: widow-orphan;
613
- font-size: 10.0pt;
613
+ font-size: {{smallerfontsize}};
614
614
  font-family: {{bodyfont}}; }
615
615
 
616
616
  div.formula {
@@ -723,7 +723,7 @@ a.TableFootnoteRef, span.TableFootnoteRef {
723
723
  vertical-align: super; }
724
724
 
725
725
  aside {
726
- font-size: 10.0pt; }
726
+ font-size: {{footnotefontsize}}; }
727
727
 
728
728
  .example-title {
729
729
  font-weight: bold;
@@ -741,30 +741,30 @@ div.example {
741
741
 
742
742
  p.example, li.example, div.example, td.example {
743
743
  mso-pagination: none;
744
- font-size: 10.0pt;
744
+ font-size: {{smallerfontsize}};
745
745
  font-family: {{bodyfont}}; }
746
746
 
747
747
  td.example p.MsoListParagraph {
748
- font-size: 10.0pt; }
748
+ font-size: {{smallerfontsize}}; }
749
749
 
750
750
  div.example p.MsoListParagraph {
751
- font-size: 10.0pt; }
751
+ font-size: {{smallerfontsize}}; }
752
752
 
753
753
  div.Note p.MsoListParagraph {
754
- font-size: 10.0pt;
754
+ font-size: {{smallerfontsize}};
755
755
  margin-left: 1.0cm; }
756
756
 
757
757
  div.Note span.stem {
758
- font-size: 10.0pt; }
758
+ font-size: {{smallerfontsize}}; }
759
759
 
760
760
  div.Note p.Sourcecode, div.Note pre.Sourcecode {
761
761
  font-size: 8.0pt;
762
762
  margin-left: 1.0cm; }
763
763
 
764
764
  div.Note table.dl {
765
- font-size: 10.0pt;
765
+ font-size: {{smallerfontsize}};
766
766
  margin-left: 1.0cm; }
767
767
 
768
768
  span.note_label, span.example_label, td.example_label, td.note_label {
769
- font-size: 10.0pt;
769
+ font-size: {{smallerfontsize}};
770
770
  font-family: {{bodyfont}}; }
@@ -10,7 +10,7 @@ p.Sourcecode, li.Sourcecode, div.Sourcecode, pre.Sourcecode
10
10
  line-height:12.0pt;
11
11
  mso-pagination:widow-orphan;
12
12
  tab-stops:20.15pt;
13
- font-size:9.0pt;
13
+ font-size:$monospacefontsize;
14
14
  font-family:$monospacefont;
15
15
  mso-fareast-font-family:Calibri;
16
16
  mso-bidi-font-family:"Courier New";
@@ -27,7 +27,7 @@ p.pseudocode, li.pseudocode, div.pseudocode
27
27
  line-height:12.0pt;
28
28
  mso-pagination:widow-orphan;
29
29
  tab-stops:20.15pt;
30
- font-size:11.0pt;
30
+ font-size:$normalfontsize;
31
31
  font-family:$bodyfont;
32
32
  mso-fareast-font-family:Calibri;
33
33
  mso-bidi-font-family:"Courier New";
@@ -44,7 +44,7 @@ p.Biblio, li.Biblio, div.Biblio, p.NormRef, li.NormRef, div.NormRef
44
44
  tab-stops: 33.15pt;
45
45
  line-height:12.0pt;
46
46
  mso-pagination:widow-orphan;
47
- font-size:11.0pt;
47
+ font-size:$normalfontsize;
48
48
  font-family:$bodyfont;
49
49
  mso-fareast-font-family:$bodyfont;
50
50
  mso-bidi-font-family:$bodyfont;
@@ -62,7 +62,7 @@ p.FigureTitle
62
62
  page-break-before:avoid;
63
63
  mso-pagination:widow-orphan;
64
64
  tab-stops:20.15pt;
65
- font-size:11.0pt;
65
+ font-size:$normalfontsize;
66
66
  font-family:$bodyfont;
67
67
  font-weight:bold;
68
68
  mso-fareast-font-family:$bodyfont;
@@ -81,7 +81,7 @@ p.SourceTitle
81
81
  page-break-before:avoid;
82
82
  mso-pagination:widow-orphan;
83
83
  tab-stops:20.15pt;
84
- font-size:11.0pt;
84
+ font-size:$normalfontsize;
85
85
  font-family:$bodyfont;
86
86
  font-weight:bold;
87
87
  mso-fareast-font-family:$bodyfont;
@@ -100,7 +100,7 @@ p.AdmonitionTitle, p.RecommendationTitle
100
100
  page-break-after:avoid;
101
101
  mso-pagination:widow-orphan;
102
102
  tab-stops:20.15pt;
103
- font-size:11.0pt;
103
+ font-size:$normalfontsize;
104
104
  font-family:$bodyfont;
105
105
  font-weight:bold;
106
106
  mso-fareast-font-family:$bodyfont;
@@ -119,7 +119,7 @@ p.TableTitle
119
119
  line-height:12.0pt;
120
120
  mso-pagination:widow-orphan;
121
121
  tab-stops:20.15pt;
122
- font-size:11.0pt;
122
+ font-size:$normalfontsize;
123
123
  font-weight:bold;
124
124
  font-family:$bodyfont;
125
125
  mso-fareast-font-family:$bodyfont;
@@ -137,8 +137,8 @@ p.Note, div.Note, li.Note, p.TableFootnote, div.TableFootnote, li.TableFootnote
137
137
  line-height:12.0pt;
138
138
  mso-pagination:widow-orphan;
139
139
  tab-stops:20.15pt;
140
- font-size:10.0pt;
141
- mso-bidi-font-size:11.0pt;
140
+ font-size:$smallerfontsize;
141
+ mso-bidi-font-size:$normalfontsize;
142
142
  font-family:$bodyfont;
143
143
  mso-fareast-font-family:$bodyfont;
144
144
  mso-bidi-font-family:$bodyfont;
@@ -164,7 +164,7 @@ p.ANNEX, li.ANNEX, div.ANNEX
164
164
  mso-list:l0 level1 lfo12;
165
165
  tab-stops:20.15pt;
166
166
  font-size:14.0pt;
167
- mso-bidi-font-size:11.0pt;
167
+ mso-bidi-font-size:$normalfontsize;
168
168
  font-family:$headerfont;
169
169
  mso-fareast-font-family:$headerfont;
170
170
  mso-bidi-font-family:$headerfont;
@@ -186,7 +186,7 @@ p.BiblioTitle, li.BiblioTitle, div.BiblioTitle
186
186
  mso-outline-level:1;
187
187
  tab-stops:20.15pt;
188
188
  font-size:14.0pt;
189
- mso-bidi-font-size:11.0pt;
189
+ mso-bidi-font-size:$normalfontsize;
190
190
  font-family:$headerfont;
191
191
  mso-fareast-font-family:$headerfont;
192
192
  mso-bidi-font-family:$headerfont;
@@ -205,7 +205,7 @@ p.Definition, li.Definition, div.Definition
205
205
  line-height:12.0pt;
206
206
  mso-pagination:widow-orphan;
207
207
  tab-stops:20.15pt;
208
- font-size:11.0pt;
208
+ font-size:$normalfontsize;
209
209
  font-family:$bodyfont;
210
210
  mso-fareast-font-family:$bodyfont;
211
211
  mso-bidi-font-family:$bodyfont;
@@ -227,7 +227,7 @@ p.ForewordTitle, li.ForewordTitle, div.ForewordTitle
227
227
  mso-hyphenate:none;
228
228
  tab-stops:20.15pt;
229
229
  font-size:14.0pt;
230
- mso-bidi-font-size:11.0pt;
230
+ mso-bidi-font-size:$normalfontsize;
231
231
  font-family:$headerfont;
232
232
  mso-fareast-font-family:$headerfont;
233
233
  mso-bidi-font-family:$headerfont;
@@ -251,7 +251,7 @@ p.IntroTitle, li.IntroTitle, div.IntroTitle
251
251
  mso-hyphenate:none;
252
252
  tab-stops:20.15pt;
253
253
  font-size:14.0pt;
254
- mso-bidi-font-size:11.0pt;
254
+ mso-bidi-font-size:$normalfontsize;
255
255
  font-family:$headerfont;
256
256
  mso-fareast-font-family:$headerfont;
257
257
  mso-bidi-font-family:$headerfont;
@@ -274,7 +274,7 @@ mso-style-noshow:yes;
274
274
  mso-hyphenate:none;
275
275
  tab-stops:20.15pt;
276
276
  font-size:14.0pt;
277
- mso-bidi-font-size:11.0pt;
277
+ mso-bidi-font-size:$normalfontsize;
278
278
  font-family:$headerfont;
279
279
  mso-fareast-font-family:$headerfont;
280
280
  mso-bidi-font-family:$headerfont;
@@ -294,7 +294,7 @@ p.Terms, li.Terms, div.Terms
294
294
  page-break-after:avoid;
295
295
  mso-hyphenate:none;
296
296
  tab-stops:20.15pt;
297
- font-size:11.0pt;
297
+ font-size:$normalfontsize;
298
298
  font-family:$headerfont;
299
299
  mso-fareast-font-family:$headerfont;
300
300
  mso-bidi-font-family:$headerfont;
@@ -313,7 +313,7 @@ p.AltTerms, li.AltTerms, div.AltTerms
313
313
  page-break-after:avoid;
314
314
  mso-hyphenate:none;
315
315
  tab-stops:20.15pt;
316
- font-size:11.0pt;
316
+ font-size:$normalfontsize;
317
317
  font-family:$bodyfont;
318
318
  mso-fareast-font-family:$bodyfont;
319
319
  mso-bidi-font-family:$bodyfont;
@@ -331,7 +331,7 @@ p.DeprecatedTerms, li.DeprecatedTerms, div.DeprecatedTerms
331
331
  page-break-after:avoid;
332
332
  mso-hyphenate:none;
333
333
  tab-stops:20.15pt;
334
- font-size:11.0pt;
334
+ font-size:$normalfontsize;
335
335
  font-family:$bodyfont;
336
336
  mso-fareast-font-family:$bodyfont;
337
337
  mso-bidi-font-family:$bodyfont;
@@ -348,7 +348,7 @@ p.TermNum, li.TermNum, div.TermNum
348
348
  mso-pagination:widow-orphan;
349
349
  page-break-after:avoid;
350
350
  tab-stops:20.15pt;
351
- font-size:11.0pt;
351
+ font-size:$normalfontsize;
352
352
  font-family:$headerfont;
353
353
  mso-fareast-font-family:$headerfont;
354
354
  mso-bidi-font-family:$headerfont;
@@ -372,7 +372,7 @@ p.zzContents, li.zzContents, div.zzContents
372
372
  mso-hyphenate:none;
373
373
  tab-stops:20.15pt;
374
374
  font-size:14.0pt;
375
- mso-bidi-font-size:11.0pt;
375
+ mso-bidi-font-size:$normalfontsize;
376
376
  font-family:$headerfont;
377
377
  mso-fareast-font-family:$headerfont;
378
378
  mso-bidi-font-family:$headerfont;
@@ -396,7 +396,7 @@ p.zzCopyright, li.zzCopyright, div.zzCopyright
396
396
  mso-border-alt:solid blue .5pt;
397
397
  padding:0cm;
398
398
  mso-padding-alt:1.0pt 4.0pt 1.0pt 4.0pt;
399
- font-size:11.0pt;
399
+ font-size:$normalfontsize;
400
400
  font-family:$bodyfont;
401
401
  mso-fareast-font-family:$bodyfont;
402
402
  mso-bidi-font-family:$bodyfont;
@@ -416,7 +416,7 @@ p.zzSTDTitle, li.zzSTDTitle, div.zzSTDTitle
416
416
  mso-hyphenate:none;
417
417
  tab-stops:20.15pt;
418
418
  font-size:16.0pt;
419
- mso-bidi-font-size:11.0pt;
419
+ mso-bidi-font-size:$normalfontsize;
420
420
  font-family:$headerfont;
421
421
  mso-fareast-font-family:$headerfont;
422
422
  mso-bidi-font-family:$headerfont;
@@ -436,7 +436,7 @@ p.zzSTDPreTitle, li.zzSTDPreTitle, div.zzSTDPreTitle
436
436
  mso-hyphenate:none;
437
437
  tab-stops:20.15pt;
438
438
  font-size:14.0pt;
439
- mso-bidi-font-size:11.0pt;
439
+ mso-bidi-font-size:$normalfontsize;
440
440
  font-family:$headerfont;
441
441
  mso-fareast-font-family:$headerfont;
442
442
  mso-bidi-font-family:$headerfont;
@@ -456,7 +456,7 @@ p.zzSTDTitle1, li.zzSTDTitle1, div.zzSTDTitle1
456
456
  mso-hyphenate:none;
457
457
  tab-stops:20.15pt;
458
458
  font-size:24.0pt;
459
- mso-bidi-font-size:11.0pt;
459
+ mso-bidi-font-size:$normalfontsize;
460
460
  font-family:$headerfont;
461
461
  mso-fareast-font-family:$headerfont;
462
462
  mso-bidi-font-family:$headerfont;
@@ -473,7 +473,7 @@ p.Quote, li.Quote, div.Quote
473
473
  line-height:12.0pt;
474
474
  mso-pagination:widow-orphan;
475
475
  tab-stops:20.15pt;
476
- font-size:11.0pt;
476
+ font-size:$normalfontsize;
477
477
  font-family:$bodyfont;
478
478
  mso-fareast-font-family:$bodyfont;
479
479
  mso-bidi-font-family:$bodyfont;
@@ -507,8 +507,8 @@ p.Code, li.Code, div.Code
507
507
  line-height:10.0pt;
508
508
  mso-pagination:widow-orphan;
509
509
  tab-stops:20.15pt;
510
- font-size:9.0pt;
511
- mso-bidi-font-size:11.0pt;
510
+ font-size:$monospacefontsize;
511
+ mso-bidi-font-size:$normalfontsize;
512
512
  font-family:$monospacefont;
513
513
  mso-fareast-font-family:Calibri;
514
514
  mso-bidi-font-family:"Cambria";
@@ -519,12 +519,12 @@ p.Formula, li.Formula, div.Formula
519
519
  mso-style-unhide:no;
520
520
  margin-top:0cm;
521
521
  margin-right:0cm;
522
- margin-bottom:11.0pt;
522
+ margin-bottom:$normalfontsize;
523
523
  margin-left:20.15pt;
524
524
  line-height:12.0pt;
525
525
  mso-pagination:widow-orphan;
526
526
  tab-stops:right 487.45pt;
527
- font-size:11.0pt;
527
+ font-size:$normalfontsize;
528
528
  font-family:$bodyfont;
529
529
  mso-fareast-font-family:$bodyfont;
530
530
  mso-bidi-font-family:$bodyfont;
@@ -532,7 +532,7 @@ p.Formula, li.Formula, div.Formula
532
532
  table.dl
533
533
  {margin-top:0cm;
534
534
  margin-right:0cm;
535
- margin-bottom:11.0pt;
535
+ margin-bottom:$normalfontsize;
536
536
  margin-left:20.15pt;}
537
537
  table.MsoISOTable, table.MsoISOTableBig
538
538
  {mso-style-name:"Table ISO";
@@ -552,7 +552,7 @@ table.MsoISOTable, table.MsoISOTableBig
552
552
  mso-yfti-tbllook:480;
553
553
  mso-border-insideh:.75pt solid windowtext;
554
554
  mso-border-insidev:.75pt solid windowtext;
555
- font-size:10.0pt;
555
+ font-size:$smallerfontsize;
556
556
  font-family:$bodyfont;}
557
557
  table.MsoISOTable th, table.MsoISOTableBig th
558
558
  {border:solid windowtext 1pt;
@@ -563,7 +563,7 @@ table.MsoISOTable td, table.MsoISOTableBig td
563
563
  mso-border-alt:solid windowtext 1pt;
564
564
  padding:0cm 2.85pt 0cm 2.85pt;}
565
565
  table.MsoISOTable p, table.MsoISOTableBig p
566
- {font-size:10.0pt; }
566
+ {font-size:$smallerfontsize; }
567
567
  table.MsoTableGrid
568
568
  {mso-style-name:"Table Grid";
569
569
  mso-tstyle-rowband-size:0;
@@ -578,7 +578,7 @@ table.MsoTableGrid
578
578
  mso-para-margin:0cm;
579
579
  mso-para-margin-bottom:.0001pt;
580
580
  mso-pagination:widow-orphan;
581
- font-size:10.0pt;
581
+ font-size:$smallerfontsize;
582
582
  font-family:$bodyfont;}
583
583
  div.formula
584
584
  {tab-stops:right 487.45pt;}
@@ -698,7 +698,7 @@ a.TableFootnoteRef, span.TableFootnoteRef
698
698
  vertical-align:super;}
699
699
 
700
700
  aside {
701
- font-size:10.0pt;
701
+ font-size:$footnotefontsize;
702
702
  }
703
703
 
704
704
  .example-title {
@@ -720,24 +720,24 @@ div.example {
720
720
 
721
721
  p.example, li.example, div.example, td.example {
722
722
  mso-pagination:none;
723
- font-size:10.0pt;
723
+ font-size:$smallerfontsize;
724
724
  font-family:$bodyfont;}
725
725
 
726
726
  td.example p.MsoListParagraph {
727
- font-size: 10.0pt;
727
+ font-size: $smallerfontsize;
728
728
  }
729
729
 
730
730
  div.example p.MsoListParagraph {
731
- font-size: 10.0pt;
731
+ font-size: $smallerfontsize;
732
732
  }
733
733
 
734
734
  div.Note p.MsoListParagraph {
735
- font-size: 10.0pt;
735
+ font-size: $smallerfontsize;
736
736
  margin-left: 1.0cm;
737
737
  }
738
738
 
739
739
  div.Note span.stem {
740
- font-size: 10.0pt; }
740
+ font-size: $smallerfontsize; }
741
741
 
742
742
  div.Note p.Sourcecode, div.Note pre.Sourcecode {
743
743
  font-size: 8.0pt;
@@ -745,12 +745,12 @@ div.Note p.Sourcecode, div.Note pre.Sourcecode {
745
745
  }
746
746
 
747
747
  div.Note table.dl {
748
- font-size: 10.0pt;
748
+ font-size: $smallerfontsize;
749
749
  margin-left: 1.0cm;
750
750
  }
751
751
 
752
752
  span.note_label, span.example_label, td.example_label, td.note_label
753
753
  {
754
- font-size: 10.0pt;
754
+ font-size: $smallerfontsize;
755
755
  font-family:$bodyfont;
756
756
  }