From bf3c01435481892409b59714c75e9ec4e09f521c Mon Sep 17 00:00:00 2001
From: Website Deployment Script <docusaurus@users.noreply.github.com>
Date: Mon, 18 Dec 2017 18:19:05 +0000
Subject: [PATCH] Deploy website

Deploy website version based on cd60290a6fed1945a4bfe7a5c1f08f8715fd59a7
---
 css/main.css | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/css/main.css b/css/main.css
index e35baae50a..56f811033b 100644
--- a/css/main.css
+++ b/css/main.css
@@ -307,6 +307,13 @@ header h2 {
 .mainContainer .wrapper .post.basicPost {
   margin-top: 30px;
 }
+
+.mainContainer .wrapper .post h1 {
+  margin-top: 20px;
+  margin-bottom: 0;
+  font-size: 250%;
+  padding: 10px 0;
+}
 .mainContainer .wrapper .post h2 {
   font-size: 130%;
 }