From eb643f6be27d480d84d97db72e983ff563a5abd9 Mon Sep 17 00:00:00 2001
From: Martijn Cuppens <martijn.cuppens@gmail.com>
Date: Wed, 29 Apr 2020 16:36:38 +0200
Subject: [PATCH] `<pre>`: Disable auto-hiding scrollbar in legacy Edge

Disable auto-hiding scrollbar in legacy Edge to avoid overlap, making it impossible to interact with the content.
---
 scss/_reboot.scss | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scss/_reboot.scss b/scss/_reboot.scss
index 73b974b57071..2563405a39bb 100644
--- a/scss/_reboot.scss
+++ b/scss/_reboot.scss
@@ -290,6 +290,8 @@ samp {
 // 1. Remove browser default top margin
 // 2. Reset browser default of `1em` to use `rem`s
 // 3. Don't allow content to break outside
+// 4. Disable auto-hiding scrollbar in legacy Edge to avoid overlap,
+//    making it impossible to interact with the content
 
 pre {
   display: block;
@@ -298,6 +300,7 @@ pre {
   overflow: auto; // 3
   @include font-size($code-font-size);
   color: $pre-color;
+  -ms-overflow-style: scrollbar; // 4
 
   // Account for some code outputs that place code tags in pre tags
   code {