From 0678cf979382643064f12b1bfc6127853060d6e0 Mon Sep 17 00:00:00 2001
From: Oliver Salzburg <oliver.salzburg@gmail.com>
Date: Wed, 28 Dec 2022 18:23:55 +0100
Subject: [PATCH] fix(ui): DevPanel is hidden

It used to overlap our UI, but this has been fixed a while ago.
---
 packages/userscript/source/ui/UserInterface.ts | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/packages/userscript/source/ui/UserInterface.ts b/packages/userscript/source/ui/UserInterface.ts
index b8f949fa8..4446a691b 100644
--- a/packages/userscript/source/ui/UserInterface.ts
+++ b/packages/userscript/source/ui/UserInterface.ts
@@ -140,9 +140,6 @@ export class UserInterface {
   }
 
   private _installCss(): void {
-    // This development panel overlays the UI in the Sleek theme.
-    this._addRule("#devPanel { display: none !important; }");
-
     // Basic layout for our own list-based options menus.
     this._addRule(
       `#ks {