From ea035d77ab8962f275c7e1f3c16bda1d599fdc58 Mon Sep 17 00:00:00 2001
From: Guillaume R <theelectronwill@gmail.com>
Date: Sun, 22 Sep 2019 21:32:52 +0200
Subject: [PATCH] Fix #7275: correct sidebar scrolling on webkit browsers

---
 doc-tool/resources/css/sidebar.css | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/doc-tool/resources/css/sidebar.css b/doc-tool/resources/css/sidebar.css
index 1964fb248807..13068ed21467 100644
--- a/doc-tool/resources/css/sidebar.css
+++ b/doc-tool/resources/css/sidebar.css
@@ -5,7 +5,10 @@
   z-index: 1000;
   width: 100%;
   height: 100%;
-  overflow: hidden auto;
+  /* Safari and some others don't support overflow: x y */
+  overflow-x: hidden;
+  overflow-y: auto;
+  -webkit-overflow-scrolling: touch; /* nicer scrolling on touch screens */
   font-family: var(--font-family-sans-serif);
   font-weight: 400;
   background: var(--primary);