Hannes Körber edf62e7622 firefox: Add profile option with bigger fonts

2022-06-29 17:58:27 +02:00

..

gtk-3.0-bigger-font.ini.j2

firefox: Add profile option with bigger fonts

2022-06-29 17:58:27 +02:00

gtk-3.0.ini.j2

gtk: Update font size calculation

2022-06-29 17:58:19 +02:00

gtkrc-2.0.j2

Try to standardize font size

2022-06-29 17:58:25 +02:00