From 8ebd4f89b444f7888f81ea6093f651cf239e7761 Mon Sep 17 00:00:00 2001 From: Holger Paradies 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