metanorma-iso 1.5.10 → 1.6.0

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 (62) hide show
  1. checksums.yaml +4 -4
  2. data/.github/workflows/rake.yml +66 -0
  3. data/README.adoc +5 -6
  4. data/lib/asciidoctor/iso/base.rb +5 -5
  5. data/lib/asciidoctor/iso/basicdoc.rng +50 -3
  6. data/lib/asciidoctor/iso/boilerplate-fr.xml +40 -0
  7. data/lib/asciidoctor/iso/boilerplate.xml +1 -0
  8. data/lib/asciidoctor/iso/cleanup.rb +38 -6
  9. data/lib/asciidoctor/iso/front.rb +5 -0
  10. data/lib/asciidoctor/iso/isodoc.rng +36 -43
  11. data/lib/asciidoctor/iso/isostandard.rng +11 -0
  12. data/lib/asciidoctor/iso/validate.rb +1 -1
  13. data/lib/asciidoctor/iso/validate_section.rb +9 -0
  14. data/lib/isodoc/iso/base_convert.rb +2 -1
  15. data/lib/isodoc/iso/html/header.html +12 -24
  16. data/lib/isodoc/iso/html/htmlstyle.css +1 -1
  17. data/lib/isodoc/iso/html/htmlstyle.scss +1 -1
  18. data/lib/isodoc/iso/html/isodoc.css +42 -42
  19. data/lib/isodoc/iso/html/isodoc.scss +42 -42
  20. data/lib/isodoc/iso/html/style-human.css +13 -9
  21. data/lib/isodoc/iso/html/style-human.scss +7 -7
  22. data/lib/isodoc/iso/html/style-iso.css +11 -7
  23. data/lib/isodoc/iso/html/style-iso.scss +5 -5
  24. data/lib/isodoc/iso/html/wordstyle.css +67 -67
  25. data/lib/isodoc/iso/html/wordstyle.scss +67 -67
  26. data/lib/isodoc/iso/html_convert.rb +4 -0
  27. data/lib/isodoc/iso/i18n-en.yaml +4 -0
  28. data/lib/isodoc/iso/i18n-fr.yaml +5 -0
  29. data/lib/isodoc/iso/i18n-zh-Hans.yaml +5 -0
  30. data/lib/isodoc/iso/i18n.rb +10 -11
  31. data/lib/isodoc/iso/iso.amendment.xsl +391 -88
  32. data/lib/isodoc/iso/iso.international-standard.xsl +391 -88
  33. data/lib/isodoc/iso/metadata.rb +20 -19
  34. data/lib/isodoc/iso/word_convert.rb +4 -0
  35. data/lib/isodoc/iso/xref.rb +10 -0
  36. data/lib/metanorma/iso/processor.rb +11 -9
  37. data/lib/metanorma/iso/version.rb +1 -1
  38. data/metanorma-iso.gemspec +2 -2
  39. data/spec/asciidoctor-iso/base_spec.rb +26 -14
  40. data/spec/asciidoctor-iso/blocks_spec.rb +1 -1
  41. data/spec/asciidoctor-iso/cleanup_spec.rb +11 -5
  42. data/spec/asciidoctor-iso/lists_spec.rb +6 -6
  43. data/spec/asciidoctor-iso/refs_spec.rb +174 -143
  44. data/spec/asciidoctor-iso/section_spec.rb +5 -0
  45. data/spec/asciidoctor-iso/validate_spec.rb +18 -1
  46. data/spec/isodoc/amd_spec.rb +187 -22
  47. data/spec/isodoc/blocks_spec.rb +1 -0
  48. data/spec/isodoc/i18n_spec.rb +9 -22
  49. data/spec/isodoc/inline_spec.rb +1 -1
  50. data/spec/isodoc/metadata_spec.rb +170 -3
  51. data/spec/isodoc/postproc_spec.rb +2 -5
  52. data/spec/isodoc/ref_spec.rb +4 -7
  53. data/spec/isodoc/section_spec.rb +20 -0
  54. data/spec/isodoc/xref_spec.rb +12 -0
  55. data/spec/spec_helper.rb +17 -1
  56. metadata +8 -12
  57. data/.github/workflows/macos.yml +0 -41
  58. data/.github/workflows/ubuntu.yml +0 -45
  59. data/.github/workflows/windows.yml +0 -43
  60. data/lib/asciidoctor/iso/macros.rb +0 -21
  61. data/lib/asciidoctor/iso/term_lookup_cleanup.rb +0 -86
  62. data/spec/asciidoctor-iso/macros_spec.rb +0 -310
data/lib/isodoc/iso/html/isodoc.scss CHANGED
@@ -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:"SimSun",serif;
16
16
  mso-bidi-font-family:"Courier New";
@@ -27,7 +27,7 @@ p.pseudocode, li.pseudocode, div.pseudocode
27
27
  line-height:12.0pt;
28
28
  mso-pagination:widow-orphan;
29
29
  tab-stops:20.15pt;
30
- font-size:10.0pt;
30
+ font-size:$smallerfontsize;
31
31
  font-family:$bodyfont;
32
32
  mso-fareast-font-family:"SimSun",serif;
33
33
  mso-bidi-font-family:"Courier New";
@@ -44,7 +44,7 @@ p.Biblio, li.Biblio, div.Biblio
44
44
  tab-stops: 33.15pt;
45
45
  line-height:12.0pt;
46
46
  mso-pagination:widow-orphan;
47
- font-size:11.0pt;
47
+ font-size:$normalfontsize;
48
48
  font-family:$bodyfont;
49
49
  mso-fareast-font-family:"SimSun",serif;
50
50
  mso-bidi-font-family:$bodyfont;
@@ -61,7 +61,7 @@ p.NormRef, li.NormRef, div.NormRef
61
61
  tab-stops: 33.15pt;
62
62
  line-height:12.0pt;
63
63
  mso-pagination:widow-orphan;
64
- font-size:11.0pt;
64
+ font-size:$normalfontsize;
65
65
  font-family:$bodyfont;
66
66
  mso-fareast-font-family:"SimSun",serif;
67
67
  mso-bidi-font-family:$bodyfont;
@@ -79,7 +79,7 @@ p.FigureTitle
79
79
  page-break-before:avoid;
80
80
  mso-pagination:widow-orphan;
81
81
  tab-stops:20.15pt;
82
- font-size:11.0pt;
82
+ font-size:$normalfontsize;
83
83
  font-family:$bodyfont;
84
84
  font-weight:bold;
85
85
  mso-fareast-font-family:"SimSun",serif;
@@ -98,7 +98,7 @@ p.AdmonitionTitle, p.RecommendationTitle
98
98
  page-break-after:avoid;
99
99
  mso-pagination:widow-orphan;
100
100
  tab-stops:20.15pt;
101
- font-size:11.0pt;
101
+ font-size:$normalfontsize;
102
102
  font-family:$bodyfont;
103
103
  font-weight:bold;
104
104
  mso-fareast-font-family:"SimSun",serif;
@@ -117,7 +117,7 @@ p.SourceTitle
117
117
  page-break-before:avoid;
118
118
  mso-pagination:widow-orphan;
119
119
  tab-stops:20.15pt;
120
- font-size:11.0pt;
120
+ font-size:$normalfontsize;
121
121
  font-family:$bodyfont;
122
122
  font-weight:bold;
123
123
  mso-fareast-font-family:"SimSun",serif;
@@ -136,7 +136,7 @@ p.TableTitle
136
136
  line-height:12.0pt;
137
137
  mso-pagination:widow-orphan;
138
138
  tab-stops:20.15pt;
139
- font-size:11.0pt;
139
+ font-size:$normalfontsize;
140
140
  font-weight:bold;
141
141
  font-family:$bodyfont;
142
142
  mso-fareast-font-family:"SimSun",serif;
@@ -154,8 +154,8 @@ p.Note, div.Note, li.Note, p.TableFootnote, div.TableFootnote, li.TableFootnote
154
154
  line-height:12.0pt;
155
155
  mso-pagination:widow-orphan;
156
156
  tab-stops:20.15pt;
157
- font-size:10.0pt;
158
- mso-bidi-font-size:11.0pt;
157
+ font-size:$smallerfontsize;
158
+ mso-bidi-font-size:$normalfontsize;
159
159
  font-family:$bodyfont;
160
160
  mso-fareast-font-family:"SimSun",serif;
161
161
  mso-bidi-font-family:$bodyfont;
@@ -181,7 +181,7 @@ p.ANNEX, li.ANNEX, div.ANNEX
181
181
  mso-list:l0 level1 lfo12;
182
182
  tab-stops:20.15pt;
183
183
  font-size:14.0pt;
184
- mso-bidi-font-size:11.0pt;
184
+ mso-bidi-font-size:$normalfontsize;
185
185
  font-family:$headerfont;
186
186
  mso-fareast-font-family:"SimHei",serif;
187
187
  mso-bidi-font-family:$headerfont;
@@ -203,7 +203,7 @@ p.BiblioTitle, li.BiblioTitle, div.BiblioTitle
203
203
  mso-outline-level:1;
204
204
  tab-stops:20.15pt;
205
205
  font-size:14.0pt;
206
- mso-bidi-font-size:11.0pt;
206
+ mso-bidi-font-size:$normalfontsize;
207
207
  font-family:$headerfont;
208
208
  mso-fareast-font-family:"SimHei",serif;
209
209
  mso-bidi-font-family:$headerfont;
@@ -222,7 +222,7 @@ p.Definition, li.Definition, div.Definition
222
222
  line-height:12.0pt;
223
223
  mso-pagination:widow-orphan;
224
224
  tab-stops:20.15pt;
225
- font-size:11.0pt;
225
+ font-size:$normalfontsize;
226
226
  font-family:$bodyfont;
227
227
  mso-fareast-font-family:"SimSun",serif;
228
228
  mso-bidi-font-family:$bodyfont;
@@ -244,7 +244,7 @@ p.ForewordTitle, li.ForewordTitle, div.ForewordTitle
244
244
  mso-hyphenate:none;
245
245
  tab-stops:20.15pt;
246
246
  font-size:14.0pt;
247
- mso-bidi-font-size:11.0pt;
247
+ mso-bidi-font-size:$normalfontsize;
248
248
  font-family:$headerfont;
249
249
  mso-fareast-font-family:"SimHei",serif;
250
250
  mso-bidi-font-family:$headerfont;
@@ -268,7 +268,7 @@ p.IntroTitle, li.IntroTitle, div.IntroTitle
268
268
  mso-hyphenate:none;
269
269
  tab-stops:20.15pt;
270
270
  font-size:14.0pt;
271
- mso-bidi-font-size:11.0pt;
271
+ mso-bidi-font-size:$normalfontsize;
272
272
  font-family:$headerfont;
273
273
  mso-fareast-font-family:"SimHei",serif;
274
274
  mso-bidi-font-family:$headerfont;
@@ -291,7 +291,7 @@ p.TitlePageSubhead, li.TitlePageSubhead, div.TitlePageSubhead {
291
291
  mso-hyphenate:none;
292
292
  tab-stops:20.15pt;
293
293
  font-size:14.0pt;
294
- mso-bidi-font-size:11.0pt;
294
+ mso-bidi-font-size:$normalfontsize;
295
295
  font-family:$headerfont;
296
296
  mso-fareast-font-family:"SimHei",serif;
297
297
  mso-bidi-font-family:$headerfont;
@@ -311,7 +311,7 @@ p.Terms, li.Terms, div.Terms
311
311
  page-break-after:avoid;
312
312
  mso-hyphenate:none;
313
313
  tab-stops:20.15pt;
314
- font-size:11.0pt;
314
+ font-size:$normalfontsize;
315
315
  font-family:$headerfont;
316
316
  mso-fareast-font-family:"SimHei",serif;
317
317
  mso-bidi-font-family:$headerfont;
@@ -330,7 +330,7 @@ p.AltTerms, li.AltTerms, div.AltTerms
330
330
  page-break-after:avoid;
331
331
  mso-hyphenate:none;
332
332
  tab-stops:20.15pt;
333
- font-size:11.0pt;
333
+ font-size:$normalfontsize;
334
334
  font-family:$bodyfont;
335
335
  mso-fareast-font-family:"SimSun",serif;
336
336
  mso-bidi-font-family:$bodyfont;
@@ -348,7 +348,7 @@ p.DeprecatedTerms, li.DeprecatedTerms, div.DeprecatedTerms
348
348
  page-break-after:avoid;
349
349
  mso-hyphenate:none;
350
350
  tab-stops:20.15pt;
351
- font-size:11.0pt;
351
+ font-size:$normalfontsize;
352
352
  font-family:$bodyfont;
353
353
  mso-fareast-font-family:"SimSun",serif;
354
354
  mso-bidi-font-family:$bodyfont;
@@ -365,7 +365,7 @@ p.TermNum, li.TermNum, div.TermNum
365
365
  mso-pagination:widow-orphan;
366
366
  page-break-after:avoid;
367
367
  tab-stops:20.15pt;
368
- font-size:11.0pt;
368
+ font-size:$normalfontsize;
369
369
  font-family:$headerfont;
370
370
  mso-fareast-font-family:"SimHei",serif;
371
371
  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:"SimHei",serif;
395
395
  mso-bidi-font-family:$headerfont;
@@ -481,7 +481,7 @@ p.zzSTDTitle, li.zzSTDTitle, div.zzSTDTitle
481
481
  mso-hyphenate:none;
482
482
  tab-stops:20.15pt;
483
483
  font-size:16.0pt;
484
- mso-bidi-font-size:11.0pt;
484
+ mso-bidi-font-size:$normalfontsize;
485
485
  font-family:$headerfont;
486
486
  mso-fareast-font-family:"SimHei",serif;
487
487
  mso-bidi-font-family:$headerfont;
@@ -503,7 +503,7 @@ p.zzSTDTitle1, li.zzSTDTitle1, div.zzSTDTitle1
503
503
  mso-hyphenate:none;
504
504
  tab-stops:20.15pt;
505
505
  font-size:16.0pt;
506
- mso-bidi-font-size:11.0pt;
506
+ mso-bidi-font-size:$normalfontsize;
507
507
  font-family:$headerfont;
508
508
  mso-fareast-font-family:"SimHei",serif;
509
509
  mso-bidi-font-family:$headerfont;
@@ -525,7 +525,7 @@ p.zzSTDTitle2, li.zzSTDTitle2, div.zzSTDTitle2
525
525
  mso-hyphenate:none;
526
526
  tab-stops:20.15pt;
527
527
  font-size:16.0pt;
528
- mso-bidi-font-size:11.0pt;
528
+ mso-bidi-font-size:$normalfontsize;
529
529
  font-family:$headerfont;
530
530
  mso-fareast-font-family:"SimHei",serif;
531
531
  mso-bidi-font-family:$headerfont;
@@ -541,7 +541,7 @@ p.Quote, li.Quote, div.Quote
541
541
  line-height:12.0pt;
542
542
  mso-pagination:widow-orphan;
543
543
  tab-stops:20.15pt;
544
- font-size:11.0pt;
544
+ font-size:$normalfontsize;
545
545
  font-family:$bodyfont;
546
546
  mso-fareast-font-family:"SimSun",serif;
547
547
  mso-bidi-font-family:$bodyfont;
@@ -575,8 +575,8 @@ p.Code, li.Code, div.Code
575
575
  line-height:10.0pt;
576
576
  mso-pagination:widow-orphan;
577
577
  tab-stops:20.15pt;
578
- font-size:9.0pt;
579
- mso-bidi-font-size:11.0pt;
578
+ font-size:$monospacefontsize;
579
+ mso-bidi-font-size:$normalfontsize;
580
580
  font-family:$monospacefont;
581
581
  mso-fareast-font-family:"SimSun",serif;
582
582
  mso-bidi-font-family:"Cambria";
@@ -587,12 +587,12 @@ p.Formula, li.Formula, div.Formula
587
587
  mso-style-unhide:no;
588
588
  margin-top:0cm;
589
589
  margin-right:0cm;
590
- margin-bottom:11.0pt;
590
+ margin-bottom:$normalfontsize;
591
591
  margin-left:20.15pt;
592
592
  line-height:12.0pt;
593
593
  mso-pagination:widow-orphan;
594
594
  tab-stops:right 487.45pt;
595
- font-size:11.0pt;
595
+ font-size:$normalfontsize;
596
596
  font-family:$bodyfont;
597
597
  mso-fareast-font-family:"SimSun",serif;
598
598
  mso-bidi-font-family:$bodyfont;
@@ -600,7 +600,7 @@ p.Formula, li.Formula, div.Formula
600
600
  table.dl
601
601
  {margin-top:0cm;
602
602
  margin-right:0cm;
603
- margin-bottom:11.0pt;
603
+ margin-bottom:$normalfontsize;
604
604
  margin-left:0cm;}
605
605
 
606
606
  div.figdl {
@@ -620,7 +620,7 @@ table.figdl
620
620
  }
621
621
 
622
622
  div.figdl p, table.figdl p {
623
- font-size: 10.0pt;
623
+ font-size: $smallerfontsize;
624
624
  }
625
625
 
626
626
  table.formula_dl {
@@ -645,7 +645,7 @@ table.MsoISOTable, table.MsoISOTableBig
645
645
  mso-yfti-tbllook:480;
646
646
  mso-border-insideh:.75pt solid windowtext;
647
647
  mso-border-insidev:.75pt solid windowtext;
648
- font-size:10.0pt;
648
+ font-size:$smallerfontsize;
649
649
  font-family:$bodyfont;}
650
650
  table.MsoISOTable th, table.MsoISOTableBig th
651
651
  {border:solid windowtext 1pt;
@@ -656,7 +656,7 @@ table.MsoISOTable td, table.MsoISOTableBig td
656
656
  mso-border-alt:solid windowtext 1pt;
657
657
  padding:0cm 2.85pt 0cm 2.85pt;}
658
658
  table.MsoISOTable p, table.MsoISOTableBig p
659
- {font-size:10.0pt; }
659
+ {font-size:$smallerfontsize; }
660
660
  table.MsoTableGrid
661
661
  {mso-style-name:"Table Grid";
662
662
  mso-tstyle-rowband-size:0;
@@ -671,7 +671,7 @@ table.MsoTableGrid
671
671
  mso-para-margin:0cm;
672
672
  mso-para-margin-bottom:.0001pt;
673
673
  mso-pagination:widow-orphan;
674
- font-size:10.0pt;
674
+ font-size:$smallerfontsize;
675
675
  font-family:$bodyfont;}
676
676
  div.formula
677
677
  {tab-stops:right 487.45pt;}
@@ -799,7 +799,7 @@ a.TableFootnoteRef, span.TableFootnoteRef
799
799
  vertical-align:super;}
800
800
 
801
801
  aside {
802
- font-size:10.0pt;
802
+ font-size:$footnotefontsize;
803
803
  }
804
804
 
805
805
  /*
@@ -824,7 +824,7 @@ p.example, li.example, div.example, td.example
824
824
  {
825
825
  mso-pagination:none;
826
826
  tab-stops:70.9pt;
827
- font-size:10.0pt;
827
+ font-size:$smallerfontsize;
828
828
  font-family:$bodyfont;}
829
829
 
830
830
  div.example, td.example {
@@ -833,20 +833,20 @@ div.example, td.example {
833
833
  }
834
834
 
835
835
  td.example p.MsoListParagraph {
836
- font-size: 10.0pt;
836
+ font-size: $smallerfontsize;
837
837
  }
838
838
 
839
839
  div.example p.MsoListParagraph {
840
- font-size: 10.0pt;
840
+ font-size: $smallerfontsize;
841
841
  }
842
842
 
843
843
  div.Note p.MsoListParagraph {
844
- font-size: 10.0pt;
844
+ font-size: $smallerfontsize;
845
845
  margin-left: 1.0cm;
846
846
  }
847
847
 
848
848
  div.Note span.stem {
849
- font-size: 10.0pt; }
849
+ font-size: $smallerfontsize; }
850
850
 
851
851
  div.Note p.Sourcecode, div.Note pre.Sourcecode {
852
852
  font-size: 8.0pt;
@@ -854,12 +854,12 @@ div.Note p.Sourcecode, div.Note pre.Sourcecode {
854
854
  }
855
855
 
856
856
  div.Note table.dl {
857
- font-size: 10.0pt;
857
+ font-size: $smallerfontsize;
858
858
  margin-left: 1.0cm;
859
859
  }
860
860
 
861
861
  span.note_label, span.example_label, td.example_label, td.note_label
862
862
  {
863
- font-size: 10.0pt;
863
+ font-size: $smallerfontsize;
864
864
  font-family:$bodyfont;
865
865
  }
data/lib/isodoc/iso/html/style-human.css CHANGED
@@ -111,6 +111,10 @@ b, strong {
111
111
  div.document-stage-band, div.document-type-band {
112
112
  background-color: #333333; }
113
113
 
114
+ a.FootnoteRef + a.FootnoteRef:before {
115
+ content: ", ";
116
+ vertical-align: super; }
117
+
114
118
  #standard-band {
115
119
  background-color: #0AC442; }
116
120
 
@@ -532,12 +536,12 @@ nav {
532
536
  pre,
533
537
  .pseudocode {
534
538
  background-color: #f7f7f7;
535
- font-size: 0.8em;
539
+ font-size: {{monospacefontsize}};
536
540
  line-height: 1.6em;
537
541
  padding: 1.5em;
538
542
  margin: 2em 0 1em 0;
539
543
  overflow: auto;
540
- font-size: 1em; }
544
+ font-size: {{normalfontsize}}; }
541
545
  .figure .SourceTitle,
542
546
  pre .SourceTitle,
543
547
  .pseudocode .SourceTitle {
@@ -754,12 +758,12 @@ p.NormRef {
754
758
  pre,
755
759
  .pseudocode {
756
760
  background-color: #f7f7f7;
757
- font-size: 0.8em;
761
+ font-size: {{monospacefontsize}};
758
762
  line-height: 1.6em;
759
763
  padding: 1.5em;
760
764
  margin: 2em 0 1em 0;
761
765
  overflow: auto;
762
- font-size: 1em; }
766
+ font-size: {{normalfontsize}}; }
763
767
  .figure .SourceTitle,
764
768
  pre .SourceTitle,
765
769
  .pseudocode .SourceTitle {
@@ -881,14 +885,14 @@ span.TableFootnoteRef {
881
885
  font-size: 0.8em; }
882
886
 
883
887
  .footnote {
884
- font-size: 0.9em; }
888
+ font-size: {{footnotefontsize}}; }
885
889
 
886
890
  sup a {
887
891
  vertical-align: super;
888
892
  font-size: 0.8em; }
889
893
 
890
894
  #footnote_box {
891
- font-size: 14px;
895
+ font-size: {{footnotefontsize}};
892
896
  background: white;
893
897
  padding: 0 10px;
894
898
  margin: 10px;
@@ -903,7 +907,7 @@ aside.footnote {
903
907
 
904
908
  ol.footnotes-list li,
905
909
  aside.footnote {
906
- font-size: 0.9em;
910
+ font-size: {{footnotefontsize}};
907
911
  vertical-align: top;
908
912
  list-style: decimal;
909
913
  margin-bottom: 1em; }
@@ -941,13 +945,13 @@ ol > li > p:before {
941
945
  text-align: center;
942
946
  margin-left: 20%;
943
947
  margin-right: 20%;
944
- font-size: 0.9em; }
948
+ font-size: {{smallerfontsize}}; }
945
949
 
946
950
  dl.formula_dl {
947
951
  background-color: #f7f7f7;
948
952
  margin-left: 20%;
949
953
  margin-right: 20%;
950
- font-size: 0.9em; }
954
+ font-size: {{smallerfontsize}}; }
951
955
 
952
956
  /*
953
957
  Keywords
data/lib/isodoc/iso/html/style-human.scss CHANGED
@@ -325,7 +325,7 @@ nav {
325
325
  pre,
326
326
  .pseudocode {
327
327
  @include pseudocodeBlock(#f7f7f7);
328
- font-size: 1em;
328
+ font-size: $normalfontsize;
329
329
  }
330
330
 
331
331
  div.figure {
@@ -489,7 +489,7 @@ p.NormRef {
489
489
  pre,
490
490
  .pseudocode {
491
491
  @include pseudocodeBlock(#f7f7f7);
492
- font-size: 1em;
492
+ font-size: $normalfontsize;
493
493
  }
494
494
 
495
495
  pre {
@@ -598,7 +598,7 @@ span.TableFootnoteRef {
598
598
  }
599
599
 
600
600
  .footnote {
601
- font-size: 0.9em;
601
+ font-size: $footnotefontsize;
602
602
  }
603
603
 
604
604
  sup a {
@@ -607,7 +607,7 @@ sup a {
607
607
  }
608
608
 
609
609
  #footnote_box {
610
- font-size: 14px;
610
+ font-size: $footnotefontsize;
611
611
  background: white;
612
612
  padding: 0 10px;
613
613
  margin: 10px;
@@ -625,7 +625,7 @@ aside.footnote {
625
625
 
626
626
  ol.footnotes-list li,
627
627
  aside.footnote {
628
- font-size: 0.9em;
628
+ font-size: $footnotefontsize;
629
629
  vertical-align: top;
630
630
  list-style: decimal;
631
631
  margin-bottom: 1em;
@@ -662,14 +662,14 @@ ol>li>p:before {
662
662
  @include formulaBlock(#f7f7f7);
663
663
  margin-left: 20%;
664
664
  margin-right: 20%;
665
- font-size: 0.9em;
665
+ font-size: $smallerfontsize;
666
666
  }
667
667
 
668
668
  dl.formula_dl {
669
669
  background-color: #f7f7f7;
670
670
  margin-left: 20%;
671
671
  margin-right: 20%;
672
- font-size: 0.9em;
672
+ font-size: $smallerfontsize;
673
673
  }
674
674
 
675
675
  /*