mirror of
https://github.com/black7375/Firefox-UI-Fix.git
synced 2026-02-07 16:01:08 -08:00
Fix: Build issue
This commit is contained in:
parent
e2e9d0356c
commit
c4ecdfe9cb
2 changed files with 2 additions and 2 deletions
|
|
@ -120,7 +120,7 @@
|
|||
|
||||
/*= Bookmark Menu - Reduce Padding ===========================================*/
|
||||
@include Option($bookmarkMenuPadding) {
|
||||
@import "boomark_menu";
|
||||
@import "bookmark_menu";
|
||||
}
|
||||
|
||||
/*= Global Menu - Set Padding ================================================*/
|
||||
|
|
|
|||
|
|
@ -16,7 +16,7 @@ $compatibilityOS: "userChrome.compatibility.os";
|
|||
$builtInContrast: "userChrome.theme.built_in_contrast";
|
||||
$systemDefault: "userChrome.theme.system_default";
|
||||
$fullyColor: "userChrome.theme.fully_color";
|
||||
$darkColor: "userChrome.theme.fully_dark";
|
||||
$fullyDark: "userChrome.theme.fully_dark";
|
||||
$protonChrome: "userChrome.theme.proton_chrome";
|
||||
|
||||
$cursor: "userChrome.decoration.cursor";
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue