diff options
author | Holger Paradies <retabell@gmx.de> | 2020-02-08 20:52:18 +0100 |
---|---|---|
committer | Holger Paradies <retabell@gmx.de> | 2020-02-29 11:19:13 +0100 |
commit | 8ebd4f89b444f7888f81ea6093f651cf239e7761 (patch) | |
tree | 4d3469f22e4f84773a22118e639a9cb3aa3f26a7 /profile | |
parent | 0237c2670f23658c13aedeb532fe564518b91c75 (diff) | |
download | etcskel-kanotix-8ebd4f89b444f7888f81ea6093f651cf239e7761.zip etcskel-kanotix-8ebd4f89b444f7888f81ea6093f651cf239e7761.tar.gz |
add userChrome.css
simple config to change gui font-size
Diffstat (limited to 'profile')
-rw-r--r-- | profile/.mozilla/firefox/evc3to3e.default/chrome/userChrome.css | 6 |
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; } |