From e9f290f7887aaeb7a899ffdce7f8ea3d398758ba Mon Sep 17 00:00:00 2001
From: Yangshun Tay <tay.yang.shun@gmail.com>
Date: Wed, 27 Jun 2018 10:21:25 -0700
Subject: [PATCH] Fix styles for headerTitle (#811)

* Fix styles for headerTitle

* Update main.css
---
 lib/static/css/main.css | 8 ++++++--
 website/siteConfig.js   | 2 +-
 2 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/lib/static/css/main.css b/lib/static/css/main.css
index 3e589569a3..299618f44f 100644
--- a/lib/static/css/main.css
+++ b/lib/static/css/main.css
@@ -752,10 +752,14 @@ blockquote {
   margin-right: 10px;
 }
 
+.fixedHeaderContainer header .headerTitle {
+  font-size: 1.25em;
+  margin: 0;
+}
+
 .fixedHeaderContainer header .headerTitleWithLogo {
   display: block;
-  font-size: 20px;
-  font-weight: 400;
+  font-size: 1.25em;
   line-height: 18px;
   margin: 0;
   position: relative;
diff --git a/website/siteConfig.js b/website/siteConfig.js
index 8cde32dca4..f8d8f20ee7 100644
--- a/website/siteConfig.js
+++ b/website/siteConfig.js
@@ -37,7 +37,7 @@ const siteConfig = {
     apiKey: '3eb9507824b8be89e7a199ecaa1a9d2c',
     indexName: 'docusaurus',
     algoliaOptions: {
-      facetFilters: [ "lang:LANGUAGE" ] 
+      facetFilters: [ "lang:LANGUAGE" ]
     }
   },
   colors: {