metanorma-ribose 1.6.7 → 1.6.12

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: 97a94c2010abcd7cd4510388d3f92f1cc1f9c75f948d14360c7d85ea59700a67
4
- data.tar.gz: 97c8dca76e04be80e3f8f8516494ccee946ece71e64c45b80b3c550d3f066ce1
3
+ metadata.gz: aa8a5850aab200ce451f3f80eb1c469938c22d51116cf7eba406868b678b5277
4
+ data.tar.gz: 1b79657578876f5241a5ce3bd1a84d8bfdb0abbf2733c8c95c4b25691da28536
5
5
  SHA512:
6
- metadata.gz: 53555a7d36d54ae64d42d9040b883cee399c74bfe5c74aa520f0dc8ef9e932bfacfdee420e27e3b32babf975e43742284b0a7a25615afd730fad1e2052d3b933
7
- data.tar.gz: e635ecbb20175f49919a9aaae04bf6f80823af1ee37eb5010f4798ea9554ce2171f05ad4a2eef0b16a68d9cd8ed8e3acd535800ca4a2f3a2d7fc2b86b57d4946
6
+ metadata.gz: 024526b40521713d0b975f3e1fd480bdea460294fe37630f43a6fcc02b04a26f677c31118c385c2cf14dc701461822ac676b54fda28b0d14a1b9de7791c7c142
7
+ data.tar.gz: 68cdf413a3c7540df45f7410c9e4949ceec2d816475a1150cd1ac93d9595b9c27536633ba3ccbcd076e816c8cf0252d14d7a371fa0f9d23c966efabf117aed26
@@ -36,7 +36,10 @@ jobs:
36
36
  with:
37
37
  ruby-version: ${{ matrix.ruby }}
38
38
 
39
- - uses: actions/cache@v1
39
+ - if: matrix.os == 'macos-latest'
40
+ run: brew install autoconf automake libtool
41
+
42
+ - uses: actions/cache@v2
40
43
  with:
41
44
  path: vendor/bundle
42
45
  key: bundle-${{ matrix.os }}-${{ matrix.ruby }}-${{ hashFiles('**/*.gemspec') }}
@@ -63,4 +66,21 @@ jobs:
63
66
  - if: matrix.os == 'windows-latest'
64
67
  run: cinst -y plantuml
65
68
 
69
+ - if: matrix.os == 'macos-latest'
70
+ run: brew install autoconf automake libtool
71
+
66
72
  - run: bundle exec rake
73
+
74
+ tests-passed:
75
+ needs: rake
76
+ runs-on: ubuntu-latest
77
+ continue-on-error: true
78
+ steps:
79
+ - name: Trigger tests passed event
80
+ uses: Sibz/github-status-action@v1
81
+ with:
82
+ authToken: ${{ secrets.METANORMA_CI_PAT_TOKEN || secrets.GITHUB_TOKEN }}
83
+ context: 'tests-passed-successfully'
84
+ description: 'Tests passed successfully'
85
+ state: 'success'
86
+ sha: ${{ github.event.pull_request.head.sha || github.sha }}
@@ -596,6 +596,7 @@
596
596
  <ref name="bookmark"/>
597
597
  <ref name="image"/>
598
598
  <ref name="index"/>
599
+ <ref name="index-xref"/>
599
600
  </choice>
600
601
  </define>
601
602
  <define name="PureTextElement">
@@ -728,13 +729,61 @@
728
729
  </define>
729
730
  <define name="index">
730
731
  <element name="index">
731
- <attribute name="primary"/>
732
732
  <optional>
733
- <attribute name="secondary"/>
733
+ <attribute name="to">
734
+ <data type="IDREF"/>
735
+ </attribute>
736
+ </optional>
737
+ <element name="primary">
738
+ <oneOrMore>
739
+ <ref name="PureTextElement"/>
740
+ </oneOrMore>
741
+ </element>
742
+ <optional>
743
+ <element name="secondary">
744
+ <oneOrMore>
745
+ <ref name="PureTextElement"/>
746
+ </oneOrMore>
747
+ </element>
748
+ </optional>
749
+ <optional>
750
+ <element name="tertiary">
751
+ <oneOrMore>
752
+ <ref name="PureTextElement"/>
753
+ </oneOrMore>
754
+ </element>
755
+ </optional>
756
+ </element>
757
+ </define>
758
+ <define name="index-xref">
759
+ <element name="index-xref">
760
+ <attribute name="also">
761
+ <data type="boolean"/>
762
+ </attribute>
763
+ <element name="primary">
764
+ <oneOrMore>
765
+ <ref name="PureTextElement"/>
766
+ </oneOrMore>
767
+ </element>
768
+ <optional>
769
+ <element name="secondary">
770
+ <oneOrMore>
771
+ <ref name="PureTextElement"/>
772
+ </oneOrMore>
773
+ </element>
734
774
  </optional>
735
775
  <optional>
736
- <attribute name="tertiary"/>
776
+ <element name="tertiary">
777
+ <oneOrMore>
778
+ <ref name="PureTextElement"/>
779
+ </oneOrMore>
780
+ </element>
737
781
  </optional>
782
+ <element name="target">
783
+ <oneOrMore>
784
+ <ref name="PureTextElement"/>
785
+ </oneOrMore>
786
+ </element>
738
787
  </element>
739
788
  </define>
740
789
  <!-- bare ID element, used for referencing arbitrary spans of text -->
@@ -55,6 +55,13 @@
55
55
  <param name="pattern">\i\c*|\c+#\c+</param>
56
56
  </data>
57
57
  </attribute>
58
+ <optional>
59
+ <attribute name="to">
60
+ <data type="string">
61
+ <param name="pattern">\i\c*|\c+#\c+</param>
62
+ </data>
63
+ </attribute>
64
+ </optional>
58
65
  <optional>
59
66
  <attribute name="type">
60
67
  <ref name="ReferenceFormat"/>
@@ -246,6 +253,12 @@
246
253
  <data type="boolean"/>
247
254
  </attribute>
248
255
  </optional>
256
+ <optional>
257
+ <attribute name="width"/>
258
+ </optional>
259
+ <optional>
260
+ <ref name="colgroup"/>
261
+ </optional>
249
262
  <optional>
250
263
  <ref name="tname"/>
251
264
  </optional>
@@ -764,6 +777,21 @@
764
777
  </define>
765
778
  </include>
766
779
  <!-- end overrides -->
780
+ <define name="colgroup">
781
+ <element name="colgroup">
782
+ <oneOrMore>
783
+ <ref name="col"/>
784
+ </oneOrMore>
785
+ </element>
786
+ </define>
787
+ <define name="col">
788
+ <element name="col">
789
+ <attribute name="width"/>
790
+ </element>
791
+ </define>
792
+ <define name="BibItemType" combine="choice">
793
+ <value>internal</value>
794
+ </define>
767
795
  <define name="TextElement" combine="choice">
768
796
  <ref name="concept"/>
769
797
  </define>
@@ -814,6 +842,9 @@
814
842
  <data type="boolean"/>
815
843
  </attribute>
816
844
  </optional>
845
+ <optional>
846
+ <attribute name="number"/>
847
+ </optional>
817
848
  <optional>
818
849
  <attribute name="obligation">
819
850
  <choice>
@@ -869,9 +900,11 @@
869
900
  <element name="code">
870
901
  <text/>
871
902
  </element>
872
- <element name="text">
873
- <text/>
874
- </element>
903
+ <optional>
904
+ <element name="text">
905
+ <text/>
906
+ </element>
907
+ </optional>
875
908
  </element>
876
909
  </define>
877
910
  <define name="standard-document">
@@ -1041,6 +1074,9 @@
1041
1074
  </choice>
1042
1075
  </attribute>
1043
1076
  </optional>
1077
+ <optional>
1078
+ <attribute name="number"/>
1079
+ </optional>
1044
1080
  <optional>
1045
1081
  <attribute name="type"/>
1046
1082
  </optional>
@@ -1094,6 +1130,9 @@
1094
1130
  <optional>
1095
1131
  <attribute name="type"/>
1096
1132
  </optional>
1133
+ <optional>
1134
+ <attribute name="number"/>
1135
+ </optional>
1097
1136
  <optional>
1098
1137
  <ref name="section-title"/>
1099
1138
  </optional>
@@ -1196,6 +1235,9 @@
1196
1235
  <optional>
1197
1236
  <attribute name="type"/>
1198
1237
  </optional>
1238
+ <optional>
1239
+ <attribute name="number"/>
1240
+ </optional>
1199
1241
  <optional>
1200
1242
  <attribute name="obligation">
1201
1243
  <choice>
@@ -1524,6 +1566,7 @@
1524
1566
  <value>add</value>
1525
1567
  <value>modify</value>
1526
1568
  <value>delete</value>
1569
+ <value>replace</value>
1527
1570
  </choice>
1528
1571
  </attribute>
1529
1572
  <optional>
@@ -1554,6 +1597,11 @@
1554
1597
  </optional>
1555
1598
  <optional>
1556
1599
  <element name="newcontent">
1600
+ <optional>
1601
+ <attribute name="id">
1602
+ <data type="ID"/>
1603
+ </attribute>
1604
+ </optional>
1557
1605
  <zeroOrMore>
1558
1606
  <ref name="BasicBlock"/>
1559
1607
  </zeroOrMore>
@@ -221,7 +221,7 @@ body {
221
221
  margin-left: auto;
222
222
  margin-right: auto;
223
223
  max-width: 100%;
224
- font-size: 15px;
224
+ font-size: {{normalfontsize}};
225
225
  font-weight: 300;
226
226
  line-height: 1.4em;
227
227
  color: #1d1d1d;
@@ -655,7 +655,7 @@ p.NormRef {
655
655
  pre,
656
656
  .pseudocode {
657
657
  background-color: #f7f7f7;
658
- font-size: 0.8em;
658
+ font-size: {{monospacefontsize}};
659
659
  line-height: 1.6em;
660
660
  padding: 1.5em;
661
661
  margin: 2em 0 1em 0;
@@ -759,7 +759,7 @@ a.footnote-number {
759
759
  font-size: 0.8em; }
760
760
 
761
761
  .footnote {
762
- font-size: 0.9em; }
762
+ font-size: {{footnotefontsize}}; }
763
763
 
764
764
  /*
765
765
  3.11 Blockquotes
@@ -10,7 +10,7 @@
10
10
  @import 'base_style/all';
11
11
 
12
12
  body {
13
- @include bodyStyle1(15px, 1.4em, #1d1d1d, #ffffff, 300);
13
+ @include bodyStyle1($normalfontsize, 1.4em, #1d1d1d, #ffffff, 300);
14
14
  // @include sidebarNavContainer(323px);
15
15
  }
16
16
 
@@ -417,7 +417,7 @@ a.footnote-number {
417
417
  }
418
418
 
419
419
  .footnote {
420
- font-size: 0.9em;
420
+ font-size: $footnotefontsize;
421
421
  }
422
422
 
423
423
  /*
@@ -9,7 +9,7 @@ p.Sourcecode, li.Sourcecode, div.Sourcecode, pre.Sourcecode, pre {
9
9
  text-align: left;
10
10
  mso-pagination: widow-orphan;
11
11
  tab-stops: 45.8pt 91.6pt 137.4pt 183.2pt 229.0pt 274.8pt 320.6pt 366.4pt 412.2pt 458.0pt 503.8pt 549.6pt 595.4pt 641.2pt 687.0pt 732.8pt;
12
- font-size: 10.0pt;
12
+ font-size: {{monospacefontsize}};
13
13
  font-family: {{monospacefont}};
14
14
  mso-fareast-font-family: Calibri;
15
15
  mso-bidi-font-family: "Courier New";
@@ -38,13 +38,13 @@ p.Biblio, li.Biblio, div.Biblio, p.NormRef, li.NormRef, div.NormRef {
38
38
  mso-style-parent: "";
39
39
  margin-top: 0cm;
40
40
  margin-right: 0cm;
41
- margin-bottom: 12.0pt;
41
+ margin-bottom: {{normalfontsize}};
42
42
  margin-left: 33.15pt;
43
43
  text-indent: -33.15pt;
44
44
  tab-stops: 33.15pt;
45
- line-height: 12.0pt;
45
+ line-height: {{normalfontsize}};
46
46
  mso-pagination: widow-orphan;
47
- font-size: 12.0pt;
47
+ font-size: {{normalfontsize}};
48
48
  font-weight: normal;
49
49
  font-family: {{bodyfont}};
50
50
  mso-fareast-font-family: {{bodyfont}};
@@ -60,11 +60,11 @@ p.FigureTitle {
60
60
  margin-bottom: 6.0pt;
61
61
  margin-left: 0cm;
62
62
  text-align: center;
63
- line-height: 12.0pt;
63
+ line-height: {{normalfontsize}};
64
64
  page-break-before: avoid;
65
65
  mso-pagination: widow-orphan;
66
66
  tab-stops: 20.15pt;
67
- font-size: 11.0pt;
67
+ font-size: {{smallerfontsize}};
68
68
  font-weight: bold;
69
69
  font-family: {{bodyfont}};
70
70
  mso-fareast-font-family: {{bodyfont}};
@@ -80,11 +80,11 @@ p.SourceTitle {
80
80
  margin-bottom: 6.0pt;
81
81
  margin-left: 0cm;
82
82
  text-align: center;
83
- line-height: 12.0pt;
83
+ line-height: {{normalfontsize}};
84
84
  page-break-before: avoid;
85
85
  mso-pagination: widow-orphan;
86
86
  tab-stops: 20.15pt;
87
- font-size: 11.0pt;
87
+ font-size: {{smallerfontsize}};
88
88
  font-weight: bold;
89
89
  font-family: {{bodyfont}};
90
90
  mso-fareast-font-family: {{bodyfont}};
@@ -100,11 +100,11 @@ p.AdmonitionTitle, p.RecommendationTitle {
100
100
  margin-bottom: 6.0pt;
101
101
  margin-left: 0cm;
102
102
  text-align: center;
103
- line-height: 12.0pt;
103
+ line-height: {{normalfontsize}};
104
104
  page-break-after: avoid;
105
105
  mso-pagination: widow-orphan;
106
106
  tab-stops: 20.15pt;
107
- font-size: 11.0pt;
107
+ font-size: {{smallerfontsize}};
108
108
  font-weight: bold;
109
109
  font-family: {{bodyfont}};
110
110
  mso-fareast-font-family: {{bodyfont}};
@@ -121,10 +121,10 @@ p.TableTitle {
121
121
  margin-left: 0cm;
122
122
  text-align: center;
123
123
  page-break-after: avoid;
124
- line-height: 12.0pt;
124
+ line-height: {{normalfontsize}};
125
125
  mso-pagination: widow-orphan;
126
126
  tab-stops: 20.15pt;
127
- font-size: 11.0pt;
127
+ font-size: {{smallerfontsize}};
128
128
  font-family: {{bodyfont}};
129
129
  mso-fareast-font-family: {{bodyfont}};
130
130
  mso-bidi-font-family: {{bodyfont}};
@@ -136,14 +136,14 @@ p.Note, div.Note, li.Note, p.TableFootnote, div.TableFootnote, li.TableFootnote
136
136
  mso-style-parent: "";
137
137
  margin-top: 0cm;
138
138
  margin-right: 0cm;
139
- margin-bottom: 12.0pt;
139
+ margin-bottom: {{normalfontsize}};
140
140
  margin-left: 0cm;
141
141
  text-align: justify;
142
- line-height: 12.0pt;
142
+ line-height: {{normalfontsize}};
143
143
  mso-pagination: widow-orphan;
144
144
  tab-stops: 20.15pt;
145
- font-size: 11.0pt;
146
- mso-bidi-font-size: 11.0pt;
145
+ font-size: {{smallerfontsize}};
146
+ mso-bidi-font-size: {{smallerfontsize}};
147
147
  font-family: {{bodyfont}};
148
148
  mso-fareast-font-family: {{bodyfont}};
149
149
  mso-bidi-font-family: {{bodyfont}};
@@ -168,8 +168,8 @@ p.ANNEX, li.ANNEX, div.ANNEX {
168
168
  mso-outline-level: 1;
169
169
  mso-list: l0 level1 lfo12;
170
170
  tab-stops: 20.15pt;
171
- font-size: 12.0pt;
172
- mso-bidi-font-size: 11.0pt;
171
+ font-size: {{normalfontsize}};
172
+ mso-bidi-font-size: {{smallerfontsize}};
173
173
  font-family: {{headerfont}};
174
174
  color: #0E1A85;
175
175
  mso-fareast-font-family: {{headerfont}};
@@ -191,8 +191,8 @@ p.BiblioTitle, li.BiblioTitle, div.BiblioTitle {
191
191
  mso-pagination: widow-orphan;
192
192
  mso-outline-level: 1;
193
193
  tab-stops: 20.15pt;
194
- font-size: 12.0pt;
195
- mso-bidi-font-size: 11.0pt;
194
+ font-size: {{normalfontsize}};
195
+ mso-bidi-font-size: {{smallerfontsize}};
196
196
  font-family: {{headerfont}};
197
197
  color: #0E1A85;
198
198
  mso-fareast-font-family: {{headerfont}};
@@ -206,13 +206,13 @@ p.Definition, li.Definition, div.Definition {
206
206
  mso-style-unhide: no;
207
207
  margin-top: 0cm;
208
208
  margin-right: 0cm;
209
- margin-bottom: 12.0pt;
209
+ margin-bottom: {{normalfontsize}};
210
210
  margin-left: 0cm;
211
211
  text-align: justify;
212
- line-height: 12.0pt;
212
+ line-height: {{normalfontsize}};
213
213
  mso-pagination: widow-orphan;
214
214
  tab-stops: 20.15pt;
215
- font-size: 12.0pt;
215
+ font-size: {{normalfontsize}};
216
216
  font-family: {{bodyfont}};
217
217
  mso-fareast-font-family: {{bodyfont}};
218
218
  mso-bidi-font-family: {{bodyfont}};
@@ -234,8 +234,8 @@ p.ForewordTitle, li.ForewordTitle, div.ForewordTitle {
234
234
  mso-outline-level: 1;
235
235
  mso-hyphenate: none;
236
236
  tab-stops: 20.15pt;
237
- font-size: 12.0pt;
238
- mso-bidi-font-size: 11.0pt;
237
+ font-size: {{normalfontsize}};
238
+ mso-bidi-font-size: {{smallerfontsize}};
239
239
  font-family: {{headerfont}};
240
240
  color: #0E1A85;
241
241
  mso-fareast-font-family: {{headerfont}};
@@ -259,8 +259,8 @@ p.IntroTitle, li.IntroTitle, div.IntroTitle {
259
259
  mso-outline-level: 1;
260
260
  mso-hyphenate: none;
261
261
  tab-stops: 20.15pt;
262
- font-size: 12.0pt;
263
- mso-bidi-font-size: 11.0pt;
262
+ font-size: {{normalfontsize}};
263
+ mso-bidi-font-size: {{smallerfontsize}};
264
264
  font-family: {{headerfont}};
265
265
  color: #0E1A85;
266
266
  mso-fareast-font-family: {{headerfont}};
@@ -283,8 +283,8 @@ p.TitlePageSubhead, li.TitlePageSubhead, div.TitlePageSubhead {
283
283
  page-break-after: avoid;
284
284
  mso-hyphenate: none;
285
285
  tab-stops: 20.15pt;
286
- font-size: 12.0pt;
287
- mso-bidi-font-size: 11.0pt;
286
+ font-size: {{normalfontsize}};
287
+ mso-bidi-font-size: {{smallerfontsize}};
288
288
  font-family: {{headerfont}};
289
289
  color: #0E1A85;
290
290
  mso-fareast-font-family: {{headerfont}};
@@ -299,12 +299,12 @@ p.Terms, li.Terms, div.Terms {
299
299
  mso-style-next: Definition;
300
300
  margin: 0cm;
301
301
  margin-bottom: .0001pt;
302
- line-height: 12.0pt;
302
+ line-height: {{normalfontsize}};
303
303
  mso-pagination: widow-orphan;
304
304
  page-break-after: avoid;
305
305
  mso-hyphenate: none;
306
306
  tab-stops: 20.15pt;
307
- font-size: 12.0pt;
307
+ font-size: {{normalfontsize}};
308
308
  font-family: {{headerfont}};
309
309
  mso-fareast-font-family: {{headerfont}};
310
310
  mso-bidi-font-family: {{headerfont}};
@@ -318,12 +318,12 @@ p.AltTerms, li.AltTerms, div.AltTerms {
318
318
  mso-style-next: Definition;
319
319
  margin: 0cm;
320
320
  margin-bottom: .0001pt;
321
- line-height: 12.0pt;
321
+ line-height: {{normalfontsize}};
322
322
  mso-pagination: widow-orphan;
323
323
  page-break-after: avoid;
324
324
  mso-hyphenate: none;
325
325
  tab-stops: 20.15pt;
326
- font-size: 12.0pt;
326
+ font-size: {{normalfontsize}};
327
327
  font-family: {{bodyfont}};
328
328
  mso-fareast-font-family: {{bodyfont}};
329
329
  mso-bidi-font-family: {{bodyfont}};
@@ -337,12 +337,12 @@ p.DeprecatedTerms, li.DeprecatedTerms, div.DeprecatedTerms {
337
337
  mso-style-next: Definition;
338
338
  margin: 0cm;
339
339
  margin-bottom: .0001pt;
340
- line-height: 12.0pt;
340
+ line-height: {{normalfontsize}};
341
341
  mso-pagination: widow-orphan;
342
342
  page-break-after: avoid;
343
343
  mso-hyphenate: none;
344
344
  tab-stops: 20.15pt;
345
- font-size: 12.0pt;
345
+ font-size: {{normalfontsize}};
346
346
  font-family: {{bodyfont}};
347
347
  mso-fareast-font-family: {{bodyfont}};
348
348
  mso-bidi-font-family: {{bodyfont}};
@@ -356,11 +356,11 @@ p.TermNum, li.TermNum, div.TermNum {
356
356
  mso-style-next: "Term\(s\)";
357
357
  margin: 0cm;
358
358
  margin-bottom: .0001pt;
359
- line-height: 12.0pt;
359
+ line-height: {{normalfontsize}};
360
360
  mso-pagination: widow-orphan;
361
361
  page-break-after: avoid;
362
362
  tab-stops: 20.15pt;
363
- font-size: 12.0pt;
363
+ font-size: {{normalfontsize}};
364
364
  font-family: {{headerfont}};
365
365
  mso-fareast-font-family: {{headerfont}};
366
366
  mso-bidi-font-family: {{headerfont}};
@@ -384,8 +384,8 @@ p.zzContents, li.zzContents, div.zzContents {
384
384
  page-break-after: avoid;
385
385
  mso-hyphenate: none;
386
386
  tab-stops: 20.15pt;
387
- font-size: 12.0pt;
388
- mso-bidi-font-size: 11.0pt;
387
+ font-size: {{normalfontsize}};
388
+ mso-bidi-font-size: {{smallerfontsize}};
389
389
  font-family: {{headerfont}};
390
390
  color: #0E1A85;
391
391
  mso-fareast-font-family: {{headerfont}};
@@ -400,15 +400,15 @@ p.zzCopyright, li.zzCopyright {
400
400
  mso-style-next: Normal;
401
401
  margin-top: 0cm;
402
402
  margin-right: 14.2pt;
403
- margin-bottom: 12.0pt;
403
+ margin-bottom: {{normalfontsize}};
404
404
  margin-left: 14.2pt;
405
405
  text-align: justify;
406
- line-height: 12.0pt;
406
+ line-height: {{normalfontsize}};
407
407
  mso-pagination: widow-orphan;
408
408
  tab-stops: 20.15pt 25.7pt 481.15pt;
409
409
  padding: 0cm;
410
410
  mso-padding-alt: 1.0pt 4.0pt 1.0pt 4.0pt;
411
- font-size: 12.0pt;
411
+ font-size: {{normalfontsize}};
412
412
  font-family: {{bodyfont}};
413
413
  mso-fareast-font-family: {{bodyfont}};
414
414
  mso-bidi-font-family: {{bodyfont}};
@@ -434,9 +434,9 @@ p.zzCopyright_address {
434
434
  text-autospace: none;
435
435
  padding-left: 20pt;
436
436
  mso-padding-alt-left: 20pt;
437
- font-size: 12.0pt;
437
+ font-size: {{normalfontsize}};
438
438
  text-align: left;
439
- mso-bidi-font-size: 11.0pt; }
439
+ mso-bidi-font-size: {{smallerfontsize}}; }
440
440
 
441
441
  p.zzSTDTitle, li.zzSTDTitle, div.zzSTDTitle {
442
442
  mso-style-name: zzSTDTitle;
@@ -453,7 +453,7 @@ p.zzSTDTitle, li.zzSTDTitle, div.zzSTDTitle {
453
453
  mso-hyphenate: none;
454
454
  tab-stops: 20.15pt;
455
455
  font-size: 16.0pt;
456
- mso-bidi-font-size: 11.0pt;
456
+ mso-bidi-font-size: {{smallerfontsize}};
457
457
  font-family: {{headerfont}};
458
458
  mso-fareast-font-family: {{headerfont}};
459
459
  mso-bidi-font-family: {{headerfont}};
@@ -475,7 +475,7 @@ p.zzSTDTitle1, li.zzSTDTitle1, div.zzSTDTitle1 {
475
475
  mso-hyphenate: none;
476
476
  tab-stops: 20.15pt;
477
477
  font-size: 16.0pt;
478
- mso-bidi-font-size: 11.0pt;
478
+ mso-bidi-font-size: {{smallerfontsize}};
479
479
  font-family: {{headerfont}};
480
480
  mso-fareast-font-family: {{headerfont}};
481
481
  mso-bidi-font-family: {{headerfont}};
@@ -490,10 +490,10 @@ p.Quote, li.Quote, div.Quote {
490
490
  margin-bottom: 0cm;
491
491
  margin-left: 36.0pt;
492
492
  text-align: justify;
493
- line-height: 12.0pt;
493
+ line-height: {{normalfontsize}};
494
494
  mso-pagination: widow-orphan;
495
495
  tab-stops: 20.15pt;
496
- font-size: 12.0pt;
496
+ font-size: {{normalfontsize}};
497
497
  font-family: {{bodyfont}};
498
498
  mso-fareast-font-family: {{bodyfont}};
499
499
  mso-bidi-font-family: {{bodyfont}};
@@ -506,10 +506,10 @@ p.QuoteAttribution {
506
506
  margin-right: 36.0pt;
507
507
  margin-bottom: 0cm;
508
508
  margin-left: 36.0pt;
509
- line-height: 12.0pt;
509
+ line-height: {{normalfontsize}};
510
510
  mso-pagination: widow-orphan;
511
511
  tab-stops: 20.15pt;
512
- font-size: 12.0pt;
512
+ font-size: {{normalfontsize}};
513
513
  font-family: {{bodyfont}};
514
514
  mso-fareast-font-family: {{bodyfont}};
515
515
  mso-bidi-font-family: {{bodyfont}};
@@ -528,7 +528,7 @@ p.Admonition, li.Admonition, div.Admonition {
528
528
  mso-border-themecolor: accent1;
529
529
  padding: 0cm;
530
530
  mso-padding-alt: 10.0pt 10.0pt 10.0pt 10.0pt;
531
- font-size: 12.0pt;
531
+ font-size: {{normalfontsize}};
532
532
  font-family: {{bodyfont}};
533
533
  mso-ascii-font-family: {{bodyfont}};
534
534
  mso-ascii-theme-font: minor-latin;
@@ -554,7 +554,7 @@ p.Code, li.Code, div.Code {
554
554
  mso-pagination: widow-orphan;
555
555
  tab-stops: 20.15pt;
556
556
  font-size: 10.0pt;
557
- mso-bidi-font-size: 11.0pt;
557
+ mso-bidi-font-size: {{smallerfontsize}};
558
558
  font-family: {{monospacefont}};
559
559
  mso-fareast-font-family: Calibri;
560
560
  mso-bidi-font-family: "Source Sans Pro";
@@ -566,12 +566,12 @@ p.Formula, li.Formula, div.Formula {
566
566
  mso-style-unhide: no;
567
567
  margin-top: 0cm;
568
568
  margin-right: 0cm;
569
- margin-bottom: 11.0pt;
569
+ margin-bottom: {{smallerfontsize}};
570
570
  margin-left: 20.15pt;
571
- line-height: 12.0pt;
571
+ line-height: {{normalfontsize}};
572
572
  mso-pagination: widow-orphan;
573
573
  tab-stops: right 487.45pt;
574
- font-size: 12.0pt;
574
+ font-size: {{normalfontsize}};
575
575
  font-family: {{bodyfont}};
576
576
  mso-fareast-font-family: {{bodyfont}};
577
577
  mso-bidi-font-family: {{bodyfont}};
@@ -685,7 +685,7 @@ table.MsoISOTable, table.MsoISOTableBig {
685
685
  mso-yfti-tbllook: 480;
686
686
  mso-border-insideh: .75pt solid windowtext;
687
687
  mso-border-insidev: .75pt solid windowtext;
688
- font-size: 12.0pt;
688
+ font-size: {{normalfontsize}};
689
689
  font-family: {{bodyfont}}; }
690
690
 
691
691
  table.MsoISOTable th, table.MsoISOTableBig th {
@@ -699,7 +699,7 @@ table.MsoISOTable td, table.MsoISOTableBig td {
699
699
  padding: 0cm 2.85pt 0cm 2.85pt; }
700
700
 
701
701
  table.MsoISOTable p, table.MsoISOTableBig p {
702
- font-size: 12.0pt; }
702
+ font-size: {{normalfontsize}}; }
703
703
 
704
704
  table.MsoTableGrid {
705
705
  mso-style-name: "Table Grid";
@@ -715,7 +715,7 @@ table.MsoTableGrid {
715
715
  mso-para-margin: 0cm;
716
716
  mso-para-margin-bottom: .0001pt;
717
717
  mso-pagination: widow-orphan;
718
- font-size: 12.0pt;
718
+ font-size: {{normalfontsize}};
719
719
  font-family: {{bodyfont}}; }
720
720
 
721
721
  div.formula {
@@ -731,7 +731,7 @@ body {
731
731
 
732
732
  .coverpage_techcommittee {
733
733
  text-align: center;
734
- font-size: 12.0pt; }
734
+ font-size: {{normalfontsize}}; }
735
735
 
736
736
  .coverpage_docstage {
737
737
  text-align: center;
@@ -743,13 +743,13 @@ div.coverpage_warning {
743
743
  border: solid windowtext 1.0pt #485094;
744
744
  mso-border-alt: solid windowtext .5pt;
745
745
  padding: 1.0pt 4.0pt 1.0pt 4.0pt #485094;
746
- font-size: 12.0pt;
746
+ font-size: {{normalfontsize}};
747
747
  margin-left: 4.25pt;
748
748
  margin-right: 4.25pt; }
749
749
 
750
750
  .coverpage_warning {
751
751
  color: #485094;
752
- font-size: 12.0pt; }
752
+ font-size: {{normalfontsize}}; }
753
753
 
754
754
  a.TableFootnoteRef, span.TableFootnoteRef {
755
755
  mso-style-priority: 99;
@@ -757,7 +757,7 @@ a.TableFootnoteRef, span.TableFootnoteRef {
757
757
  vertical-align: super; }
758
758
 
759
759
  aside {
760
- font-size: 12.0pt; }
760
+ font-size: {{normalfontsize}}; }
761
761
 
762
762
  .example-title {
763
763
  font-weight: bold;
@@ -775,36 +775,36 @@ div.example {
775
775
 
776
776
  p.example, li.example, div.example, td.example {
777
777
  mso-pagination: none;
778
- font-size: 11.0pt;
778
+ font-size: {{smallerfontsize}};
779
779
  font-family: {{bodyfont}}; }
780
780
 
781
781
  td.example p.MsoListParagraph {
782
- font-size: 11.0pt; }
782
+ font-size: {{smallerfontsize}}; }
783
783
 
784
784
  div.example p.MsoListParagraph {
785
- font-size: 11.0pt; }
785
+ font-size: {{smallerfontsize}}; }
786
786
 
787
787
  div.Note p.MsoListParagraph {
788
- font-size: 11.0pt;
788
+ font-size: {{smallerfontsize}};
789
789
  margin-left: 1.0cm; }
790
790
 
791
791
  div.Note span.stem {
792
- font-size: 11.0pt; }
792
+ font-size: {{smallerfontsize}}; }
793
793
 
794
794
  div.Note p.Sourcecode, div.Note pre.Sourcecode {
795
795
  font-size: 9.0pt;
796
796
  margin-left: 1.0cm; }
797
797
 
798
798
  div.Note table.dl {
799
- font-size: 11.0pt;
799
+ font-size: {{smallerfontsize}};
800
800
  margin-left: 1.0cm; }
801
801
 
802
802
  span.note_label, span.example_label, td.example_label, td.note_label {
803
- font-size: 11.0pt;
803
+ font-size: {{smallerfontsize}};
804
804
  font-family: {{bodyfont}}; }
805
805
 
806
806
  table.dl {
807
807
  margin-top: 0cm;
808
808
  margin-right: 0cm;
809
- margin-bottom: 11.0pt;
809
+ margin-bottom: {{smallerfontsize}};
810
810
  margin-left: 20.15pt; }