matthew/enhanced-discord.py
1
0
Fork 0
Code Issues 4 Pull Requests 21 Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Rapptz 2020-05-30 04:59:31 -04:00
parent f03ecdbc69
commit 74bdd8485e
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
docs/extensions/builder.py
View File

@ -1,5 +1,16 @@
from sphinx.builders.html import StandaloneHTMLBuilder from sphinx.builders.html import StandaloneHTMLBuilder
from sphinx.environment.adapters.indexentries import IndexEntries 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): class DPYStandaloneHTMLBuilder(StandaloneHTMLBuilder):
# This is mostly copy pasted from Sphinx. # This is mostly copy pasted from Sphinx.
@ -43,4 +54,5 @@ def get_builder(app):
return type(original.__name__, injected_mro, {'name': 'readthedocs'}) return type(original.__name__, injected_mro, {'name': 'readthedocs'})
def setup(app): def setup(app):
app.set_translator('html', DPYHTML5Translator, override=True)
app.add_builder(get_builder(app), override=True) app.add_builder(get_builder(app), override=True)