davidovski/dot
1
0
Fork 0
mirror of https://git.davidovski.xyz/dot.git synced 2024-08-15 00:43:28 +00:00
Code Issues Projects Releases Wiki Activity

add firefox userChrome with wavefox

Browse source
This commit is contained in:
davidovski 2024-05-04 01:09:55 +01:00
parent efa6ffe227
commit 2596f818e0
336 changed files with 7406 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

32
firefox/chrome/special/windows.css Normal file
View file

@ -0,0 +1,32 @@
@media not (prefers-contrast)
{
.titlebar-buttonbox-container
{
align-items: flex-start !important;
}
.titlebar-button:not(.titlebar-close):hover
{
background-color: var(--toolbarbutton-hover-background) !important;
}
.titlebar-button:not(.titlebar-close):hover:active
{
background-color: var(--toolbarbutton-active-background) !important;
}
}
@media (-moz-bool-pref: "userChrome.Menu.Icons.Regular.Enabled") or
(-moz-bool-pref: "userChrome.Menu.Icons.Filled.Enabled")
{
:root
{
--align-menu-icons: -2px 6px;
}
}
menupopup[needsgutter] menu:not([icon], .menu-iconic),
menupopup[needsgutter] menuitem:not([checked="true"], [icon], .menuitem-iconic)
{
padding-inline-start: 1em !important;
}