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: Tab - Selected bold

Browse source
This commit is contained in:
alstjr7375 2023-01-03 18:45:16 +09:00
parent fff1b5b459
commit 0b4cce9827
4 changed files with 24 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

12
css/leptonChrome.css
View file

@ -6029,6 +6029,18 @@
}
}
/*= Selected Tab =============================================================*/
/*= Selected Tab - Bold ======================================================*/
@supports not -moz-bool-pref("userChrome.tab.selected_bold") {
.tab-label:is([selected], [attention]) {
font-weight: 400 !important;
}
}
@supports -moz-bool-pref("userChrome.tab.selected_bold") {
.tab-label:is([selected], [attention]) {
font-weight: 600;
}
}
/*= Selected Tab - Color like toolbar ========================================*/
@supports -moz-bool-pref("userChrome.tab.color_like_toolbar") {
:root:not(:-moz-lwtheme) {

3
src/tab/_selected_tab.scss
View file

@ -1,3 +1,6 @@
/*= Selected Tab - Bold ======================================================*/
@import "selected_tab/bold";
/*= Selected Tab - Color like toolbar ========================================*/
@include Option("userChrome.tab.color_like_toolbar") {
@import "selected_tab/color_like_toolbar";

8
src/tab/selected_tab/_bold.scss Normal file
View file

@ -0,0 +1,8 @@
.tab-label:is([selected], [attention]) {
@include NotOption("userChrome.tab.selected_bold") {
font-weight: 400 !important;
}
@include Option("userChrome.tab.selected_bold") {
font-weight: 600;
}
}

1
user.js
View file

@ -175,6 +175,7 @@ user_pref("userChrome.rounding.square_tab", false);
// user_pref("userChrome.tab.close_button_at_hover.always", true); // Need close_button_at_hover
// user_pref("userChrome.tab.close_button_at_hover.with_selected", true); // Need close_button_at_hover
// user_pref("userChrome.tab.sound_show_label", true); // Need remove sound_hide_label
// user_pref("userChrome.tab.selected_bold", true);
// user_pref("userChrome.navbar.as_sidebar", true);