@Calinou

Hey :)

Do you need me to do anything to get this PR merged?

@leroy There are merge conflicts to solve in requirements.txt. I can merge it once this conflict is resolved. Apologies for the delay; I work on a lot of things in parallel.

Hey no worries at all. I've resolved the merge conflicts.

It seems to work on the latest branch:

There are some things we need to improve still:

• Pressing the Enter key while the field is empty shouldn't do anything, since it will redirect you to a standard search page with no results found.
• ref badges should be placed on the same line as the page name (at the left of the page name), rather than on a separate line. Right now, class reference and non-class reference pages tend to blend in together, which isn't good for people who want to avoid class reference pages.
• The search pop-up should have a dark theme when the documentation uses the dark theme (defined via CSS' prefers-color-scheme: dark media query).
  • As a crude solution, adding filter: invert(87.5%) hue-rotate(180deg) to the search pop-up does the work surprisingly well: