better handling in search when opmuse is shut down
fixes for new sphinx_bootstrap_theme version