metanorma-ribose 1.6.7 → 1.6.8

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: 5b8397d03f03da8ff6d015bdd4385f6b1670362bde92ec5a98e5d1b5b34a0f6c
4
+ data.tar.gz: d51347bf7b7a494e3f2f0d2f328e5ecc93e7ec34e49d2503ebd0b9219237bfc9
5
5
  SHA512:
6
- metadata.gz: 53555a7d36d54ae64d42d9040b883cee399c74bfe5c74aa520f0dc8ef9e932bfacfdee420e27e3b32babf975e43742284b0a7a25615afd730fad1e2052d3b933
7
- data.tar.gz: e635ecbb20175f49919a9aaae04bf6f80823af1ee37eb5010f4798ea9554ce2171f05ad4a2eef0b16a68d9cd8ed8e3acd535800ca4a2f3a2d7fc2b86b57d4946
6
+ metadata.gz: efa57a6d0d6abc5107ca8408045259e68c18035e3c01b6b9b4b226b5cbef96fb8f0fba78fcb4da7b367815c3896343b2b7899c319d4dcf565da8c774c873724f
7
+ data.tar.gz: 4dbbbb02ba634a2041e20da6cc81976f101b1ba2919708359a791d5e1f7b51413e103cb0511e8dccab2f595fbe3c8043d3945185c97b67d150048004302735b3
@@ -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') }}
@@ -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; }