I was working on a PR to improve the UX [1], and i was thinking what would look better A: https://i.imgur.com/WS3jHYR.png B: https://i.imgur.com/Qvs9UVT.png C: https://i.imgur.com/luCLCpP.png What do you think? [1] - https://github.com/Pure-D/serve-d/pull/155