metanorma-iec 1.2.8 → 1.2.13

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (43) hide show
  1. checksums.yaml +4 -4
  2. data/.github/workflows/rake.yml +7 -5
  3. data/lib/asciidoctor/iec/basicdoc.rng +52 -3
  4. data/lib/asciidoctor/iec/converter.rb +25 -1
  5. data/lib/asciidoctor/iec/front.rb +35 -58
  6. data/lib/asciidoctor/iec/iec.rng +81 -1
  7. data/lib/asciidoctor/iec/iec_intro_en.xml +110 -56
  8. data/lib/asciidoctor/iec/iec_intro_fr.xml +78 -22
  9. data/lib/asciidoctor/iec/isodoc.rng +51 -3
  10. data/lib/asciidoctor/iec/isostandard.rng +27 -10
  11. data/lib/isodoc/iec/base_convert.rb +2 -2
  12. data/lib/isodoc/iec/html/html_iec_intro.html +1 -1
  13. data/lib/isodoc/iec/html/htmlstyle.css +5 -5
  14. data/lib/isodoc/iec/html/htmlstyle.scss +4 -4
  15. data/lib/isodoc/iec/html/isodoc.css +79 -79
  16. data/lib/isodoc/iec/html/isodoc.scss +79 -79
  17. data/lib/isodoc/iec/html/word_iec_intro.html +1 -1
  18. data/lib/isodoc/iec/html/wordstyle.css +120 -120
  19. data/lib/isodoc/iec/html/wordstyle.scss +120 -120
  20. data/lib/isodoc/iec/html_convert.rb +10 -2
  21. data/lib/isodoc/iec/i18n-en.yaml +17 -0
  22. data/lib/isodoc/iec/i18n-fr.yaml +18 -0
  23. data/lib/isodoc/iec/iec.international-standard.xsl +914 -398
  24. data/lib/isodoc/iec/metadata.rb +33 -0
  25. data/lib/isodoc/iec/presentation_xml_convert.rb +12 -0
  26. data/lib/isodoc/iec/word_convert.rb +12 -2
  27. data/lib/metanorma/iec/processor.rb +11 -8
  28. data/lib/metanorma/iec/version.rb +1 -1
  29. data/metanorma-iec.gemspec +2 -3
  30. data/spec/asciidoctor-iec/base_spec.rb +444 -10
  31. data/spec/asciidoctor-iec/blocks_spec.rb +25 -21
  32. data/spec/asciidoctor-iec/cleanup_spec.rb +99 -14
  33. data/spec/asciidoctor-iec/iev_spec.rb +15 -6
  34. data/spec/asciidoctor-iec/inline_spec.rb +11 -7
  35. data/spec/asciidoctor-iec/lists_spec.rb +13 -9
  36. data/spec/asciidoctor-iec/section_spec.rb +9 -5
  37. data/spec/asciidoctor-iec/validate_spec.rb +16 -1
  38. data/spec/isodoc/i18n_spec.rb +30 -0
  39. data/spec/isodoc/iso_spec.rb +4 -4
  40. data/spec/isodoc/metadata_spec.rb +23 -1
  41. data/spec/metanorma/processor_spec.rb +1 -1
  42. data/spec/spec_helper.rb +20 -31
  43. metadata +5 -19
data/lib/isodoc/iec/html/isodoc.scss CHANGED
@@ -10,9 +10,9 @@ p.Sourcecode, li.Sourcecode, div.Sourcecode, pre.Sourcecode
10
10
  text-align:left;
11
11
  mso-pagination:widow-orphan;
12
12
  layout-grid-mode:char;
13
- font-size:9.0pt;
14
- mso-bidi-font-size:10.0pt;
15
- font-family:"Courier New",monospace;
13
+ font-size:$monospacefontsize;
14
+ mso-bidi-font-size:$normalfontsize;
15
+ font-family:$monospacefont;
16
16
  mso-fareast-font-family:"Times New Roman";
17
17
  mso-bidi-font-family:Arial;
18
18
  letter-spacing:-.1pt;
@@ -30,9 +30,9 @@ p.pseudocode, li.pseudocode, div.pseudocode
30
30
  text-align:left;
31
31
  mso-pagination:widow-orphan;
32
32
  layout-grid-mode:char;
33
- font-size:10.0pt;
34
- mso-bidi-font-size:10.0pt;
35
- font-family:"Arial",sans-serif;
33
+ font-size:$normalfontsize;
34
+ mso-bidi-font-size:$normalfontsize;
35
+ font-family:$bodyfont;
36
36
  mso-fareast-font-family:"Times New Roman";
37
37
  mso-bidi-font-family:Arial;
38
38
  letter-spacing:-.1pt;
@@ -52,9 +52,9 @@ p.CODE-TableCell, li.CODE-TableCell, div.CODE-TableCell, pre.CODE-TableCell
52
52
  text-align:left;
53
53
  mso-pagination:widow-orphan;
54
54
  layout-grid-mode:char;
55
- font-size:8.0pt;
56
- mso-bidi-font-size:10.0pt;
57
- font-family:"Courier New";
55
+ font-size:$smallerfontsize;
56
+ mso-bidi-font-size:$normalfontsize;
57
+ font-family:$monospacefontsize;
58
58
  mso-fareast-font-family:"Times New Roman";
59
59
  mso-bidi-font-family:Arial;
60
60
  letter-spacing:-.1pt;
@@ -68,7 +68,7 @@ p.Biblio, li.Biblio, div.Biblio
68
68
  mso-style-parent:Normal;
69
69
  margin-top:5.0pt;
70
70
  margin-right:0cm;
71
- margin-bottom:10.0pt;
71
+ margin-bottom:$normalfontsize;
72
72
  margin-left:34.0pt;
73
73
  text-align:justify;
74
74
  text-indent:-34.0pt;
@@ -77,8 +77,8 @@ p.Biblio, li.Biblio, div.Biblio
77
77
  /* mso-list:l6 level1 lfo20; */
78
78
  tab-stops:list 34.0pt;
79
79
  layout-grid-mode:char;
80
- font-size:10.0pt;
81
- font-family:"Arial",sans-serif;
80
+ font-size:$normalfontsize;
81
+ font-family:$bodyfont;
82
82
  mso-fareast-font-family:"Times New Roman";
83
83
  letter-spacing:.4pt;
84
84
  mso-ansi-language:EN-GB;
@@ -89,7 +89,7 @@ p.NormRef, li.NormRef, div.NormRef
89
89
  mso-style-parent:Normal;
90
90
  margin-top:5.0pt;
91
91
  margin-right:0cm;
92
- margin-bottom:10.0pt;
92
+ margin-bottom:$normalfontsize;
93
93
  margin-left:0pt;
94
94
  text-align:justify;
95
95
  mso-pagination:widow-orphan;
@@ -97,8 +97,8 @@ p.NormRef, li.NormRef, div.NormRef
97
97
  /* mso-list:l6 level1 lfo20; */
98
98
  tab-stops:list 34.0pt;
99
99
  layout-grid-mode:char;
100
- font-size:10.0pt;
101
- font-family:"Arial",sans-serif;
100
+ font-size:$normalfontsize;
101
+ font-family:$bodyfont;
102
102
  mso-fareast-font-family:"Times New Roman";
103
103
  letter-spacing:.4pt;
104
104
  mso-ansi-language:EN-GB;
@@ -110,13 +110,13 @@ p.FigureTitle
110
110
  mso-style-next:Normal;
111
111
  margin-top:5.0pt;
112
112
  margin-right:0cm;
113
- margin-bottom:10.0pt;
113
+ margin-bottom:$normalfontsize;
114
114
  margin-left:0cm;
115
115
  text-align:center;
116
116
  mso-pagination:widow-orphan;
117
117
  layout-grid-mode:char;
118
- font-size:10.0pt;
119
- font-family:"Arial",sans-serif;
118
+ font-size:$normalfontsize;
119
+ font-family:$headerfont;
120
120
  mso-fareast-font-family:"Times New Roman";
121
121
  letter-spacing:.4pt;
122
122
  mso-ansi-language:EN-GB;
@@ -128,13 +128,13 @@ p.AdmonitionTitle, p.RecommendationTitle
128
128
  mso-style-next:Normal;
129
129
  margin-top:5.0pt;
130
130
  margin-right:0cm;
131
- margin-bottom:10.0pt;
131
+ margin-bottom:$normalfontsize;
132
132
  margin-left:0cm;
133
133
  text-align:center;
134
134
  mso-pagination:widow-orphan;
135
135
  layout-grid-mode:char;
136
- font-size:10.0pt;
137
- font-family:"Arial",sans-serif;
136
+ font-size:$normalfontsize;
137
+ font-family:$headerfont;
138
138
  mso-fareast-font-family:"Times New Roman";
139
139
  letter-spacing:.4pt;
140
140
  mso-ansi-language:EN-GB;
@@ -146,13 +146,13 @@ p.SourceTitle
146
146
  mso-style-next:Normal;
147
147
  margin-top:5.0pt;
148
148
  margin-right:0cm;
149
- margin-bottom:10.0pt;
149
+ margin-bottom:$normalfontsize;
150
150
  margin-left:0cm;
151
151
  text-align:center;
152
152
  mso-pagination:widow-orphan;
153
153
  layout-grid-mode:char;
154
- font-size:10.0pt;
155
- font-family:"Arial",sans-serif;
154
+ font-size:$normalfontsize;
155
+ font-family:$headerfont;
156
156
  mso-fareast-font-family:"Times New Roman";
157
157
  letter-spacing:.4pt;
158
158
  mso-ansi-language:EN-GB;
@@ -166,14 +166,14 @@ p.TableTitle
166
166
  mso-style-next:Normal;
167
167
  margin-top:5.0pt;
168
168
  margin-right:0cm;
169
- margin-bottom:10.0pt;
169
+ margin-bottom:$normalfontsize;
170
170
  margin-left:0cm;
171
171
  text-align:center;
172
172
  mso-pagination:widow-orphan;
173
173
  page-break-after:avoid;
174
174
  layout-grid-mode:char;
175
- font-size:10.0pt;
176
- font-family:"Arial",sans-serif;
175
+ font-size:$normalfontsize;
176
+ font-family:$headerfont;
177
177
  mso-fareast-font-family:"Times New Roman";
178
178
  letter-spacing:.4pt;
179
179
  mso-ansi-language:EN-GB;
@@ -191,8 +191,8 @@ p.Note, div.Note, li.Note
191
191
  text-align:justify;
192
192
  mso-pagination:widow-orphan;
193
193
  layout-grid-mode:char;
194
- font-size:8.0pt;
195
- font-family:"Arial",sans-serif;
194
+ font-size:$smallerfontsize;
195
+ font-family:$bodyfont;
196
196
  mso-fareast-font-family:"Times New Roman";
197
197
  letter-spacing:.4pt;
198
198
  mso-ansi-language:EN-GB;
@@ -212,8 +212,8 @@ p.TableFootnote, div.TableFootnote, li.TableFootnote
212
212
  mso-pagination:widow-orphan;
213
213
  tab-stops:14.2pt;
214
214
  layout-grid-mode:char;
215
- font-size:8.0pt;
216
- font-family:"Arial",sans-serif;
215
+ font-size:$smallerfontsize;
216
+ font-family:$bodyfont;
217
217
  mso-fareast-font-family:"Times New Roman";
218
218
  letter-spacing:.4pt;
219
219
  mso-ansi-language:EN-GB;
@@ -227,7 +227,7 @@ p.ForewordTitle, li.ForewordTitle, div.ForewordTitle, h1.ForewordTitle
227
227
  mso-style-next:Normal;
228
228
  margin-top:0cm;
229
229
  margin-right:0cm;
230
- margin-bottom:10.0pt;
230
+ margin-bottom:$normalfontsize;
231
231
  margin-left:0cm;
232
232
  text-align:center;
233
233
  text-indent:0pt;
@@ -237,8 +237,8 @@ p.ForewordTitle, li.ForewordTitle, div.ForewordTitle, h1.ForewordTitle
237
237
  mso-hyphenate:none;
238
238
  layout-grid-mode:char;
239
239
  font-size:12.0pt;
240
- mso-bidi-font-size:10.0pt;
241
- font-family:"Arial",sans-serif;
240
+ mso-bidi-font-size:$normalfontsize;
241
+ font-family:$headerfont;
242
242
  mso-fareast-font-family:"Times New Roman";
243
243
  letter-spacing:.4pt;
244
244
  mso-ansi-language:EN-GB;
@@ -252,7 +252,7 @@ p.IntroTitle, li.IntroTitle, div.IntroTitle, h1.IntroTitle
252
252
  mso-style-next:Normal;
253
253
  margin-top:0cm;
254
254
  margin-right:0cm;
255
- margin-bottom:10.0pt;
255
+ margin-bottom:$normalfontsize;
256
256
  margin-left:0cm;
257
257
  text-align:center;
258
258
  text-indent:0pt;
@@ -262,8 +262,8 @@ p.IntroTitle, li.IntroTitle, div.IntroTitle, h1.IntroTitle
262
262
  mso-hyphenate:none;
263
263
  layout-grid-mode:char;
264
264
  font-size:12.0pt;
265
- mso-bidi-font-size:10.0pt;
266
- font-family:"Arial",sans-serif;
265
+ mso-bidi-font-size:$normalfontsize;
266
+ font-family:$headerfont;
267
267
  mso-fareast-font-family:"Times New Roman";
268
268
  letter-spacing:.4pt;
269
269
  mso-ansi-language:EN-GB;
@@ -275,7 +275,7 @@ p.TitlePageSubhead, li.TitlePageSubhead, div.TitlePageSubhead {
275
275
  mso-style-next:Normal;
276
276
  margin-top:0cm;
277
277
  margin-right:0cm;
278
- margin-bottom:10.0pt;
278
+ margin-bottom:$normalfontsize;
279
279
  margin-left:0cm;
280
280
  text-align:center;
281
281
  text-indent:0pt;
@@ -284,8 +284,8 @@ p.TitlePageSubhead, li.TitlePageSubhead, div.TitlePageSubhead {
284
284
  mso-hyphenate:none;
285
285
  layout-grid-mode:char;
286
286
  font-size:12.0pt;
287
- mso-bidi-font-size:10.0pt;
288
- font-family:"Arial",sans-serif;
287
+ mso-bidi-font-size:$normalfontsize;
288
+ font-family:$headerfont;
289
289
  mso-fareast-font-family:"Times New Roman";
290
290
  letter-spacing:.4pt;
291
291
  mso-ansi-language:EN-GB;
@@ -307,8 +307,8 @@ p.Terms, li.Terms, div.Terms
307
307
  mso-pagination:widow-orphan;
308
308
  page-break-after:avoid;
309
309
  layout-grid-mode:char;
310
- font-size:10.0pt;
311
- font-family:"Arial",sans-serif;
310
+ font-size:$normalfontsize;
311
+ font-family:$bodyfont;
312
312
  mso-fareast-font-family:"Times New Roman";
313
313
  letter-spacing:.4pt;
314
314
  mso-ansi-language:EN-GB;
@@ -332,8 +332,8 @@ p.AltTerms, li.AltTerms, div.AltTerms
332
332
  mso-pagination:widow-orphan;
333
333
  page-break-after:avoid;
334
334
  layout-grid-mode:char;
335
- font-size:10.0pt;
336
- font-family:"Arial",sans-serif;
335
+ font-size:$normalfontsize;
336
+ font-family:$bodyfont;
337
337
  mso-fareast-font-family:"Times New Roman";
338
338
  letter-spacing:.4pt;
339
339
  mso-ansi-language:EN-GB;
@@ -353,8 +353,8 @@ p.DeprecatedTerms, li.DeprecatedTerms, div.DeprecatedTerms
353
353
  text-align:justify;
354
354
  mso-pagination:widow-orphan;
355
355
  layout-grid-mode:char;
356
- font-size:8.0pt;
357
- font-family:"Arial",sans-serif;
356
+ font-size:$smallerfontsize;
357
+ font-family:$bodyfont;
358
358
  mso-fareast-font-family:"Times New Roman";
359
359
  letter-spacing:.4pt;
360
360
  mso-ansi-language:EN-GB;
@@ -380,8 +380,8 @@ p.TermNum, li.TermNum, div.TermNum
380
380
  mso-hyphenate:none;
381
381
  tab-stops:list 31.2pt;
382
382
  layout-grid-mode:char;
383
- font-size:10.0pt;
384
- font-family:"Arial",sans-serif;
383
+ font-size:$normalfontsize;
384
+ font-family:$headerfont;
385
385
  mso-fareast-font-family:"Times New Roman";
386
386
  letter-spacing:.4pt;
387
387
  mso-ansi-language:EN-GB;
@@ -445,7 +445,7 @@ p.zzSTDTitle1, li.zzSTDTitle1, div.zzSTDTitle1
445
445
  mso-pagination:widow-orphan;
446
446
  layout-grid-mode:char;
447
447
  font-size:12.0pt;
448
- font-family:"Arial",sans-serif;
448
+ font-family:$headerfont;
449
449
  mso-fareast-font-family:"Times New Roman";
450
450
  letter-spacing:.4pt;
451
451
  mso-ansi-language:EN-GB;
@@ -463,7 +463,7 @@ p.zzSTDTitle2, li.zzSTDTitle2, div.zzSTDTitle2
463
463
  mso-pagination:widow-orphan;
464
464
  layout-grid-mode:char;
465
465
  font-size:12.0pt;
466
- font-family:"Arial",sans-serif;
466
+ font-family:$headerfont;
467
467
  mso-fareast-font-family:"Times New Roman";
468
468
  letter-spacing:.4pt;
469
469
  mso-ansi-language:EN-GB;
@@ -482,8 +482,8 @@ p.TABLE-col-heading, li.TABLE-col-heading, div.TABLE-col-heading
482
482
  mso-pagination:widow-orphan;
483
483
  page-break-after:avoid;
484
484
  layout-grid-mode:char;
485
- font-size:8.0pt;
486
- font-family:"Arial",sans-serif;
485
+ font-size:$smallerfontsize;
486
+ font-family:$headerfont;
487
487
  mso-fareast-font-family:"Times New Roman";
488
488
  letter-spacing:.4pt;
489
489
  mso-ansi-language:EN-GB;
@@ -501,9 +501,9 @@ p.TABLE-cell, li.TABLE-cell, div.TABLE-cell
501
501
  text-align:left;
502
502
  mso-pagination:widow-orphan;
503
503
  layout-grid-mode:char;
504
- font-size:8.0pt;
505
- mso-bidi-font-size:10.0pt;
506
- font-family:"Arial",sans-serif;
504
+ font-size:$smallerfontsize;
505
+ mso-bidi-font-size:$normalfontsize;
506
+ font-family:$bodyfont;
507
507
  mso-fareast-font-family:"Times New Roman";
508
508
  letter-spacing:.4pt;
509
509
  mso-ansi-language:EN-GB;
@@ -519,7 +519,7 @@ p.Quote, li.Quote, div.Quote
519
519
  line-height:12.0pt;
520
520
  mso-pagination:widow-orphan;
521
521
  tab-stops:20.15pt;
522
- font-size:10.0pt;
522
+ font-size:$normalfontsize;
523
523
  font-family:$bodyfont;
524
524
  mso-fareast-font-family:$bodyfont;
525
525
  mso-bidi-font-family:$bodyfont;
@@ -529,7 +529,7 @@ p.QuoteAttribution
529
529
  p.Admonition, li.Admonition, div.Admonition
530
530
  {mso-style-priority:99;
531
531
  mso-pagination:widow-orphan;
532
- font-size:10.0pt;
532
+ font-size:$normalfontsize;
533
533
  font-family:$bodyfont;
534
534
  mso-ascii-font-family:$bodyfont;
535
535
  mso-ascii-theme-font:minor-latin;
@@ -551,16 +551,16 @@ p.formula, li.formula, div.formula
551
551
  mso-style-unhide:no;
552
552
  mso-style-qformat:yes;
553
553
  mso-style-next:Normal;
554
- margin-top:10.0pt;
554
+ margin-top:$normalfontsize;
555
555
  margin-right:0cm;
556
- margin-bottom:10.0pt;
556
+ margin-bottom:$normalfontsize;
557
557
  margin-left:0cm;
558
558
  text-align:justify;
559
559
  mso-pagination:widow-orphan;
560
560
  tab-stops:center 8.0cm right 16.0cm;
561
561
  layout-grid-mode:char;
562
- font-size:10.0pt;
563
- font-family:"Arial",sans-serif;
562
+ font-size:$normalfontsize;
563
+ font-family:$bodyfont;
564
564
  mso-fareast-font-family:"Times New Roman";
565
565
  letter-spacing:.4pt;
566
566
  mso-ansi-language:EN-GB;
@@ -580,8 +580,8 @@ p.FOREWORD, li.FOREWORD, div.FOREWORD
580
580
  mso-pagination:widow-orphan;
581
581
  tab-stops:14.2pt;
582
582
  layout-grid-mode:char;
583
- font-size:8.0pt;
584
- font-family:"Arial",sans-serif;
583
+ font-size:$smallerfontsize;
584
+ font-family:$bodyfont;
585
585
  mso-fareast-font-family:"Times New Roman";
586
586
  letter-spacing:.4pt;
587
587
  mso-ansi-language:EN-GB;
@@ -626,7 +626,7 @@ table.MsoISOTable, table.MsoISOTableBig
626
626
  mso-yfti-tbllook:480;
627
627
  mso-border-insideh:.75pt solid windowtext;
628
628
  mso-border-insidev:.75pt solid windowtext;
629
- font-size:10.0pt;
629
+ font-size:$normalfontsize;
630
630
  font-family:$bodyfont;}
631
631
  table.MsoISOTable th, table.MsoISOTableBig th
632
632
  {border:solid windowtext 1pt;
@@ -637,7 +637,7 @@ table.MsoISOTable td, table.MsoISOTableBig td
637
637
  mso-border-alt:solid windowtext 1pt;
638
638
  padding:0cm 2.85pt 0cm 2.85pt;}
639
639
  table.MsoISOTable p, table.MsoISOTableBig p
640
- {font-size:10.0pt; }
640
+ {font-size:$normalfontsize; }
641
641
  table.MsoTableGrid
642
642
  {mso-style-name:"Table Grid";
643
643
  mso-tstyle-rowband-size:0;
@@ -652,7 +652,7 @@ table.MsoTableGrid
652
652
  mso-para-margin:0cm;
653
653
  mso-para-margin-bottom:.0001pt;
654
654
  mso-pagination:widow-orphan;
655
- font-size:10.0pt;
655
+ font-size:$normalfontsize;
656
656
  font-family:$bodyfont;}
657
657
  body
658
658
  {tab-interval:36.0pt;}
@@ -679,7 +679,7 @@ div.coverpage_warning
679
679
  margin-right:4.25pt}
680
680
  .coverpage_warning
681
681
  {color:#485094;
682
- font-size:10.0pt;}
682
+ font-size:$normalfontsize;}
683
683
  .coverpage {
684
684
  text-align: center;
685
685
  margin: 2em 0;
@@ -778,7 +778,7 @@ a.TableFootnoteRef, span.TableFootnoteRef
778
778
  vertical-align:super;}
779
779
 
780
780
  aside {
781
- font-size:10.0pt;
781
+ font-size:$footnotefontsize;
782
782
  }
783
783
 
784
784
  /*
@@ -786,9 +786,9 @@ div.example {
786
786
  border:solid black .25pt;
787
787
  mso-border-alt:solid black .25pt;
788
788
  padding:10pt;
789
- mso-padding-alt:10.0pt 10.0pt 10.0pt 10.0pt;
789
+ mso-padding-alt:$normalfontsize 10.0pt 10.0pt 10.0pt;
790
790
  margin:10pt;
791
- mso-margin-alt:10.0pt 10.0pt 10.0pt 10.0pt;
791
+ mso-margin-alt:$normalfontsize 10.0pt 10.0pt 10.0pt;
792
792
  }
793
793
  */
794
794
 
@@ -803,32 +803,32 @@ p.example, li.example, div.example, td.example
803
803
  {
804
804
  mso-pagination:none;
805
805
  tab-stops:70.9pt;
806
- font-size:10.0pt;
806
+ font-size:$normalfontsize;
807
807
  font-family:$bodyfont;}
808
808
 
809
809
  td.example p.MsoListParagraph {
810
- font-size: 10.0pt;
810
+ font-size: $normalfontsize;
811
811
  }
812
812
 
813
813
  div.example p.MsoListParagraph {
814
- font-size: 10.0pt;
814
+ font-size: $normalfontsize;
815
815
  }
816
816
 
817
817
  div.Note p.MsoListParagraph {
818
- font-size: 8.0pt;
818
+ font-size: $smallerfontsize;
819
819
  margin-left: 1.0cm;
820
820
  }
821
821
 
822
822
  div.Note span.stem {
823
- font-size: 8.0pt; }
823
+ font-size: $smallerfontsize; }
824
824
 
825
825
  div.Note p.Sourcecode, div.Note pre.Sourcecode {
826
- font-size: 8.0pt;
826
+ font-size: $smallerfontsize;
827
827
  margin-left: 1.0cm;
828
828
  }
829
829
 
830
830
  div.Note table.dl {
831
- font-size: 8.0pt;
831
+ font-size: $smallerfontsize;
832
832
  margin-left: 1.0cm;
833
833
  }
834
834
 
@@ -840,12 +840,12 @@ div.example, td.example {
840
840
 
841
841
  span.example_label, td.example_label
842
842
  {
843
- font-size: 10.0pt;
843
+ font-size: $normalfontsize;
844
844
  font-family:$bodyfont;
845
845
  }
846
846
 
847
847
  span.note_label, td.note_label
848
848
  {
849
- font-size: 8.0pt;
849
+ font-size: $smallerfontsize;
850
850
  font-family:$bodyfont;
851
851
  }