From 300842d945d83372995fdf97ebcd4221bb8d321c Mon Sep 17 00:00:00 2001
From: Jacob Hoffman-Andrews <github@hoffman-andrews.com>
Date: Fri, 21 Jan 2022 16:44:17 -0800
Subject: [PATCH] Set explicit font size for topbar

---
 templates/style/_navbar.scss | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/templates/style/_navbar.scss b/templates/style/_navbar.scss
index ce8127511..b5af0b60c 100644
--- a/templates/style/_navbar.scss
+++ b/templates/style/_navbar.scss
@@ -26,7 +26,8 @@ div.nav-container {
     top: 0;
     position: sticky;
     color: var(--color-navbar-standard);
-    font-family: $font-family-sans;
+    /* The font size must be specified in pixels because the height is specified in pixels. */
+    font: 16px $font-family-sans;
 
     li {
         border-left: 1px solid var(--color-border);