Font size tweaks

andrewheiss · May 30, 2023 · d8988c6 · d8988c6
1 parent e6355bc
commit d8988c6
Showing 1 changed file with 12 additions and 2 deletions.
diff --git a/html/custom.scss b/html/custom.scss
@@ -41,7 +41,7 @@ $dark:          $gray-800 !default;
 $font-family-sans-serif:      Fira Sans Condensed, sans-serif !default;
 $font-family-serif:           Barlow, serif !default;  /* Not actually a serif font but whatever */
 
-$font-size-base:              1.15rem !default;
+$font-size-base:              1.2rem !default;
 $headings-font-weight:        700 !default;
 
 $h1-font-size: $font-size-base * 2.35;
@@ -53,7 +53,7 @@ $h6-font-size: $font-size-base * 0.8;
 
 $toc-font-size: 0.95rem;
 $sidebar-font-size: 1.1rem;
-$sidebar-font-size-section: 0.9rem;
+$sidebar-font-size-section: 0.95rem;
 
 $link-color: $red;
 $link-hover-color: $yellow;
@@ -76,6 +76,16 @@ ol {
   font-family: $font-family-serif;
 }
 
+// Slightly bigger callouts
+.callout.callout-style-default .callout-body,
+.callout.callout-style-default > div.callout-header {
+  font-size: 1.1rem;
+}
+
+.callout-icon-container {
+  padding-top: 0 !important;
+}
+
 // Home page stuff
 .title-block {
   margin: 1em 0;