diff --git a/src/padding/_index.scss b/src/padding/_index.scss index 2221c46..d38373c 100644 --- a/src/padding/_index.scss +++ b/src/padding/_index.scss @@ -81,6 +81,9 @@ @include Option("userChrome.padding.panel") { @import "panel"; } +@include Option("userChrome.padding.panel_header") { + @import "panel_header"; +} /*= Popup Panel - Reduce padding =============================================*/ @include Option("userChrome.padding.popup_panel") { diff --git a/src/padding/_panel_header.scss b/src/padding/_panel_header.scss new file mode 100644 index 0000000..12510c0 --- /dev/null +++ b/src/padding/_panel_header.scss @@ -0,0 +1,4 @@ +.panel-header{ + padding: unset !important; + padding-top: 4px !important; +} diff --git a/src/panel/_full_width_separator.scss b/src/panel/_full_width_separator.scss new file mode 100644 index 0000000..0af8ac0 --- /dev/null +++ b/src/panel/_full_width_separator.scss @@ -0,0 +1,9 @@ +/* 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; +} diff --git a/user.js b/user.js index c910da4..2ecbf65 100644 --- a/user.js +++ b/user.js @@ -72,6 +72,7 @@ user_pref("userChrome.tab.bottom_rounded_corner", true); // user_pref("userChrome.padding.menu_compact", true); // user_pref("userChrome.padding.urlView_expanding", true); // user_pref("userChrome.padding.urlView_result", true); +// user_pref("userChrome.padding.panel_header", true); // user_pref("userChrome.urlView.move_icon_to_left", true); // user_pref("userChrome.urlView.go_button_when_typing", true); diff --git a/userChrome.css b/userChrome.css index a15daf3..07298f7 100644 --- a/userChrome.css +++ b/userChrome.css @@ -3482,6 +3482,12 @@ /* Original: 8px */ } } +@supports -moz-bool-pref("userChrome.padding.panel_header") { + .panel-header { + padding: unset !important; + padding-top: 4px !important; + } +} /*= Popup Panel - Reduce padding =============================================*/ @supports -moz-bool-pref("userChrome.padding.popup_panel") { #protections-popup-main-header-label {