Merge pull request #87 from metanorma/features/fontsize

Features/fontsize
metanorma · Nov 30, 2020 · 9179862 · 9179862
2 parents 3d7a33c + 266ee0f
commit 9179862
Show file tree

Hide file tree

Showing 7 changed files with 461 additions and 404 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;