Add: Icons - Option for 1.25px stroke

black7375 · Dec 22, 2023 · b3e7fff · b3e7fff
1 parent 9e01bc6
commit b3e7fff
Show file tree

Hide file tree

Showing 5 changed files with 51 additions and 0 deletions.
diff --git a/css/leptonChrome.css b/css/leptonChrome.css
diff --git a/css/leptonChromeESR.css b/css/leptonChromeESR.css
diff --git a/src/icons/_1.25px_stroke.scss b/src/icons/_1.25px_stroke.scss
@@ -0,0 +1,9 @@
+#firefox-view-button {
+	list-style-image: url("../icons/firefox-view.svg") !important;
+}
+#reset-pbm-toolbar-button {
+	list-style-image: url("../icons/flame.svg") !important;
+}
+#translations-button-icon {
+	list-style-image: url("../icons/translations.svg") !important;
+}
diff --git a/src/icons/_index.scss b/src/icons/_index.scss
@@ -70,5 +70,10 @@
   }
 }
 
+/** Icons - 1.25px Stroke Width ***********************************************/
+@include Option("userChrome.icon.1-25px_stroke") {
+  @import "1.25px_stroke";
+}
+
 /** Icons for fork browsers ***************************************************/
 @import "fork_browsers/index";
diff --git a/user.js b/user.js
@@ -258,6 +258,7 @@ user_pref("userChrome.icon.menu",                 true);
 user_pref("userChrome.icon.context_menu",         true);
 user_pref("userChrome.icon.global_menu",          true);
 user_pref("userChrome.icon.global_menubar",       true);
+user_pref("userChrome.icon.1-25px_stroke",        true);
 
 // -- User Content -------------------------------------------------------------
 user_pref("userContent.player.ui",             true);