commit 3e89ff8559519b3604fbca3a27cbbf309b86c3b7 parent 6a7dd2016b0e398a3f0398802388efb3cd147060 Author: Florian Dold <florian.dold@gmail.com> Date: Thu, 29 Aug 2019 18:07:27 +0200 fix body role for search to work Diffstat:
| M | _exts/taler_sphinx_theme/guzzle_sphinx_theme/layout.html | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/_exts/taler_sphinx_theme/guzzle_sphinx_theme/layout.html b/_exts/taler_sphinx_theme/guzzle_sphinx_theme/layout.html @@ -122,7 +122,7 @@ </ol> </div> {% endblock %} - <div class="document clearer body" role="body"> + <div class="document clearer body" role="main"> {% block body %} {% endblock %} </div> {%- block bottom_rel_links %}