fixes #11643.
I've tested it a bit and didn't notice any issue. 415px is small enough for phone and already pretty tight. It can't really be smaller though, as the left menu isn't made to scroll.
ping @Leo as you maintain the package.