Addendum: turns out, there is a design for lighter-weight headers, which I prefer. But they haven't gotten to it yet. https://chat.zulip.org/#narrow/channel/10

Addendum: turns out, there is a design for lighter-weight headers, which I prefer. But they haven't gotten to it yet. https://chat.zulip.org/#narrow/channel/101-design/topic/UI.20redesign.3A.20topic.20headers/with/1316109 https://chat.zulip.org/#narrow/channel/101-design/topic/UI.2...