From 6e82d86dff9aa3306587f5b3dd757af687bac91b Mon Sep 17 00:00:00 2001
From: Website Deployment Script <docusaurus-bot@users.noreply.github.com>
Date: Fri, 12 Jan 2018 05:10:10 +0000
Subject: [PATCH] Deploy website

Deploy website version based on dd1d252f12f79700c8272ffc1a87402b7e089fbc
---
 css/main.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/css/main.css b/css/main.css
index 7f0b4b15dc..56f811033b 100644
--- a/css/main.css
+++ b/css/main.css
@@ -529,7 +529,7 @@ header h2 {
   color: #fff;
   display: flex;
   flex-flow: row nowrap;
-  height: 38px;
+  height: 34px;
   z-index: 10000;
 }
 .fixedHeaderContainer header {