From 66fc189d4a1b7828a0c09733fa849990e02195cb Mon Sep 17 00:00:00 2001
From: Brian Kim <briankimpossible@gmail.com>
Date: Tue, 21 Jul 2020 00:31:40 -0400
Subject: [PATCH] tweak logo css

---
 website/src/index.css | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/website/src/index.css b/website/src/index.css
index e69c48138..358e6ee4d 100644
--- a/website/src/index.css
+++ b/website/src/index.css
@@ -114,11 +114,12 @@ li {
 }
 
 .navbar-logo {
+	width: 1.9em;
+	height: 1.9em;
 	background-color: transparent;
 	display: inline-block;
-	height: 30px;
 	margin-top: -2px;
-	margin-right: 0.5rem;
+	margin-right: 0.5em;
 }
 
 .home {