fliegerjohn/mobile-config-firefox
1
0
Fork 1
mirror of https://codeberg.org/claui/mobile-config-firefox.git synced 2024-09-19 18:47:19 +02:00
Code Issues Projects Releases Packages Wiki Activity

autohide_toolbox.css: adjust toolbox margins on hidpi screens

Browse source
This commit is contained in:
MrOtherGuy 2022-04-08 20:31:56 +03:00
parent be838e98f3
commit 3241bdbfe1
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
chrome/autohide_toolbox.css
View file

@ -12,7 +12,7 @@ See the above repository for updates as well as full license text. */
} }
:root[sizemode="maximized"]{ :root[sizemode="maximized"]{
--uc-toolbox-rotation: 89deg; --uc-toolbox-rotation: 88.5deg;
} }
/* Dummy variable to support versions 94-96, can be removed when 96 lands */ /* Dummy variable to support versions 94-96, can be removed when 96 lands */
@ -28,10 +28,9 @@ See the above repository for updates as well as full license text. */
:root[tabsintitlebar][sizemode="maximized"]:not([inDOMFullscreen]) > body > box{ margin-top: 7px !important; } :root[tabsintitlebar][sizemode="maximized"]:not([inDOMFullscreen]) > body > box{ margin-top: 7px !important; }
} }
@media screen and (min-resolution: 1.5dppx){ @media screen and (min-resolution: 1.5dppx){
:root[tabsintitlebar][sizemode="maximized"]:not([inDOMFullscreen]) > body > box{ margin-top: 7px !important; } :root[tabsintitlebar][sizemode="maximized"]:not([inDOMFullscreen]) > body > box{ margin-top: 6px !important; }
} }
@media screen and (min-resolution: 2dppx){ @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; } :root[tabsintitlebar][sizemode="maximized"] #navigator-toolbox{ margin-top: -1px; }
} }
#navigator-toolbox:not(:-moz-lwtheme){ background-color: -moz-dialog !important; } #navigator-toolbox:not(:-moz-lwtheme){ background-color: -moz-dialog !important; }