From d3bb3debba470ae1aa18ff763a92e73eb3b54a01 Mon Sep 17 00:00:00 2001
From: Quincy Morgan <quincy.morgan@icloud.com>
Date: Wed, 24 Jun 2020 13:40:28 -0400
Subject: [PATCH] Make pane padding wider to account for browsers that don't
 always display the scrollbar gutter

---
 css/80_app.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/css/80_app.css b/css/80_app.css
index 6962ce4c2..0ec11f9fe 100644
--- a/css/80_app.css
+++ b/css/80_app.css
@@ -3755,13 +3755,13 @@ li.issue-fix-item:not(.actionable) .fix-icon {
 
 .pane-content {
     height: 100%;
-    padding: 10px 40px 20px 20px;
+    padding: 10px 50px 20px 20px;
     overflow-x: hidden;
     overflow-y: scroll;
     position: relative;
 }
 .ideditor[dir='rtl'] .pane-content {
-    padding: 10px 20px 20px 40px;
+    padding: 10px 20px 20px 50px;
 }
 
 .help-pane .pane-content > div {