Fix header on mobile #1726
Description
We introduced versioning for the docs in #1720.
However, in adding the version selector to the header, we accidentally broke the header on mobile. We need to fix it at some point 😬
{{ message }}
We introduced versioning for the docs in #1720.
However, in adding the version selector to the header, we accidentally broke the header on mobile. We need to fix it at some point 😬