Fix documentation header height on mobile