Make window margins win10 specific

This commit is contained in:
MrOtherGuy 2019-11-28 12:00:59 +02:00
parent e5aed3b139
commit bfb52b313d

View file

@ -1,24 +1,27 @@
/* Hide the whole toolbar area unless urlbar is focused or cursor is over the toolbar */ /* Hide the whole toolbar area unless urlbar is focused or cursor is over the toolbar */
/* Dimensions on non-Win10 OS probably needs to be adjusted */ /* Dimensions on non-Win10 OS probably needs to be adjusted */
:root[sizemode="maximized"]:not([inDOMFullscreen]){ margin-top: 10px } @media (-moz-os-version: windows-win10){
:root[sizemode="maximized"] #navigator-toolbox{ margin-top: -2px }
@media screen and (min-resolution: 1.25dppx){ :root[sizemode="maximized"]:not([inDOMFullscreen]){ margin-top: 10px !important; }
:root[sizemode="maximized"]:not([inDOMFullscreen]){ margin-top: 9px } :root[sizemode="maximized"] #navigator-toolbox{ margin-top: -2px }
}
@media screen and (min-resolution: 1.5dppx){ @media screen and (min-resolution: 1.25dppx){
:root[sizemode="maximized"]:not([inDOMFullscreen]){ margin-top: 8px } :root[sizemode="maximized"]:not([inDOMFullscreen]){ margin-top: 9px !important; }
:root[sizemode="maximized"] #navigator-toolbox{ margin-top: -1px } }
} @media screen and (min-resolution: 1.5dppx){
@media screen and (min-resolution: 2dppx){ :root[sizemode="maximized"]:not([inDOMFullscreen]){ margin-top: 8px !important; }
:root[sizemode="maximized"]:not([inDOMFullscreen]){ margin-top: 7px } :root[sizemode="maximized"] #navigator-toolbox{ margin-top: -1px }
}
@media screen and (min-resolution: 2dppx){
:root[sizemode="maximized"]:not([inDOMFullscreen]){ margin-top: 7px !important; }
}
} }
#navigator-toolbox{ #navigator-toolbox{
position: fixed !important; position: fixed !important;
display: block; display: block;
background-color: var(--lwt-accent-color,black); background-color: var(--lwt-accent-color,black) !important;
transition: transform 82ms 33ms linear, opacity 82ms 33ms linear !important; transition: transform 82ms 33ms linear, opacity 82ms 33ms linear !important;
transform-origin: top; transform-origin: top;
line-height: 0; line-height: 0;