freenode/#clim - IRC Chatlog Search Thursday, 12th of September 2019, 15:52:54 UTC 15:53:01 ck_ ... or are they? I don't know if that's the same font in text-size-test 15:53:49 ck_ I'll put it on my list and see if I can fix it during my next train ride, saturday