[crabmusket]

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.2...