From 301f8812db97e9f38244d9a42ee0cabcde645fe8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Weber?= <mail@soeren-weber.de>
Date: Sun, 3 Apr 2022 15:59:00 +0200
Subject: [PATCH] scrollbar: remove now unnecessary IE11 workaround

---
 static/js/theme.js | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/static/js/theme.js b/static/js/theme.js
index 7bb0ccb1bc..c53e5941c8 100644
--- a/static/js/theme.js
+++ b/static/js/theme.js
@@ -314,11 +314,6 @@ function initMenuScrollbar(){
     }
 
     var content = '#body-inner';
-    if( isIE ){
-        // IE can not display the topbar as sticky; so we let
-        // the whole body scroll instead of just the content
-        content = '#body';
-    }
     var autofocus = false;
     document.addEventListener('keydown', function(event){
         // for initial keyboard scrolling support, no element