Stream: helpdesk (published)

Topic: How to increase Zulip font size?


view this post on Zulip Lilith Hafner (Nov 24 2023 at 01:12):

Are there any alternatives to browser zoom? (ref https://github.com/zulip/zulip/issues/12611)

view this post on Zulip Sundar R (Nov 24 2023 at 08:36):

Not that I know of. I followed that issue for years hoping for one, but gave up some time this year (though they seem to have added it to a release milestone recently, FWIW).

The "Custom CSS" issue linked from there suggests browser extensions like Stylus as an alternative. I find that a bit heavy-handed, but might work if you already have that extension (or one of the scripting Monkey extensions).


Last updated: Nov 22 2024 at 04:41 UTC