From 461224d4386b7cc0d6adc09b8741cdc41d4be4b0 Mon Sep 17 00:00:00 2001 From: MrOtherGuy Date: Thu, 1 Apr 2021 10:45:25 +0300 Subject: [PATCH] modify window and toolbox top margins to support Fx87 --- chrome/autohide_toolbox.css | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/chrome/autohide_toolbox.css b/chrome/autohide_toolbox.css index 0d95883..35897be 100644 --- a/chrome/autohide_toolbox.css +++ b/chrome/autohide_toolbox.css @@ -17,11 +17,11 @@ See the above repository for updates as well as full license text. */ @media (-moz-os-version: windows-win10){ - :root[tabsintitlebar][sizemode="maximized"]:not([inDOMFullscreen]) > body > box{ margin-top: 9px !important; } - :root[tabsintitlebar][sizemode="maximized"] #navigator-toolbox{ margin-top: -1px } + :root[tabsintitlebar][sizemode="maximized"]:not([inDOMFullscreen]) > body > box{ margin-top: 8px !important; } @media screen and (min-resolution: 1.25dppx){ :root[tabsintitlebar][sizemode="maximized"]:not([inDOMFullscreen]) > body > box{ margin-top: 8px !important; } + :root[tabsintitlebar][sizemode="maximized"] #navigator-toolbox{ margin-top: -1px; } } @media screen and (min-resolution: 1.5dppx){ :root[tabsintitlebar][sizemode="maximized"]:not([inDOMFullscreen]) > body > box{ margin-top: 8px !important; } @@ -48,6 +48,7 @@ See the above repository for updates as well as full license text. */ pointer-events: none; } + /* #mainPopupSet:hover ~ box > toolbox, */ /* Uncomment the above line to make toolbar visible if some popup is hovered */ #navigator-toolbox:hover,