mirrors/Firefox-UI-Fix
1
Fork 0
mirror of https://github.com/black7375/Firefox-UI-Fix.git synced 2025-12-06 02:30:54 -08:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add: Option - userChrome.panel.full_width_separator #222

Browse source
This commit is contained in:
alstjr7375 2022-04-02 20:15:08 +09:00
parent 8153b40f68
commit 43d045e81f
3 changed files with 16 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/panel/_index.scss
View file

@ -1,3 +1,7 @@
@include Option("userChrome.panel.remove_strip") {
@import "remove_strip";
}
@include Option("userChrome.panel.full_width_separator") {
@import "full_width_separator";
}

1
user.js
View file

@ -86,6 +86,7 @@ user_pref("userChrome.tab.bottom_rounded_corner", true);
// user_pref("userChrome.tab.centered_label", true);
// user_pref("userChrome.panel.remove_strip", true);
// user_pref("userChrome.panel.full_width_separator", true);
// user_pref("userChrome.icon.account_image_to_right", true);
// user_pref("userChrome.icon.account_label_to_right", true);

11
userChrome.css
View file

@ -4936,6 +4936,17 @@
/* Original: linear-gradient(90deg, #9059FF 0%, #FF4AA2 52.08%, #FFBD4F 100%) */
}
}
@supports -moz-bool-pref("userChrome.panel.full_width_separator") {
/* Full width separators */
:root {
/* Original
--panel-separator-margin-vertical: 4px;
--panel-separator-margin-horizontal: 8px;
--panel-separator-margin: var(--panel-separator-margin-vertical) var(--panel-separator-margin-horizontal);
*/
--panel-separator-margin-horizontal: 0 !important;
}
}
/** Fullscreen - Overlap toolbar **********************************************/
@supports -moz-bool-pref("userChrome.fullscreen.overlap") {
@supports -moz-bool-pref("browser.fullscreen.autohide") {