@whirli Magic, I like. Dino seems nice. Off hand, do you know if the font size can be bumped up cause this hurts my eyes lol
@celia @whirli If you're using GNOME it will accept the font settings you configured there. Otherwise gnome-tweak-tool or manually adjusting GTK configuration may help. There is an issue and (a little hacky) workaround in https://github.com/dino/dino/issues/298#issuecomment-605672680
QOTO: Question Others to Teach Ourselves. A STEM-oriented instance.
An inclusive free speech instance.
All cultures and opinions welcome.
Explicit hate speech and harassment strictly forbidden.
We federate with all servers: we don't block any servers.