docs: _isso theme: Add searchbox in sidebar
This also necessitates a bit of CSS.
{{ doc("docs/extras/api", "API") }}
{{ doc("docs/extras/contribs", "Community tools") }}
</ul>
+
+{%- block sidebarsearch %}
+{%- include "searchbox.html" %}
+{%- endblock %}
