All recent browsers (in particular, all browsers that we support, which excludes IE10) support flexbox
. Making the new top bar work correctly in non-flexbox
would be a significant amount of extra work that we're not willing to do for the very few people stuck on those old browsers.
That said, I just played with it for a few minutes, and found a cheap way to make the top bar not completely unusable in those older browsers. This will be in the next build of the site, but it comes with a few caveats:
- It requires JavaScript. Doing it in pure CSS puts an extra maintainability burden on us.
- I'm not promising anything. It's making the page slightly less broken for certain browsers, but this doesn't mean that we consider that case supported now, and if something is still broken with this hack applied, that doesn't mean that I'm going to fix that.
- I'm also not committing to having hacks like this in there forever.
I know that nobody wants to continue using those old browsers; in many cases, it's corporate IT policy that prevents an upgrade. But we have to pick our priorities; at some point, we cannot justify the amount of work anymore.