htmlstyle.css in metanorma-iho-0.2.8

- old
+ new

@@ -219,11 +219,11 @@
 
 body {
   margin-left: auto;
   margin-right: auto;
   max-width: 100%;
-  font-size: 15px;
+  font-size: {{normalfontsize}};
   font-weight: 300;
   line-height: 1.4em;
   color: #212529;
   background-color: #ffffff; }
   body main {
@@ -653,11 +653,11 @@
 */
 .figure,
 pre,
 .pseudocode {
   background-color: #f7f7f7;
-  font-size: 0.8em;
+  font-size: {{monospacefontsize}};
   line-height: 1.6em;
   padding: 1.5em;
   margin: 2em 0 1em 0;
   overflow: auto; }
   .figure .SourceTitle,
@@ -757,10 +757,10 @@
 a.footnote-number {
   vertical-align: super;
   font-size: 0.8em; }
 
 .footnote {
-  font-size: 0.9em; }
+  font-size: {{footnotefontsize}}; }
 
 /*
     3.11 Blockquotes
 */
 .Quote {