CSS font size configure: metanorma/isodoc#227

metanorma · Nov 17, 2020 · 266ee0f · 266ee0f
1 parent 79e9bca
commit 266ee0f
Show file tree

Hide file tree

Showing 6 changed files with 211 additions and 205 deletions.
diff --git a/lib/isodoc/iec/html/htmlstyle.scss b/lib/isodoc/iec/html/htmlstyle.scss
@@ -517,7 +517,7 @@ p.NormRef {
 pre,
 .pseudocode {
  @include pseudocodeBlock(#f5faff);
- font-size: 1em;
+ font-size: $monospacefontsize;
 }
 
 pre {
@@ -618,15 +618,15 @@ a.footnote-number, a.TableFootnoteRef, span.TableFootnoteRef {
 }
 
 .footnote {
- font-size: 0.9em;
+ font-size: $footnotefontsize;
 }
 
 sup a {
  vertical-align: super;
  font-size: 0.8em;
 }
 #footnote_box {
- font-size: 14px;
+ font-size: $footnotefontsize;
  background: white;
  padding: 0 10px;
  margin: 10px;
@@ -642,7 +642,7 @@ ol.footnotes-list, aside.footnote {
 }
 
 ol.footnotes-list li, aside.footnote {
- font-size: 0.9em;
+ font-size: $footnotefontsize;
  vertical-align: top;
  list-style:decimal;
  margin-bottom: 1em;