From 38e52dc2abc4d6d3492e6325085cacbac6ed62bc Mon Sep 17 00:00:00 2001
From: Website Deployment Script <docusaurus-bot@users.noreply.github.com>
Date: Fri, 13 Apr 2018 15:45:21 +0000
Subject: [PATCH] Deploy website

Deploy website version based on 25290a8d1af2e92115b3fa10516444e07bbc4a04
---
 css/main.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/css/main.css b/css/main.css
index c899b1c58a..12cc226041 100644
--- a/css/main.css
+++ b/css/main.css
@@ -49,7 +49,7 @@ body {
   background: #f9f9f9;
   color: #393939;
   font: normal 16px/1.4em -apple-system,system-ui,BlinkMacSystemFont,"Segoe UI",Roboto,Oxygen,Ubuntu,Cantarell,"Fira Sans","Droid Sans","Helvetica Neue",Arial,sans-serif;
-  height: 100vh;
+  min-height: 100vh;
   text-align: left;
   text-rendering: optimizeLegibility;
 }
@@ -1064,7 +1064,7 @@ ul#languages li {
   position: relative;
   left: 0;
   z-index: 99;
-  height: 100%;
+  min-height: 100%;
 }
 .navPusher::after {
   position: absolute;