Add missing 'role="main"' attribute

The 'searchtools.js' script provided by Sphinx requires this [1] and the
in-tree themes provide it [2]. Add it here.

[1] https://github.com/sphinx-doc/sphinx/blob/v2.1.0/sphinx/themes/basic/static/searchtools.js#L65
[2] https://github.com/sphinx-doc/sphinx/blob/v2.1.0/sphinx/themes/basic/layout.html#L181

Change-Id: I3cd17592b1a7f63d116cf4e85805f8f87419295b
Signed-off-by: Stephen Finucane <sfinucan@redhat.com>
Closes-Bug: #1831707
This commit is contained in:
Stephen Finucane 2019-06-05 10:32:06 +01:00
parent 5aa9978643
commit b023a4fe53
1 changed files with 1 additions and 1 deletions

View File

@ -57,7 +57,7 @@ ga('send', 'pageview');
</div>
<div class="row">
<div class="col-lg-12">
<div class="docs-body">
<div class="docs-body" role="main">
{% block body %}{% endblock %}
</div>
</div>