style fix

errorcorrectionzoo · Jan 2, 2025 · 334185a · 334185a
1 parent a55b025
commit 334185a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/site/stylesheets/code-hierarchy-items.scss b/site/stylesheets/code-hierarchy-items.scss
@@ -222,7 +222,7 @@ $code-hierarchy-item-primparent-parentchild-notch-size: 10pt;
     .code-hierarchy-item-inner-descendants {
         display: inline;
         //font-style: italic;
-        font-size: $smaller-font-size;
+        font-size: $small-font-size;
         margin-left: 0pt;
 
         &::before {

diff --git a/site/stylesheets/variables.scss b/site/stylesheets/variables.scss
@@ -40,7 +40,7 @@ $base-font-size: 16px;
 // font "Source Sans 3" is @import'ed from google fonts in base_page.11ty.js
 
 $small-font-size: 0.9rem;
-$smaller-font-size: 0.92rem;
+//$smaller-font-size: 0.85rem; // bad idea
 
 // "em" instead of "rem" e.g. for citation marks in headings
 $endnote-superscript-font-size: 0.8em;