From ef296e46cbbcfeacac8f194ab1a343fd984c4729 Mon Sep 17 00:00:00 2001
From: Julia <floc@unpromptedtirade.com>
Date: Tue, 11 Jul 2023 16:49:53 -0400
Subject: [PATCH] Avoid user menu toggle button overlapping with tab bar top
 border

---
 styles/src/style_tree/titlebar.ts | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/styles/src/style_tree/titlebar.ts b/styles/src/style_tree/titlebar.ts
index 60894b08f6..177a8c5bd8 100644
--- a/styles/src/style_tree/titlebar.ts
+++ b/styles/src/style_tree/titlebar.ts
@@ -84,7 +84,7 @@ function user_menu() {
                 base: {
                     corner_radius: 6,
                     height: button_height,
-                    width: online ? 37 : 24,
+                    width: 20,
                     padding: {
                         top: 2,
                         bottom: 2,
@@ -153,6 +153,7 @@ function user_menu() {
             },
         }
     }
+
     return {
         user_menu_button_online: build_button({ online: true }),
         user_menu_button_offline: build_button({ online: false }),