userChrome/tabmenu: make it work with private mode (MR 19)

Always reserver the space for the private browsing indicator, even if
not in private mode. This allows using the same width for the displayed
tab in both modes. Without this, the X of the tab is not visible in
private mode.

I think it's nice to have this space in both modes to quickly close the
menu, as it's right above the menu button.
This commit is contained in:
Oliver Smith 2021-12-05 07:05:07 +01:00
parent 7b8adcd0c9
commit ab46ecdf00
No known key found for this signature in database
GPG key ID: 5AE7F5513E0885CB

View file

@ -2,10 +2,24 @@
* SPDX-License-Identifier: GPL-3.0-or-later */
@media (max-width: 700px) {
/* Even when not in private browsing mode, reserve space to the right of
* the tab bar for the private-browsing-indicator (that mask icon). This
* gives the tab bar a consistent width in both the regular and the private
* browsing mode, so the increased width hack below looks good in both. */
#titlebar {
padding-right: 30px;
}
hbox.private-browsing-indicator {
position: fixed !important;
right: 0px;
bottom: 50px;
display: block;
}
/* 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;
--tab-min-width: calc(100vw - 116px) !important;
}
/* Rotate the arrow on the "all tabs" button to point upwards, since the