metanorma-iec 1.2.7 → 1.2.12

Sign up to get free protection for your applications and to get access to all the features.
Files changed (43) hide show
  1. checksums.yaml +4 -4
  2. data/.github/workflows/rake.yml +29 -8
  3. data/README.adoc +3 -4
  4. data/lib/asciidoctor/iec/basicdoc.rng +50 -3
  5. data/lib/asciidoctor/iec/converter.rb +22 -1
  6. data/lib/asciidoctor/iec/front.rb +18 -7
  7. data/lib/asciidoctor/iec/iec.rng +81 -1
  8. data/lib/asciidoctor/iec/iec_intro_en.xml +110 -56
  9. data/lib/asciidoctor/iec/iec_intro_fr.xml +78 -22
  10. data/lib/asciidoctor/iec/isodoc.rng +61 -3
  11. data/lib/asciidoctor/iec/isostandard.rng +27 -10
  12. data/lib/isodoc/iec/base_convert.rb +2 -2
  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/wordstyle.css +120 -120
  18. data/lib/isodoc/iec/html/wordstyle.scss +120 -120
  19. data/lib/isodoc/iec/html_convert.rb +8 -0
  20. data/lib/isodoc/iec/i18n-en.yaml +17 -0
  21. data/lib/isodoc/iec/i18n-fr.yaml +18 -0
  22. data/lib/isodoc/iec/iec.international-standard.xsl +817 -382
  23. data/lib/isodoc/iec/metadata.rb +33 -0
  24. data/lib/isodoc/iec/presentation_xml_convert.rb +12 -0
  25. data/lib/isodoc/iec/word_convert.rb +10 -0
  26. data/lib/metanorma/iec/processor.rb +11 -8
  27. data/lib/metanorma/iec/version.rb +1 -1
  28. data/metanorma-iec.gemspec +1 -2
  29. data/spec/asciidoctor-iec/base_spec.rb +429 -8
  30. data/spec/asciidoctor-iec/blocks_spec.rb +25 -21
  31. data/spec/asciidoctor-iec/cleanup_spec.rb +99 -98
  32. data/spec/asciidoctor-iec/iev_spec.rb +15 -6
  33. data/spec/asciidoctor-iec/inline_spec.rb +11 -7
  34. data/spec/asciidoctor-iec/lists_spec.rb +13 -9
  35. data/spec/asciidoctor-iec/section_spec.rb +9 -5
  36. data/spec/asciidoctor-iec/validate_spec.rb +15 -0
  37. data/spec/isodoc/i18n_spec.rb +30 -0
  38. data/spec/isodoc/iso_spec.rb +2 -2
  39. data/spec/isodoc/metadata_spec.rb +23 -1
  40. data/spec/isodoc/ref_spec.rb +2 -2
  41. data/spec/metanorma/processor_spec.rb +1 -1
  42. data/spec/spec_helper.rb +20 -31
  43. metadata +4 -18
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
  }