From 23856433e4fdbae67d94e73b2eca762cf9e660c4 Mon Sep 17 00:00:00 2001
From: Tim Abbott <tabbott@zulip.com>
Date: Mon, 14 Nov 2022 13:01:19 -0800
Subject: [PATCH] popovers: Fix styling of user card/profile status dots.

The tweaks I made as part of merging
f204a4c5920bd89f8a0619436ca8f97d49d336f9 apparently were wrong; the
CSS class .popover_user_presence had been shared between both the user
card and the profile.

Fix this by referencing the right CSS classes. Additionally, fix the
margins to have a square hover region around the presence dot.

Fixes #23588.
---
 static/styles/popovers.css | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/static/styles/popovers.css b/static/styles/popovers.css
index fc378f114a..27d345c9b6 100644
--- a/static/styles/popovers.css
+++ b/static/styles/popovers.css
@@ -302,7 +302,8 @@ ul {
     }
 }
 
-.user_profile_presence {
+.user_profile_presence,
+.popover_user_presence {
     width: 8px;
     height: 8px;
     margin: 0 5px;
@@ -350,8 +351,8 @@ ul {
         justify-content: center;
     }
 
-    .popover_user_presence {
-        margin: 5px 10px;
+    .user_profile_presence {
+        margin: 5px;
         vertical-align: middle;
     }