metanorma-iso 1.5.12 → 1.7.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (62) hide show
  1. checksums.yaml +4 -4
  2. data/.github/workflows/rake.yml +18 -1
  3. data/lib/asciidoctor/iso/base.rb +5 -5
  4. data/lib/asciidoctor/iso/basicdoc.rng +52 -3
  5. data/lib/asciidoctor/iso/cleanup.rb +0 -6
  6. data/lib/asciidoctor/iso/front.rb +10 -5
  7. data/lib/asciidoctor/iso/isodoc.rng +51 -3
  8. data/lib/asciidoctor/iso/isostandard-amd.rng +8 -4
  9. data/lib/asciidoctor/iso/isostandard.rng +27 -10
  10. data/lib/asciidoctor/iso/validate.rb +78 -0
  11. data/lib/asciidoctor/iso/validate_section.rb +12 -9
  12. data/lib/isodoc/iso/base_convert.rb +2 -1
  13. data/lib/isodoc/iso/html/header.html +12 -12
  14. data/lib/isodoc/iso/html/html_iso_intro.html +1 -1
  15. data/lib/isodoc/iso/html/html_iso_titlepage.html +1 -1
  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 +9 -9
  21. data/lib/isodoc/iso/html/style-human.scss +7 -7
  22. data/lib/isodoc/iso/html/style-iso.css +7 -7
  23. data/lib/isodoc/iso/html/style-iso.scss +5 -5
  24. data/lib/isodoc/iso/html/word_iso_intro.html +1 -1
  25. data/lib/isodoc/iso/html/word_iso_titlepage.html +1 -1
  26. data/lib/isodoc/iso/html/wordstyle.css +67 -67
  27. data/lib/isodoc/iso/html/wordstyle.scss +67 -67
  28. data/lib/isodoc/iso/html_convert.rb +6 -2
  29. data/lib/isodoc/iso/i18n-en.yaml +2 -0
  30. data/lib/isodoc/iso/i18n-fr.yaml +1 -1
  31. data/lib/isodoc/iso/i18n-zh-Hans.yaml +1 -1
  32. data/lib/isodoc/iso/iso.amendment.xsl +276 -59
  33. data/lib/isodoc/iso/iso.international-standard.xsl +276 -59
  34. data/lib/isodoc/iso/metadata.rb +1 -0
  35. data/lib/isodoc/iso/sections.rb +1 -1
  36. data/lib/isodoc/iso/word_convert.rb +6 -2
  37. data/lib/isodoc/iso/xref.rb +34 -8
  38. data/lib/metanorma/iso/processor.rb +11 -9
  39. data/lib/metanorma/iso/version.rb +1 -1
  40. data/metanorma-iso.gemspec +2 -2
  41. data/spec/asciidoctor-iso/amd_spec.rb +14 -14
  42. data/spec/asciidoctor-iso/base_spec.rb +22 -20
  43. data/spec/asciidoctor-iso/blocks_spec.rb +22 -22
  44. data/spec/asciidoctor-iso/cleanup_spec.rb +32 -26
  45. data/spec/asciidoctor-iso/inline_spec.rb +7 -7
  46. data/spec/asciidoctor-iso/lists_spec.rb +9 -9
  47. data/spec/asciidoctor-iso/refs_spec.rb +5 -5
  48. data/spec/asciidoctor-iso/section_spec.rb +12 -7
  49. data/spec/asciidoctor-iso/table_spec.rb +4 -4
  50. data/spec/asciidoctor-iso/validate_spec.rb +455 -87
  51. data/spec/isodoc/amd_spec.rb +13 -13
  52. data/spec/isodoc/iso_spec.rb +2 -2
  53. data/spec/isodoc/metadata_spec.rb +2 -0
  54. data/spec/isodoc/section_spec.rb +20 -0
  55. data/spec/isodoc/xref_spec.rb +12 -0
  56. metadata +6 -12
  57. data/.github/workflows/macos.yml +0 -49
  58. data/.github/workflows/ubuntu.yml +0 -53
  59. data/.github/workflows/windows.yml +0 -50
  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
@@ -536,12 +536,12 @@ nav {
536
536
  pre,
537
537
  .pseudocode {
538
538
  background-color: #f7f7f7;
539
- font-size: 0.8em;
539
+ font-size: {{monospacefontsize}};
540
540
  line-height: 1.6em;
541
541
  padding: 1.5em;
542
542
  margin: 2em 0 1em 0;
543
543
  overflow: auto;
544
- font-size: 1em; }
544
+ font-size: {{normalfontsize}}; }
545
545
  .figure .SourceTitle,
546
546
  pre .SourceTitle,
547
547
  .pseudocode .SourceTitle {
@@ -758,12 +758,12 @@ p.NormRef {
758
758
  pre,
759
759
  .pseudocode {
760
760
  background-color: #f7f7f7;
761
- font-size: 0.8em;
761
+ font-size: {{monospacefontsize}};
762
762
  line-height: 1.6em;
763
763
  padding: 1.5em;
764
764
  margin: 2em 0 1em 0;
765
765
  overflow: auto;
766
- font-size: 1em; }
766
+ font-size: {{normalfontsize}}; }
767
767
  .figure .SourceTitle,
768
768
  pre .SourceTitle,
769
769
  .pseudocode .SourceTitle {
@@ -885,14 +885,14 @@ span.TableFootnoteRef {
885
885
  font-size: 0.8em; }
886
886
 
887
887
  .footnote {
888
- font-size: 0.9em; }
888
+ font-size: {{footnotefontsize}}; }
889
889
 
890
890
  sup a {
891
891
  vertical-align: super;
892
892
  font-size: 0.8em; }
893
893
 
894
894
  #footnote_box {
895
- font-size: 14px;
895
+ font-size: {{footnotefontsize}};
896
896
  background: white;
897
897
  padding: 0 10px;
898
898
  margin: 10px;
@@ -907,7 +907,7 @@ aside.footnote {
907
907
 
908
908
  ol.footnotes-list li,
909
909
  aside.footnote {
910
- font-size: 0.9em;
910
+ font-size: {{footnotefontsize}};
911
911
  vertical-align: top;
912
912
  list-style: decimal;
913
913
  margin-bottom: 1em; }
@@ -945,13 +945,13 @@ ol > li > p:before {
945
945
  text-align: center;
946
946
  margin-left: 20%;
947
947
  margin-right: 20%;
948
- font-size: 0.9em; }
948
+ font-size: {{smallerfontsize}}; }
949
949
 
950
950
  dl.formula_dl {
951
951
  background-color: #f7f7f7;
952
952
  margin-left: 20%;
953
953
  margin-right: 20%;
954
- font-size: 0.9em; }
954
+ font-size: {{smallerfontsize}}; }
955
955
 
956
956
  /*
957
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
  /*