From 4cc9e5f07a9d0e024c6e7b96317f673e9bf7749b Mon Sep 17 00:00:00 2001 From: Oliver Smith Date: Sun, 28 Nov 2021 00:03:49 +0100 Subject: [PATCH] userChrome/tabmenu: fix width for long titles (MR 19) --- src/userChrome/tabmenu.css | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/userChrome/tabmenu.css b/src/userChrome/tabmenu.css index a3f83bc..bd27029 100644 --- a/src/userChrome/tabmenu.css +++ b/src/userChrome/tabmenu.css @@ -58,4 +58,9 @@ height: calc(100vh - 100px) !important; max-height: calc(100vh - 100px) !important; } + + #allTabsMenu-allTabsViewTabs { + /* Make sure tabs with long titles don't exceed the all tabs menu */ + max-width: calc(100vw - 20px); + } }