From 8ebd4f89b444f7888f81ea6093f651cf239e7761 Mon Sep 17 00:00:00 2001
From: Holger Paradies <retabell@gmx.de>
Date: Sat, 8 Feb 2020 20:52:18 +0100
Subject: add userChrome.css

simple config to change gui font-size
---
 profile/.mozilla/firefox/evc3to3e.default/chrome/userChrome.css | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 profile/.mozilla/firefox/evc3to3e.default/chrome/userChrome.css

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; }
-- 
cgit v1.0