Add: Contents - Monospace

This commit is contained in:
alstjr7375 2022-08-10 13:38:55 +09:00
parent e1d9f43e56
commit 73e47dbdc3
4 changed files with 22 additions and 0 deletions

View file

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

View file

@ -0,0 +1,5 @@
@-moz-document url-prefix("about:"),
url-prefix("chrome://browser/content/places/places.xhtml"),
regexp("^(((jar:)?file:\/\/\/)|(chrome:\/\/)).*\/$") {
@import "../theme/monospace";
}

View file

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

View file

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