Merge pull request #7288 from TheElectronWill/master

Fix #7275: sidebar scrolling on webkit browsers

Author: nicolasstucki

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);