From d01a0bf651b7956a04c3b9eb111e42fc9cc95fd0 Mon Sep 17 00:00:00 2001
From: Lorina Poland <lorina@datastax.com>
Date: Wed, 29 Jun 2022 16:56:41 -0700
Subject: [PATCH] change nav font to 15px from 16px

---
 src/css/nav.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/css/nav.css b/src/css/nav.css
index 1a8b1aca..85a73a61 100644
--- a/src/css/nav.css
+++ b/src/css/nav.css
@@ -146,7 +146,7 @@ html.is-clipped--nav {
   font-family: "Nunito Sans", sans-serif;
   font-style: normal;
   font-weight: bold;
-  font-size: 16px;
+  font-size: 15px;
   line-height: 150%;
 }