Yes please. This is a problem for anyone with wider logos, I think.
It should be possible with CSS media queries.
This would also help with our hack to get a higher-resolution logo in there for HiDPI displays.
1 Like