From 51ae3689311c73608b1a9253394f3f9153c66c54 Mon Sep 17 00:00:00 2001 From: MrOtherGuy Date: Wed, 18 Aug 2021 05:23:43 +0300 Subject: [PATCH] edit Windows window top padding values for the toolbox --- chrome/autohide_toolbox.css | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/chrome/autohide_toolbox.css b/chrome/autohide_toolbox.css index 8a31682..58014ca 100644 --- a/chrome/autohide_toolbox.css +++ b/chrome/autohide_toolbox.css @@ -20,16 +20,16 @@ See the above repository for updates as well as full license text. */ :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; } - } - @media screen and (min-resolution: 2dppx){ :root[tabsintitlebar][sizemode="maximized"]:not([inDOMFullscreen]) > body > box{ margin-top: 7px !important; } } - #navigator-toolbox:not(:-moz-lwtheme){ background-color: rgb(32, 35, 64) !important; } + @media screen and (min-resolution: 1.5dppx){ + :root[tabsintitlebar][sizemode="maximized"]:not([inDOMFullscreen]) > body > box{ margin-top: 7px !important; } + } + @media screen and (min-resolution: 2dppx){ + :root[tabsintitlebar][sizemode="maximized"]:not([inDOMFullscreen]) > body > box{ margin-top: 6px !important; } + :root[tabsintitlebar][sizemode="maximized"] #navigator-toolbox{ margin-top: -1px; } + } + #navigator-toolbox:not(:-moz-lwtheme){ background-color: -moz-dialog !important; } } :root[sizemode="fullscreen"]{ margin-top: 0px !important; }