metanorma-m3aawg 1.6.0 → 1.6.5

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: 61c7453fc66f2ef72400f75a2064c1cdb3137b581ec67770c7ce1e1ff70a3fa4
4
+ data.tar.gz: e28b2e5a2d09a6e19d5fe0d52241835b7700857ca2b0eac032819b5df9db7819
5
5
  SHA512:
6
- metadata.gz: ce3566f1142e13b1e7643dff05304bfe46e00a45aefcd147fcc7b6c995cf390bf7ead57f1951aab95327408908611810f8a6b00abcd4231e5a66418de1953f21
7
- data.tar.gz: f46acdf4f84b6a3c14cbe24c4ef9115254150afba1bda0dbc8583478a265eb9f1148f2bdacec040f8dcea820c9e270cf31b94660aaba49328318c810ac97ab80
6
+ metadata.gz: 51d535955b6710fc27fab095060627c5bdc9cbb29122893fbce99412f993146ba3395f46f79cf0d3b3ae4a6a65332f97e04fbd5bddb83810f1d6cc6ccf359d03
7
+ data.tar.gz: acf4946122cc080f7f79cc4ba334b2d1929a7351f789423c3143ffca4abb2870ae5410469c58ddde57fdb57fb4c8acacd8c0052e31191300a15af94001c7c45f
@@ -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') }}
@@ -48,15 +51,14 @@ jobs:
48
51
 
49
52
  - run: bundle exec rake
50
53
 
51
- notify:
52
- name: Trigger notify workflow
54
+ tests-passed:
53
55
  needs: rake
54
56
  runs-on: ubuntu-latest
55
57
  steps:
56
- - name: Trigger notify workflow
58
+ - name: Trigger tests passed event
57
59
  uses: Sibz/github-status-action@v1
58
60
  with:
59
- authToken: ${{ secrets.GITHUB_TOKEN }}
61
+ authToken: ${{ secrets.METANORMA_CI_PAT_TOKEN || secrets.GITHUB_TOKEN }}
60
62
  context: 'tests-passed-successfully'
61
63
  description: 'Tests passed successfully'
62
64
  state: 'success'
@@ -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>
@@ -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}}; }