[ci skip] Cherry-pick docs pulldown nav fix from develop
1 file changed