mirrors/Firefox-UI-Fix
1
Fork 0
mirror of https://github.com/black7375/Firefox-UI-Fix.git synced 2026-01-30 12:20:36 -08:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add: Option - userChrome.padding.panel_header #222

Browse source
This commit is contained in:
alstjr7375 2022-04-03 18:41:19 +09:00
parent 1d82acc95b
commit 963dd2c84f
5 changed files with 23 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/padding/_index.scss
View file

@ -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") {

4
src/padding/_panel_header.scss Normal file
View file

@ -0,0 +1,4 @@
.panel-header{
padding: unset !important;
padding-top: 4px !important;
}

9
src/panel/_full_width_separator.scss Normal file
View file

@ -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;
}

1
user.js
View file

@ -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);

6
userChrome.css
View file

@ -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 {