In general transitions from an <input> element that had special event handling to a <input> inside <form> which AFAIK is the better way to handle submits across platforms.
Also adjusts the navbar on mobile to have a visible and working search (there are still some navbar items for external links missing on mobile, but that was also the case before)
FIXES #112
In general transitions from an
<input>
element that had special event handling to a<input>
inside<form>
which AFAIK is the better way to handle submits across platforms.Also adjusts the navbar on mobile to have a visible and working search (there are still some navbar items for external links missing on mobile, but that was also the case before)