From 5f5cc3c09a9bd86c540f7a363250d0696f1cd09b Mon Sep 17 00:00:00 2001
From: Oliver Smith <ollieparanoid@postmarketos.org>
Date: Sat, 27 Nov 2021 22:41:49 +0100
Subject: [PATCH] userChrome/tabmenu: always show "all tabs" button (MR 19)

Thanks to Peter Mack (linmob) for the idea and initial implementation.
---
 src/userChrome/tabmenu.css | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 src/userChrome/tabmenu.css

diff --git a/src/userChrome/tabmenu.css b/src/userChrome/tabmenu.css
new file mode 100644
index 0000000..6b972f1
--- /dev/null
+++ b/src/userChrome/tabmenu.css
@@ -0,0 +1,27 @@
+/* Copyright 2021 Peter Mack, Oliver Smith
+ * SPDX-License-Identifier: GPL-3.0-or-later */
+
+@media (max-width: 700px) {
+    /* Increase tab width, to have more space for displaying the title of the
+     * website and to make the "all tabs" button show up. */
+    #tabbrowser-tabs {
+        --tab-min-width: calc(100vw - 86px) !important;
+    }
+
+    /* Rotate the arrow on the "all tabs" button to point upwards, since the
+     * tabs and searchbar were moved to the bottom. */
+    #alltabs-button {
+        transform: rotate(180deg) !important;
+    }
+
+    /* All tabs menu: hide scroll buttons */
+    #scrollbutton-up, #scrollbutton-down {
+        display: none !important;
+    }
+
+    /* All tabs menu: hide the search and the separator below it. */
+    #allTabsMenu-searchTabs,
+    #allTabsMenu-tabsSeparator {
+        display: none;
+    }
+}