From 61aa55df7998b8a54d7228abebab636fc82da583 Mon Sep 17 00:00:00 2001
From: Karl Stolley <karl@zulip.com>
Date: Thu, 26 Oct 2023 10:22:50 -0400
Subject: [PATCH] navbar: Clean up unecessary userlist-toggle cruft.

---
 web/styles/dark_theme.css | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/web/styles/dark_theme.css b/web/styles/dark_theme.css
index da64798512..4062a3fa83 100644
--- a/web/styles/dark_theme.css
+++ b/web/styles/dark_theme.css
@@ -733,18 +733,6 @@
         color: hsl(236deg 33% 90%);
     }
 
-    #userlist-toggle {
-        color: inherit;
-    }
-
-    #userlist-toggle-button {
-        color: hsl(221deg 9% 54%);
-
-        &:hover {
-            color: inherit;
-        }
-    }
-
     .zoom-in {
         #topics_header {
             background-color: var(--color-background);