Modify theme to disable extranav#3309

gundalow merged 1 commit intoansible:develansible/ansible-documentation:develfrom

oraNod:disable-search-themeoraNod/ansible-documentation:disable-search-themeCopy head branch name to clipboard