diff options
| author | Eric Wong <e@80x24.org> | 2019-01-01 07:45:38 +0000 |
|---|---|---|
| committer | Eric Wong <e@80x24.org> | 2019-01-01 07:45:38 +0000 |
| commit | 7b7885fc3be2719c068c0a2fc860d53f17a1d933 (patch) | |
| tree | 5b8691594b2e9bc69291426590caf83a2dabaffe /Makefile.PL | |
| parent | 4854438bcf3c589d9ef88e6c09f37e61671b9f4b (diff) | |
| download | public-inbox-7b7885fc3be2719c068c0a2fc860d53f17a1d933.tar.gz | |
GUI browsers have a tendency to use a larger (though sometimes smaller) font than the rest of the page for some reason I could not find... So set everything to 100% to give uniformity to the page; which benefits visually-challenged users who want to use gigantic fonts for the entire page.
Diffstat (limited to 'Makefile.PL')
0 files changed, 0 insertions, 0 deletions