From cc7d33bfa7860c256fa303657c0fbbc03ee3ced1 Mon Sep 17 00:00:00 2001
From: jamesgeorge007 <jamesgeorge998001@gmail.com>
Date: Fri, 4 Jan 2019 17:49:27 +0530
Subject: [PATCH] reduce version font #7265

---
 website/static/css/custom.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/website/static/css/custom.css b/website/static/css/custom.css
index aa0999bd77d0..257a6ae3d995 100644
--- a/website/static/css/custom.css
+++ b/website/static/css/custom.css
@@ -12,7 +12,7 @@
 }
 
 .fixedHeaderContainer header h3 {
-  font-size: 16px;
+  font-size: 14px;
   margin-top: 2px;
   text-decoration: none;
 }