Use new HTML5 <section> instead of <div class="section">

1 files changed, 12 insertions, 0 deletions

diff --git a/docs/extensions/builder.py b/docs/extensions/builder.py
index ec428d8f..4780bc28 100644
--- a/docs/extensions/builder.py
+++ b/docs/extensions/builder.py
@@ -1,5 +1,16 @@
 from sphinx.builders.html import StandaloneHTMLBuilder
 from sphinx.environment.adapters.indexentries import IndexEntries
+from sphinx.writers.html5 import HTML5Translator
+
+class DPYHTML5Translator(HTML5Translator):
+    def visit_section(self, node):
+        self.section_level += 1
+        self.body.append(
+            self.starttag(node, 'section'))
+
+    def depart_section(self, node):
+        self.section_level -= 1
+        self.body.append('</section>\n')
 
 class DPYStandaloneHTMLBuilder(StandaloneHTMLBuilder):
     # This is mostly copy pasted from Sphinx.
@@ -43,4 +54,5 @@ def get_builder(app):
         return type(original.__name__, injected_mro, {'name': 'readthedocs'})
 
 def setup(app):
+    app.set_translator('html', DPYHTML5Translator, override=True)
     app.add_builder(get_builder(app), override=True)