From c31b443f91d3411d7e3517f405171fa1e05ea7e2 Mon Sep 17 00:00:00 2001
From: Rapptz <rapptz@gmail.com>
Date: Sat, 30 May 2020 04:59:31 -0400
Subject: [PATCH] Use new HTML5 <section> instead of <div class="section">

---
 docs/extensions/builder.py | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/docs/extensions/builder.py b/docs/extensions/builder.py
index ec428d8fd..4780bc28f 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)