From a30f8d42c89b17c67fba862a72e61a90d792efac Mon Sep 17 00:00:00 2001
From: Website Deployment Script <docusaurus-bot@users.noreply.github.com>
Date: Thu, 15 Feb 2018 00:40:42 +0000
Subject: [PATCH] Deploy website

Deploy website version based on 4d25c29f0b523d6f0333d55b475fd8ddfa533548
---
 css/main.css | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/css/main.css b/css/main.css
index 0604ff755d..6fbb775bf3 100644
--- a/css/main.css
+++ b/css/main.css
@@ -1203,6 +1203,12 @@ ul#languages li {
   }
 }
 
+@media only screen and (max-device-width: 735px) {
+  .navigationSlider .slidingNav ul {
+    overflow-x: auto;
+  }
+}
+
 .docs-prevnext {
   margin: 20px 0;
 }