summaryrefslogtreecommitdiff
path: root/profile/.mozilla
diff options
context:
space:
mode:
authorHolger Paradies <retabell@gmx.de>2020-02-08 20:52:18 +0100
committerHolger Paradies <retabell@gmx.de>2020-02-29 11:19:13 +0100
commit8ebd4f89b444f7888f81ea6093f651cf239e7761 (patch)
tree4d3469f22e4f84773a22118e639a9cb3aa3f26a7 /profile/.mozilla
parent0237c2670f23658c13aedeb532fe564518b91c75 (diff)
downloadetcskel-kanotix-8ebd4f89b444f7888f81ea6093f651cf239e7761.zip
etcskel-kanotix-8ebd4f89b444f7888f81ea6093f651cf239e7761.tar.gz
add userChrome.css
simple config to change gui font-size
Diffstat (limited to 'profile/.mozilla')
-rw-r--r--profile/.mozilla/firefox/evc3to3e.default/chrome/userChrome.css6
1 files changed, 6 insertions, 0 deletions
diff --git a/profile/.mozilla/firefox/evc3to3e.default/chrome/userChrome.css b/profile/.mozilla/firefox/evc3to3e.default/chrome/userChrome.css
new file mode 100644
index 0000000..acce674
--- /dev/null
+++ b/profile/.mozilla/firefox/evc3to3e.default/chrome/userChrome.css
@@ -0,0 +1,6 @@
+@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"); /* set default namespace to XUL */
+
+/*
+ * Make all the default font sizes xx pt:
+ */
+* { font-size: 10pt !important; }