Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Not ideal -- we can't reduce the height of separators, so there's too much padding between sections -- but still better (and way better on Linux, where a thick black line was being drawn instead of the light dashes on macOS).
- Loading branch information