From 73e47dbdc39b2d1951702ef7ea8d6e9882599870 Mon Sep 17 00:00:00 2001 From: alstjr7375 Date: Wed, 10 Aug 2022 13:38:55 +0900 Subject: [PATCH] Add: Contents - Monospace --- css/leptonContent.css | 11 +++++++++++ src/contents/_monospace.scss | 5 +++++ src/leptonContent.scss | 5 +++++ user.js | 1 + 4 files changed, 22 insertions(+) create mode 100644 src/contents/_monospace.scss diff --git a/css/leptonContent.css b/css/leptonContent.css index 209a379..10cf40b 100644 --- a/css/leptonContent.css +++ b/css/leptonContent.css @@ -2988,6 +2988,17 @@ } } } +/** Monospace *****************************************************************/ +@supports -moz-bool-pref("userContent.page.monospace") { + @-moz-document url-prefix("about:"), + url-prefix("chrome://browser/content/places/places.xhtml"), + regexp("^(((jar:)?file:///)|(chrome://)).*/$") + { + * { + font-family: -moz-fixed; + } + } +} /** Menu - Icons Layout *******************************************************/ @supports -moz-bool-pref("userChrome.icon.menu") { @-moz-document url("chrome://browser/content/places/places.xhtml"), diff --git a/src/contents/_monospace.scss b/src/contents/_monospace.scss new file mode 100644 index 0000000..30a2c55 --- /dev/null +++ b/src/contents/_monospace.scss @@ -0,0 +1,5 @@ +@-moz-document url-prefix("about:"), + url-prefix("chrome://browser/content/places/places.xhtml"), + regexp("^(((jar:)?file:\/\/\/)|(chrome:\/\/)).*\/$") { + @import "../theme/monospace"; +} diff --git a/src/leptonContent.scss b/src/leptonContent.scss index 1fcf8e2..01e47c2 100644 --- a/src/leptonContent.scss +++ b/src/leptonContent.scss @@ -34,6 +34,11 @@ @import "contents/proton_contents"; } +/** Monospace *****************************************************************/ +@include Option("userContent.page.monospace") { + @import "contents/monospace"; +} + /** Menu - Icons Layout *******************************************************/ @include Option("userChrome.icon.menu") { @import "contents/context_menu"; diff --git a/user.js b/user.js index bd637e2..913416e 100644 --- a/user.js +++ b/user.js @@ -154,6 +154,7 @@ user_pref("userChrome.rounding.square_tab", false); // user_pref("userContent.page.proton_color.dark_blue_accent", true); // user_pref("userContent.page.proton_color.system_accent", true); +// user_pref("userContent.page.monospace", true); // == Theme Default Settings =================================================== // -- User Chrome --------------------------------------------------------------