[docs] [issue34398] Docs search does not index glossary items

Ammar Askar <ammar@ammaraskar.com> added the comment: I think showing glossary results up top in the search page is a good idea, so I wrote up a quick proof of concept sphinx extension to do so. The diff isn't very big or complicated but it does need a bit of cleanup, especially the javascript and presentation side. There are some screenshots in the pull request. (Adding Berker since they reviewed the change to move the search bar in the header for the docs) ---------- nosy: +berker.peksag _______________________________________ Python tracker <report@bugs.python.org> <https://bugs.python.org/issue34398> _______________________________________