mirror of
https://github.com/zulip/zulip.git
synced 2025-11-23 16:01:24 +00:00
It seems like the only impact of removing `top` here is the bottom border of the header appears, but we can just remove that directly. `border-top: none` doesn't seem like it was doing anything here (the element had no border).