The mobile tabs used to (dis)appear nicely with a smooth transition, but now they just abruptly show or hide.

We should add the nice transition back.

You can see the issue on the GPI homepage for example!