From b641fe291217bb86e6569150d355f1b0bbd827ff Mon Sep 17 00:00:00 2001
From: Karl Stolley <karl@zulip.com>
Date: Fri, 9 Aug 2024 14:29:52 -0400
Subject: [PATCH] user_circles: Remove unused .user_circle_empty_line selector
 and styles.

---
 web/styles/user_circles.css | 16 +---------------
 1 file changed, 1 insertion(+), 15 deletions(-)

diff --git a/web/styles/user_circles.css b/web/styles/user_circles.css
index 6d8c1336e4..f7aa8f631f 100644
--- a/web/styles/user_circles.css
+++ b/web/styles/user_circles.css
@@ -1,7 +1,6 @@
 .user_circle_green,
 .user_circle_idle,
-.user_circle_empty,
-.user_circle_empty_line {
+.user_circle_empty {
     border-radius: 50%;
     border: 1px solid;
 }
@@ -28,16 +27,3 @@
     background-color: transparent;
     border-color: hsl(0deg 0% 50%);
 }
-
-.user_circle_empty_line {
-    border-color: hsl(0deg 0% 50%);
-
-    &::after {
-        content: "";
-        background: hsl(0deg 0% 50%);
-        height: 1.5px; /* 1px is too thin, 2px is too thick */
-        width: 6px;
-        display: block;
-        margin: 3.25px auto 0; /* (total height - line height) / 2 = 3.25px */
-    }
-}