2020-05-22 05:13:58 +00:00
/ * Source file https : / / github . com / MrOtherGuy / firefox-csshacks / tree / master / chrome / autohide_menubar . css made available under Mozilla Public License v . 2 . 0
See the above repository for updates as well as full license text . * /
2021-09-10 16:07:31 +00:00
/* Makes menubar slide over tabs toolbar when hovered */
2019-03-20 14:19:13 +00:00
/* Menubar will be shown when cursor touches top of the spacers on both side of tabs. Window controls will be in menubar, so they are automatically hidden */
/* Make sure you have menubar enabled */
2021-09-10 16:07:31 +00:00
: root { --uc-menubar-spacer : 6 px }
: root [ sizemode = "maximized" ] { --uc-menubar-spacer : 1 px }
2020-05-23 07:02:21 +00:00
# nav-bar-customization-target ,
# PanelUI-button ,
# nav-bar-overflow-button ,
2019-03-20 14:19:13 +00:00
# TabsToolbar > . toolbar-items { position : relative ; z-index : 5 ; }
2020-05-22 06:20:40 +00:00
# toolbar-menubar > spacer { flex-grow : 1 }
# toolbar-menubar > spacer ,
# toolbar-menubar > . titlebar-buttonbox-container { order : 1000 }
2019-03-20 14:19:13 +00:00
# TabsToolbar > . titlebar-spacer { display : -moz- box !important ; }
2020-05-22 06:20:40 +00:00
# toolbar-menubar : not ( [ customizing ] ) {
--uc-menubar-height : 34px ;
2020-05-22 06:07:26 +00:00
position : fixed ;
2020-05-22 06:20:40 +00:00
display : flex ;
2020-05-22 06:07:26 +00:00
width : 100vw ;
height : var ( --uc-menubar-height ) ;
2021-09-10 16:07:31 +00:00
/* --uc-menubar-extra-margin is defined in toolbars_below_content.css */
margin-top : calc ( var ( --uc-menubar-spacer ) - var ( --uc-menubar-height ) + var ( --uc-menubar-extra-margin , 0px ) ) ;
2020-05-22 06:07:26 +00:00
transition : margin-top 150ms linear ! important ;
-moz-window-dragging : no-drag ;
z-index : 4 ;
2019-03-20 14:19:13 +00:00
}
2020-01-08 21:48:47 +00:00
2019-03-20 14:19:13 +00:00
# toolbar-menubar : hover {
2020-05-22 06:07:26 +00:00
background-color : var ( --toolbar-bgcolor ) ! important ;
2021-09-10 16:07:31 +00:00
margin-top : var ( --uc-menubar-extra-margin , 0px ) ! important ;
2020-05-22 06:07:26 +00:00
z-index : 6
2020-05-23 07:02:21 +00:00
}
/* This exists only for compatibility reasons with some other styles */
# navigator-toolbox { --uc-hide-window-control-space : 0 }