py2docfx 0.1.11.dev1830301__py3-none-any.whl → 0.1.11.dev1859874__py3-none-any.whl

py2docfx/venv/template/Lib/site-packages/sphinx/builders/html/__init__.py

@@ -1,1419 +0,0 @@
-"""Several HTML builders."""
-
-from __future__ import annotations
-
-import html
-import os
-import posixpath
-import re
-import sys
-import warnings
-from datetime import datetime
-from os import path
-from typing import IO, Any, Iterable, Iterator, List, Tuple, Type
-from urllib.parse import quote
-
-import docutils.readers.doctree
-from docutils import nodes
-from docutils.core import Publisher
-from docutils.frontend import OptionParser
-from docutils.io import DocTreeInput, StringOutput
-from docutils.nodes import Node
-from docutils.utils import relative_path
-
-from sphinx import __display_version__, package_dir
-from sphinx import version_info as sphinx_version
-from sphinx.application import Sphinx
-from sphinx.builders import Builder
-from sphinx.config import ENUM, Config
-from sphinx.deprecation import RemovedInSphinx70Warning, deprecated_alias
-from sphinx.domains import Domain, Index, IndexEntry
-from sphinx.environment import BuildEnvironment
-from sphinx.environment.adapters.asset import ImageAdapter
-from sphinx.environment.adapters.indexentries import IndexEntries
-from sphinx.environment.adapters.toctree import TocTree
-from sphinx.errors import ConfigError, ThemeError
-from sphinx.highlighting import PygmentsBridge
-from sphinx.locale import _, __
-from sphinx.search import js_index
-from sphinx.theming import HTMLThemeFactory
-from sphinx.util import isurl, logging, md5
-from sphinx.util.display import progress_message, status_iterator
-from sphinx.util.docutils import new_document
-from sphinx.util.fileutil import copy_asset
-from sphinx.util.i18n import format_date
-from sphinx.util.inventory import InventoryFile
-from sphinx.util.matching import DOTFILES, Matcher, patmatch
-from sphinx.util.osutil import copyfile, ensuredir, os_path, relative_uri
-from sphinx.util.tags import Tags
-from sphinx.writers._html4 import HTML4Translator
-from sphinx.writers.html import HTMLWriter
-from sphinx.writers.html5 import HTML5Translator
-
-#: the filename for the inventory of objects
-INVENTORY_FILENAME = 'objects.inv'
-
-logger = logging.getLogger(__name__)
-return_codes_re = re.compile('[\r\n]+')
-
-DOMAIN_INDEX_TYPE = Tuple[
-    # Index name (e.g. py-modindex)
-    str,
-    # Index class
-    Type[Index],
-    # list of (heading string, list of index entries) pairs.
-    List[Tuple[str, List[IndexEntry]]],
-    # whether sub-entries should start collapsed
-    bool
-]
-
-
-def get_stable_hash(obj: Any) -> str:
-    """
-    Return a stable hash for a Python data structure.  We can't just use
-    the md5 of str(obj) since for example dictionary items are enumerated
-    in unpredictable order due to hash randomization in newer Pythons.
-    """
-    if isinstance(obj, dict):
-        return get_stable_hash(list(obj.items()))
-    elif isinstance(obj, (list, tuple)):
-        obj = sorted(get_stable_hash(o) for o in obj)
-    return md5(str(obj).encode()).hexdigest()
-
-
-def convert_locale_to_language_tag(locale: str | None) -> str | None:
-    """Convert a locale string to a language tag (ex. en_US -> en-US).
-
-    refs: BCP 47 (:rfc:`5646`)
-    """
-    if locale:
-        return locale.replace('_', '-')
-    else:
-        return None
-
-
-class Stylesheet(str):
-    """A metadata of stylesheet.
-
-    To keep compatibility with old themes, an instance of stylesheet behaves as
-    its filename (str).
-    """
-
-    attributes: dict[str, str] = None
-    filename: str = None
-    priority: int = None
-
-    def __new__(cls, filename: str, *args: str, priority: int = 500, **attributes: Any
-                ) -> Stylesheet:
-        self = str.__new__(cls, filename)
-        self.filename = filename
-        self.priority = priority
-        self.attributes = attributes
-        self.attributes.setdefault('rel', 'stylesheet')
-        self.attributes.setdefault('type', 'text/css')
-        if args:  # old style arguments (rel, title)
-            self.attributes['rel'] = args[0]
-            self.attributes['title'] = args[1]
-
-        return self
-
-
-class JavaScript(str):
-    """A metadata of javascript file.
-
-    To keep compatibility with old themes, an instance of javascript behaves as
-    its filename (str).
-    """
-
-    attributes: dict[str, str] = None
-    filename: str = None
-    priority: int = None
-
-    def __new__(cls, filename: str, priority: int = 500, **attributes: str) -> JavaScript:
-        self = str.__new__(cls, filename)
-        self.filename = filename
-        self.priority = priority
-        self.attributes = attributes
-
-        return self
-
-
-class BuildInfo:
-    """buildinfo file manipulator.
-
-    HTMLBuilder and its family are storing their own envdata to ``.buildinfo``.
-    This class is a manipulator for the file.
-    """
-
-    @classmethod
-    def load(cls, f: IO) -> BuildInfo:
-        try:
-            lines = f.readlines()
-            assert lines[0].rstrip() == '# Sphinx build info version 1'
-            assert lines[2].startswith('config: ')
-            assert lines[3].startswith('tags: ')
-
-            build_info = BuildInfo()
-            build_info.config_hash = lines[2].split()[1].strip()
-            build_info.tags_hash = lines[3].split()[1].strip()
-            return build_info
-        except Exception as exc:
-            raise ValueError(__('build info file is broken: %r') % exc) from exc
-
-    def __init__(
-        self, config: Config = None, tags: Tags = None, config_categories: list[str] = []
-    ) -> None:
-        self.config_hash = ''
-        self.tags_hash = ''
-
-        if config:
-            values = {c.name: c.value for c in config.filter(config_categories)}
-            self.config_hash = get_stable_hash(values)
-
-        if tags:
-            self.tags_hash = get_stable_hash(sorted(tags))
-
-    def __eq__(self, other: BuildInfo) -> bool:  # type: ignore
-        return (self.config_hash == other.config_hash and
-                self.tags_hash == other.tags_hash)
-
-    def dump(self, f: IO) -> None:
-        f.write('# Sphinx build info version 1\n'
-                '# This file hashes the configuration used when building these files.'
-                ' When it is not found, a full rebuild will be done.\n'
-                'config: %s\n'
-                'tags: %s\n' %
-                (self.config_hash, self.tags_hash))
-
-
-class StandaloneHTMLBuilder(Builder):
-    """
-    Builds standalone HTML docs.
-    """
-    name = 'html'
-    format = 'html'
-    epilog = __('The HTML pages are in %(outdir)s.')
-
-    copysource = True
-    allow_parallel = True
-    out_suffix = '.html'
-    link_suffix = '.html'  # defaults to matching out_suffix
-    indexer_format: Any = js_index
-    indexer_dumps_unicode = True
-    # create links to original images from images [True/False]
-    html_scaled_image_link = True
-    supported_image_types = ['image/svg+xml', 'image/png',
-                             'image/gif', 'image/jpeg']
-    supported_remote_images = True
-    supported_data_uri_images = True
-    searchindex_filename = 'searchindex.js'
-    add_permalinks = True
-    allow_sharp_as_current_path = True
-    embedded = False  # for things like HTML help or Qt help: suppresses sidebar
-    search = True  # for things like HTML help and Apple help: suppress search
-    use_index = False
-    download_support = True  # enable download role
-
-    imgpath: str = None
-    domain_indices: list[DOMAIN_INDEX_TYPE] = []
-
-    def __init__(self, app: Sphinx, env: BuildEnvironment = None) -> None:
-        super().__init__(app, env)
-
-        # CSS files
-        self.css_files: list[Stylesheet] = []
-
-        # JS files
-        self.script_files: list[JavaScript] = []
-
-        # Cached Publisher for writing doctrees to HTML
-        reader = docutils.readers.doctree.Reader(parser_name='restructuredtext')
-        pub = Publisher(
-            reader=reader,
-            parser=reader.parser,
-            writer=HTMLWriter(self),
-            source_class=DocTreeInput,
-            destination=StringOutput(encoding='unicode'),
-        )
-        if docutils.__version_info__[:2] >= (0, 19):
-            pub.get_settings(output_encoding='unicode', traceback=True)
-        else:
-            op = pub.setup_option_parser(output_encoding='unicode', traceback=True)
-            pub.settings = op.get_default_values()
-        self._publisher = pub
-
-    def init(self) -> None:
-        self.build_info = self.create_build_info()
-        # basename of images directory
-        self.imagedir = '_images'
-        # section numbers for headings in the currently visited document
-        self.secnumbers: dict[str, tuple[int, ...]] = {}
-        # currently written docname
-        self.current_docname: str = None
-
-        self.init_templates()
-        self.init_highlighter()
-        self.init_css_files()
-        self.init_js_files()
-
-        html_file_suffix = self.get_builder_config('file_suffix', 'html')
-        if html_file_suffix is not None:
-            self.out_suffix = html_file_suffix
-
-        html_link_suffix = self.get_builder_config('link_suffix', 'html')
-        if html_link_suffix is not None:
-            self.link_suffix = html_link_suffix
-        else:
-            self.link_suffix = self.out_suffix
-
-        self.use_index = self.get_builder_config('use_index', 'html')
-
-    def create_build_info(self) -> BuildInfo:
-        return BuildInfo(self.config, self.tags, ['html'])
-
-    def _get_translations_js(self) -> str:
-        candidates = [path.join(dir, self.config.language,
-                                'LC_MESSAGES', 'sphinx.js')
-                      for dir in self.config.locale_dirs] + \
-                     [path.join(package_dir, 'locale', self.config.language,
-                                'LC_MESSAGES', 'sphinx.js'),
-                      path.join(sys.prefix, 'share/sphinx/locale',
-                                self.config.language, 'sphinx.js')]
-
-        for jsfile in candidates:
-            if path.isfile(jsfile):
-                return jsfile
-        return None
-
-    def _get_style_filenames(self) -> Iterator[str]:
-        if isinstance(self.config.html_style, str):
-            yield self.config.html_style
-        elif self.config.html_style is not None:
-            yield from self.config.html_style
-        elif self.theme:
-            stylesheet = self.theme.get_config('theme', 'stylesheet')
-            yield from map(str.strip, stylesheet.split(','))
-        else:
-            yield 'default.css'
-
-    def get_theme_config(self) -> tuple[str, dict]:
-        return self.config.html_theme, self.config.html_theme_options
-
-    def init_templates(self) -> None:
-        theme_factory = HTMLThemeFactory(self.app)
-        themename, themeoptions = self.get_theme_config()
-        self.theme = theme_factory.create(themename)
-        self.theme_options = themeoptions.copy()
-        self.create_template_bridge()
-        self.templates.init(self, self.theme)
-
-    def init_highlighter(self) -> None:
-        # determine Pygments style and create the highlighter
-        if self.config.pygments_style is not None:
-            style = self.config.pygments_style
-        elif self.theme:
-            style = self.theme.get_config('theme', 'pygments_style', 'none')
-        else:
-            style = 'sphinx'
-        self.highlighter = PygmentsBridge('html', style)
-
-        if self.theme:
-            dark_style = self.theme.get_config('theme', 'pygments_dark_style', None)
-        else:
-            dark_style = None
-
-        if dark_style is not None:
-            self.dark_highlighter = PygmentsBridge('html', dark_style)
-            self.app.add_css_file('pygments_dark.css',
-                                  media='(prefers-color-scheme: dark)',
-                                  id='pygments_dark_css')
-        else:
-            self.dark_highlighter = None
-
-    def init_css_files(self) -> None:
-        self.css_files = []
-        self.add_css_file('pygments.css', priority=200)
-
-        for filename in self._get_style_filenames():
-            self.add_css_file(filename, priority=200)
-
-        for filename, attrs in self.app.registry.css_files:
-            self.add_css_file(filename, **attrs)
-
-        for filename, attrs in self.get_builder_config('css_files', 'html'):
-            attrs.setdefault('priority', 800)  # User's CSSs are loaded after extensions'
-            self.add_css_file(filename, **attrs)
-
-    def add_css_file(self, filename: str, **kwargs: Any) -> None:
-        if '://' not in filename:
-            filename = posixpath.join('_static', filename)
-
-        self.css_files.append(Stylesheet(filename, **kwargs))
-
-    def init_js_files(self) -> None:
-        self.script_files = []
-        self.add_js_file('documentation_options.js', id="documentation_options",
-                         data_url_root='', priority=200)
-        self.add_js_file('doctools.js', priority=200)
-        self.add_js_file('sphinx_highlight.js', priority=200)
-
-        for filename, attrs in self.app.registry.js_files:
-            self.add_js_file(filename, **attrs)
-
-        for filename, attrs in self.get_builder_config('js_files', 'html'):
-            attrs.setdefault('priority', 800)  # User's JSs are loaded after extensions'
-            self.add_js_file(filename, **attrs)
-
-        if self._get_translations_js():
-            self.add_js_file('translations.js')
-
-    def add_js_file(self, filename: str, **kwargs: Any) -> None:
-        if filename and '://' not in filename:
-            filename = posixpath.join('_static', filename)
-
-        self.script_files.append(JavaScript(filename, **kwargs))
-
-    @property
-    def default_translator_class(self) -> type[nodes.NodeVisitor]:  # type: ignore
-        if self.config.html4_writer:
-            return HTML4Translator  # RemovedInSphinx70Warning
-        else:
-            return HTML5Translator
-
-    @property
-    def math_renderer_name(self) -> str:
-        name = self.get_builder_config('math_renderer', 'html')
-        if name is not None:
-            # use given name
-            return name
-        else:
-            # not given: choose a math_renderer from registered ones as possible
-            renderers = list(self.app.registry.html_inline_math_renderers)
-            if len(renderers) == 1:
-                # only default math_renderer (mathjax) is registered
-                return renderers[0]
-            elif len(renderers) == 2:
-                # default and another math_renderer are registered; prior the another
-                renderers.remove('mathjax')
-                return renderers[0]
-            else:
-                # many math_renderers are registered. can't choose automatically!
-                return None
-
-    def get_outdated_docs(self) -> Iterator[str]:
-        try:
-            with open(path.join(self.outdir, '.buildinfo'), encoding="utf-8") as fp:
-                buildinfo = BuildInfo.load(fp)
-
-            if self.build_info != buildinfo:
-                logger.debug('[build target] did not match: build_info ')
-                yield from self.env.found_docs
-                return
-        except ValueError as exc:
-            logger.warning(__('Failed to read build info file: %r'), exc)
-        except OSError:
-            # ignore errors on reading
-            pass
-
-        if self.templates:
-            template_mtime = self.templates.newest_template_mtime()
-        else:
-            template_mtime = 0
-        for docname in self.env.found_docs:
-            if docname not in self.env.all_docs:
-                logger.debug('[build target] did not in env: %r', docname)
-                yield docname
-                continue
-            targetname = self.get_outfilename(docname)
-            try:
-                targetmtime = path.getmtime(targetname)
-            except Exception:
-                targetmtime = 0
-            try:
-                srcmtime = max(path.getmtime(self.env.doc2path(docname)),
-                               template_mtime)
-                if srcmtime > targetmtime:
-                    logger.debug(
-                        '[build target] targetname %r(%s), template(%s), docname %r(%s)',
-                        targetname,
-                        datetime.utcfromtimestamp(targetmtime),
-                        datetime.utcfromtimestamp(template_mtime),
-                        docname,
-                        datetime.utcfromtimestamp(path.getmtime(self.env.doc2path(docname))),
-                    )
-                    yield docname
-            except OSError:
-                # source doesn't exist anymore
-                pass
-
-    def get_asset_paths(self) -> list[str]:
-        return self.config.html_extra_path + self.config.html_static_path
-
-    def render_partial(self, node: Node | None) -> dict[str, str]:
-        """Utility: Render a lone doctree node."""
-        if node is None:
-            return {'fragment': ''}
-
-        doc = new_document('<partial node>')
-        doc.append(node)
-        self._publisher.set_source(doc)
-        self._publisher.publish()
-        return self._publisher.writer.parts
-
-    def prepare_writing(self, docnames: set[str]) -> None:
-        # create the search indexer
-        self.indexer = None
-        if self.search:
-            from sphinx.search import IndexBuilder
-            lang = self.config.html_search_language or self.config.language
-            self.indexer = IndexBuilder(self.env, lang,
-                                        self.config.html_search_options,
-                                        self.config.html_search_scorer)
-            self.load_indexer(docnames)
-
-        self.docwriter = HTMLWriter(self)
-        with warnings.catch_warnings():
-            warnings.filterwarnings('ignore', category=DeprecationWarning)
-            # DeprecationWarning: The frontend.OptionParser class will be replaced
-            # by a subclass of argparse.ArgumentParser in Docutils 0.21 or later.
-            self.docsettings: Any = OptionParser(
-                defaults=self.env.settings,
-                components=(self.docwriter,),
-                read_config_files=True).get_default_values()
-        self.docsettings.compact_lists = bool(self.config.html_compact_lists)
-
-        # determine the additional indices to include
-        self.domain_indices = []
-        # html_domain_indices can be False/True or a list of index names
-        indices_config = self.config.html_domain_indices
-        if indices_config:
-            for domain_name in sorted(self.env.domains):
-                domain: Domain = self.env.domains[domain_name]
-                for indexcls in domain.indices:
-                    indexname = f'{domain.name}-{indexcls.name}'
-                    if isinstance(indices_config, list):
-                        if indexname not in indices_config:
-                            continue
-                    content, collapse = indexcls(domain).generate()
-                    if content:
-                        self.domain_indices.append(
-                            (indexname, indexcls, content, collapse))
-
-        # format the "last updated on" string, only once is enough since it
-        # typically doesn't include the time of day
-        lufmt = self.config.html_last_updated_fmt
-        if lufmt is not None:
-            self.last_updated = format_date(lufmt or _('%b %d, %Y'),
-                                            language=self.config.language)
-        else:
-            self.last_updated = None
-
-        # If the logo or favicon are urls, keep them as-is, otherwise
-        # strip the relative path as the files will be copied into _static.
-        logo = self.config.html_logo or ''
-        favicon = self.config.html_favicon or ''
-
-        if not isurl(logo):
-            logo = path.basename(logo)
-        if not isurl(favicon):
-            favicon = path.basename(favicon)
-
-        self.relations = self.env.collect_relations()
-
-        rellinks: list[tuple[str, str, str, str]] = []
-        if self.use_index:
-            rellinks.append(('genindex', _('General Index'), 'I', _('index')))
-        for indexname, indexcls, _content, _collapse in self.domain_indices:
-            # if it has a short name
-            if indexcls.shortname:
-                rellinks.append((indexname, indexcls.localname,
-                                 '', indexcls.shortname))
-
-        # back up script_files and css_files to allow adding JS/CSS files to a specific page.
-        self._script_files = list(self.script_files)
-        self._css_files = list(self.css_files)
-        styles = list(self._get_style_filenames())
-
-        self.globalcontext = {
-            'embedded': self.embedded,
-            'project': self.config.project,
-            'release': return_codes_re.sub('', self.config.release),
-            'version': self.config.version,
-            'last_updated': self.last_updated,
-            'copyright': self.config.copyright,
-            'master_doc': self.config.root_doc,
-            'root_doc': self.config.root_doc,
-            'use_opensearch': self.config.html_use_opensearch,
-            'docstitle': self.config.html_title,
-            'shorttitle': self.config.html_short_title,
-            'show_copyright': self.config.html_show_copyright,
-            'show_search_summary': self.config.html_show_search_summary,
-            'show_sphinx': self.config.html_show_sphinx,
-            'has_source': self.config.html_copy_source,
-            'show_source': self.config.html_show_sourcelink,
-            'sourcelink_suffix': self.config.html_sourcelink_suffix,
-            'file_suffix': self.out_suffix,
-            'link_suffix': self.link_suffix,
-            'script_files': self.script_files,
-            'language': convert_locale_to_language_tag(self.config.language),
-            'css_files': self.css_files,
-            'sphinx_version': __display_version__,
-            'sphinx_version_tuple': sphinx_version,
-            'docutils_version_info': docutils.__version_info__[:5],
-            'styles': styles,
-            'style': styles[-1],  # xref RemovedInSphinx70Warning
-            'rellinks': rellinks,
-            'builder': self.name,
-            'parents': [],
-            'logo_url': logo,
-            'favicon_url': favicon,
-            'html5_doctype': not self.config.html4_writer,
-        }
-        if self.theme:
-            self.globalcontext.update(
-                ('theme_' + key, val) for (key, val) in
-                self.theme.get_options(self.theme_options).items())
-        self.globalcontext.update(self.config.html_context)
-
-    def get_doc_context(self, docname: str, body: str, metatags: str) -> dict[str, Any]:
-        """Collect items for the template context of a page."""
-        # find out relations
-        prev = next = None
-        parents = []
-        rellinks = self.globalcontext['rellinks'][:]
-        related = self.relations.get(docname)
-        titles = self.env.titles
-        if related and related[2]:
-            try:
-                next = {
-                    'link': self.get_relative_uri(docname, related[2]),
-                    'title': self.render_partial(titles[related[2]])['title']
-                }
-                rellinks.append((related[2], next['title'], 'N', _('next')))
-            except KeyError:
-                next = None
-        if related and related[1]:
-            try:
-                prev = {
-                    'link': self.get_relative_uri(docname, related[1]),
-                    'title': self.render_partial(titles[related[1]])['title']
-                }
-                rellinks.append((related[1], prev['title'], 'P', _('previous')))
-            except KeyError:
-                # the relation is (somehow) not in the TOC tree, handle
-                # that gracefully
-                prev = None
-        while related and related[0]:
-            try:
-                parents.append(
-                    {'link': self.get_relative_uri(docname, related[0]),
-                     'title': self.render_partial(titles[related[0]])['title']})
-            except KeyError:
-                pass
-            related = self.relations.get(related[0])
-        if parents:
-            # remove link to the master file; we have a generic
-            # "back to index" link already
-            parents.pop()
-        parents.reverse()
-
-        # title rendered as HTML
-        title_node = self.env.longtitles.get(docname)
-        title = self.render_partial(title_node)['title'] if title_node else ''
-
-        # Suffix for the document
-        source_suffix = self.env.doc2path(docname, False)[len(docname):]
-
-        # the name for the copied source
-        if self.config.html_copy_source:
-            sourcename = docname + source_suffix
-            if source_suffix != self.config.html_sourcelink_suffix:
-                sourcename += self.config.html_sourcelink_suffix
-        else:
-            sourcename = ''
-
-        # metadata for the document
-        meta = self.env.metadata.get(docname)
-
-        # local TOC and global TOC tree
-        self_toc = TocTree(self.env).get_toc_for(docname, self)
-        toc = self.render_partial(self_toc)['fragment']
-
-        return {
-            'parents': parents,
-            'prev': prev,
-            'next': next,
-            'title': title,
-            'meta': meta,
-            'body': body,
-            'metatags': metatags,
-            'rellinks': rellinks,
-            'sourcename': sourcename,
-            'toc': toc,
-            # only display a TOC if there's more than one item to show
-            'display_toc': (self.env.toc_num_entries[docname] > 1),
-            'page_source_suffix': source_suffix,
-        }
-
-    def write_doc(self, docname: str, doctree: nodes.document) -> None:
-        title_node = self.env.longtitles.get(docname)
-        title = self.render_partial(title_node)['title'] if title_node else ''
-        self.index_page(docname, doctree, title)
-
-        destination = StringOutput(encoding='utf-8')
-        doctree.settings = self.docsettings
-
-        self.secnumbers = self.env.toc_secnumbers.get(docname, {})
-        self.fignumbers = self.env.toc_fignumbers.get(docname, {})
-        self.imgpath = relative_uri(self.get_target_uri(docname), '_images')
-        self.dlpath = relative_uri(self.get_target_uri(docname), '_downloads')
-        self.current_docname = docname
-        self.docwriter.write(doctree, destination)
-        self.docwriter.assemble_parts()
-        body = self.docwriter.parts['fragment']
-        metatags = self.docwriter.clean_meta
-
-        ctx = self.get_doc_context(docname, body, metatags)
-        self.handle_page(docname, ctx, event_arg=doctree)
-
-    def write_doc_serialized(self, docname: str, doctree: nodes.document) -> None:
-        self.imgpath = relative_uri(self.get_target_uri(docname), self.imagedir)
-        self.post_process_images(doctree)
-
-    def finish(self) -> None:
-        self.finish_tasks.add_task(self.gen_indices)
-        self.finish_tasks.add_task(self.gen_pages_from_extensions)
-        self.finish_tasks.add_task(self.gen_additional_pages)
-        self.finish_tasks.add_task(self.copy_image_files)
-        self.finish_tasks.add_task(self.copy_download_files)
-        self.finish_tasks.add_task(self.copy_static_files)
-        self.finish_tasks.add_task(self.copy_extra_files)
-        self.finish_tasks.add_task(self.write_buildinfo)
-
-        # dump the search index
-        self.handle_finish()
-
-    @progress_message(__('generating indices'))
-    def gen_indices(self) -> None:
-        # the global general index
-        if self.use_index:
-            self.write_genindex()
-
-        # the global domain-specific indices
-        self.write_domain_indices()
-
-    def gen_pages_from_extensions(self) -> None:
-        # pages from extensions
-        for pagelist in self.events.emit('html-collect-pages'):
-            for pagename, context, template in pagelist:
-                self.handle_page(pagename, context, template)
-
-    @progress_message(__('writing additional pages'))
-    def gen_additional_pages(self) -> None:
-        # additional pages from conf.py
-        for pagename, template in self.config.html_additional_pages.items():
-            logger.info(pagename + ' ', nonl=True)
-            self.handle_page(pagename, {}, template)
-
-        # the search page
-        if self.search:
-            logger.info('search ', nonl=True)
-            self.handle_page('search', {}, 'search.html')
-
-        # the opensearch xml file
-        if self.config.html_use_opensearch and self.search:
-            logger.info('opensearch ', nonl=True)
-            fn = path.join(self.outdir, '_static', 'opensearch.xml')
-            self.handle_page('opensearch', {}, 'opensearch.xml', outfilename=fn)
-
-    def write_genindex(self) -> None:
-        # the total count of lines for each index letter, used to distribute
-        # the entries into two columns
-        genindex = IndexEntries(self.env).create_index(self)
-        indexcounts = []
-        for _k, entries in genindex:
-            indexcounts.append(sum(1 + len(subitems)
-                                   for _, (_, subitems, _) in entries))
-
-        genindexcontext = {
-            'genindexentries': genindex,
-            'genindexcounts': indexcounts,
-            'split_index': self.config.html_split_index,
-        }
-        logger.info('genindex ', nonl=True)
-
-        if self.config.html_split_index:
-            self.handle_page('genindex', genindexcontext,
-                             'genindex-split.html')
-            self.handle_page('genindex-all', genindexcontext,
-                             'genindex.html')
-            for (key, entries), count in zip(genindex, indexcounts):
-                ctx = {'key': key, 'entries': entries, 'count': count,
-                       'genindexentries': genindex}
-                self.handle_page('genindex-' + key, ctx,
-                                 'genindex-single.html')
-        else:
-            self.handle_page('genindex', genindexcontext, 'genindex.html')
-
-    def write_domain_indices(self) -> None:
-        for indexname, indexcls, content, collapse in self.domain_indices:
-            indexcontext = {
-                'indextitle': indexcls.localname,
-                'content': content,
-                'collapse_index': collapse,
-            }
-            logger.info(indexname + ' ', nonl=True)
-            self.handle_page(indexname, indexcontext, 'domainindex.html')
-
-    def copy_image_files(self) -> None:
-        if self.images:
-            stringify_func = ImageAdapter(self.app.env).get_original_image_uri
-            ensuredir(path.join(self.outdir, self.imagedir))
-            for src in status_iterator(self.images, __('copying images... '), "brown",
-                                       len(self.images), self.app.verbosity,
-                                       stringify_func=stringify_func):
-                dest = self.images[src]
-                try:
-                    copyfile(path.join(self.srcdir, src),
-                             path.join(self.outdir, self.imagedir, dest))
-                except Exception as err:
-                    logger.warning(__('cannot copy image file %r: %s'),
-                                   path.join(self.srcdir, src), err)
-
-    def copy_download_files(self) -> None:
-        def to_relpath(f: str) -> str:
-            return relative_path(self.srcdir, f)
-
-        # copy downloadable files
-        if self.env.dlfiles:
-            ensuredir(path.join(self.outdir, '_downloads'))
-            for src in status_iterator(self.env.dlfiles, __('copying downloadable files... '),
-                                       "brown", len(self.env.dlfiles), self.app.verbosity,
-                                       stringify_func=to_relpath):
-                try:
-                    dest = path.join(self.outdir, '_downloads', self.env.dlfiles[src][1])
-                    ensuredir(path.dirname(dest))
-                    copyfile(path.join(self.srcdir, src), dest)
-                except OSError as err:
-                    logger.warning(__('cannot copy downloadable file %r: %s'),
-                                   path.join(self.srcdir, src), err)
-
-    def create_pygments_style_file(self) -> None:
-        """create a style file for pygments."""
-        with open(path.join(self.outdir, '_static', 'pygments.css'), 'w',
-                  encoding="utf-8") as f:
-            f.write(self.highlighter.get_stylesheet())
-
-        if self.dark_highlighter:
-            with open(path.join(self.outdir, '_static', 'pygments_dark.css'), 'w',
-                      encoding="utf-8") as f:
-                f.write(self.dark_highlighter.get_stylesheet())
-
-    def copy_translation_js(self) -> None:
-        """Copy a JavaScript file for translations."""
-        jsfile = self._get_translations_js()
-        if jsfile:
-            copyfile(jsfile, path.join(self.outdir, '_static', 'translations.js'))
-
-    def copy_stemmer_js(self) -> None:
-        """Copy a JavaScript file for stemmer."""
-        if self.indexer is not None:
-            if hasattr(self.indexer, 'get_js_stemmer_rawcodes'):
-                for jsfile in self.indexer.get_js_stemmer_rawcodes():
-                    copyfile(jsfile, path.join(self.outdir, '_static', path.basename(jsfile)))
-            else:
-                jsfile = self.indexer.get_js_stemmer_rawcode()
-                if jsfile:
-                    copyfile(jsfile, path.join(self.outdir, '_static', '_stemmer.js'))
-
-    def copy_theme_static_files(self, context: dict[str, Any]) -> None:
-        def onerror(filename: str, error: Exception) -> None:
-            logger.warning(__('Failed to copy a file in html_static_file: %s: %r'),
-                           filename, error)
-
-        if self.theme:
-            for entry in self.theme.get_theme_dirs()[::-1]:
-                copy_asset(path.join(entry, 'static'),
-                           path.join(self.outdir, '_static'),
-                           excluded=DOTFILES, context=context,
-                           renderer=self.templates, onerror=onerror)
-
-    def copy_html_static_files(self, context: dict) -> None:
-        def onerror(filename: str, error: Exception) -> None:
-            logger.warning(__('Failed to copy a file in html_static_file: %s: %r'),
-                           filename, error)
-
-        excluded = Matcher(self.config.exclude_patterns + ["**/.*"])
-        for entry in self.config.html_static_path:
-            copy_asset(path.join(self.confdir, entry),
-                       path.join(self.outdir, '_static'),
-                       excluded, context=context, renderer=self.templates, onerror=onerror)
-
-    def copy_html_logo(self) -> None:
-        if self.config.html_logo and not isurl(self.config.html_logo):
-            copy_asset(path.join(self.confdir, self.config.html_logo),
-                       path.join(self.outdir, '_static'))
-
-    def copy_html_favicon(self) -> None:
-        if self.config.html_favicon and not isurl(self.config.html_favicon):
-            copy_asset(path.join(self.confdir, self.config.html_favicon),
-                       path.join(self.outdir, '_static'))
-
-    def copy_static_files(self) -> None:
-        try:
-            with progress_message(__('copying static files')):
-                ensuredir(path.join(self.outdir, '_static'))
-
-                # prepare context for templates
-                context = self.globalcontext.copy()
-                if self.indexer is not None:
-                    context.update(self.indexer.context_for_searchtool())
-
-                self.create_pygments_style_file()
-                self.copy_translation_js()
-                self.copy_stemmer_js()
-                self.copy_theme_static_files(context)
-                self.copy_html_static_files(context)
-                self.copy_html_logo()
-                self.copy_html_favicon()
-        except OSError as err:
-            logger.warning(__('cannot copy static file %r'), err)
-
-    def copy_extra_files(self) -> None:
-        """copy html_extra_path files."""
-        try:
-            with progress_message(__('copying extra files')):
-                excluded = Matcher(self.config.exclude_patterns)
-                for extra_path in self.config.html_extra_path:
-                    entry = path.join(self.confdir, extra_path)
-                    copy_asset(entry, self.outdir, excluded)
-        except OSError as err:
-            logger.warning(__('cannot copy extra file %r'), err)
-
-    def write_buildinfo(self) -> None:
-        try:
-            with open(path.join(self.outdir, '.buildinfo'), 'w', encoding="utf-8") as fp:
-                self.build_info.dump(fp)
-        except OSError as exc:
-            logger.warning(__('Failed to write build info file: %r'), exc)
-
-    def cleanup(self) -> None:
-        # clean up theme stuff
-        if self.theme:
-            self.theme.cleanup()
-
-    def post_process_images(self, doctree: Node) -> None:
-        """Pick the best candidate for an image and link down-scaled images to
-        their high res version.
-        """
-        super().post_process_images(doctree)
-
-        if self.config.html_scaled_image_link and self.html_scaled_image_link:
-            for node in doctree.findall(nodes.image):
-                if not any((key in node) for key in ['scale', 'width', 'height']):
-                    # resizing options are not given. scaled image link is available
-                    # only for resized images.
-                    continue
-                elif isinstance(node.parent, nodes.reference):
-                    # A image having hyperlink target
-                    continue
-                elif 'no-scaled-link' in node['classes']:
-                    # scaled image link is disabled for this node
-                    continue
-
-                uri = node['uri']
-                reference = nodes.reference('', '', internal=True)
-                if uri in self.images:
-                    reference['refuri'] = posixpath.join(self.imgpath,
-                                                         self.images[uri])
-                else:
-                    reference['refuri'] = uri
-                node.replace_self(reference)
-                reference.append(node)
-
-    def load_indexer(self, docnames: Iterable[str]) -> None:
-        keep = set(self.env.all_docs) - set(docnames)
-        try:
-            searchindexfn = path.join(self.outdir, self.searchindex_filename)
-            if self.indexer_dumps_unicode:
-                with open(searchindexfn, encoding='utf-8') as ft:
-                    self.indexer.load(ft, self.indexer_format)
-            else:
-                with open(searchindexfn, 'rb') as fb:
-                    self.indexer.load(fb, self.indexer_format)
-        except (OSError, ValueError):
-            if keep:
-                logger.warning(__('search index couldn\'t be loaded, but not all '
-                                  'documents will be built: the index will be '
-                                  'incomplete.'))
-        # delete all entries for files that will be rebuilt
-        self.indexer.prune(keep)
-
-    def index_page(self, pagename: str, doctree: nodes.document, title: str) -> None:
-        # only index pages with title
-        if self.indexer is not None and title:
-            filename = self.env.doc2path(pagename, base=None)
-            metadata = self.env.metadata.get(pagename, {})
-            if 'nosearch' in metadata:
-                self.indexer.feed(pagename, filename, '', new_document(''))
-            else:
-                self.indexer.feed(pagename, filename, title, doctree)
-
-    def _get_local_toctree(self, docname: str, collapse: bool = True, **kwargs: Any) -> str:
-        if 'includehidden' not in kwargs:
-            kwargs['includehidden'] = False
-        if kwargs.get('maxdepth') == '':
-            kwargs.pop('maxdepth')
-        return self.render_partial(TocTree(self.env).get_toctree_for(
-            docname, self, collapse, **kwargs))['fragment']
-
-    def get_outfilename(self, pagename: str) -> str:
-        return path.join(self.outdir, os_path(pagename) + self.out_suffix)
-
-    def add_sidebars(self, pagename: str, ctx: dict) -> None:
-        def has_wildcard(pattern: str) -> bool:
-            return any(char in pattern for char in '*?[')
-
-        sidebars = None
-        matched = None
-        customsidebar = None
-
-        # default sidebars settings for selected theme
-        if self.theme.name == 'alabaster':
-            # provide default settings for alabaster (for compatibility)
-            # Note: this will be removed before Sphinx-2.0
-            try:
-                # get default sidebars settings from alabaster (if defined)
-                theme_default_sidebars = self.theme.config.get('theme', 'sidebars')
-                if theme_default_sidebars:
-                    sidebars = [name.strip() for name in theme_default_sidebars.split(',')]
-            except Exception:
-                # fallback to better default settings
-                sidebars = ['about.html', 'navigation.html', 'relations.html',
-                            'searchbox.html', 'donate.html']
-        else:
-            theme_default_sidebars = self.theme.get_config('theme', 'sidebars', None)
-            if theme_default_sidebars:
-                sidebars = [name.strip() for name in theme_default_sidebars.split(',')]
-
-        # user sidebar settings
-        html_sidebars = self.get_builder_config('sidebars', 'html')
-        for pattern, patsidebars in html_sidebars.items():
-            if patmatch(pagename, pattern):
-                if matched:
-                    if has_wildcard(pattern):
-                        # warn if both patterns contain wildcards
-                        if has_wildcard(matched):
-                            logger.warning(__('page %s matches two patterns in '
-                                              'html_sidebars: %r and %r'),
-                                           pagename, matched, pattern)
-                        # else the already matched pattern is more specific
-                        # than the present one, because it contains no wildcard
-                        continue
-                matched = pattern
-                sidebars = patsidebars
-
-        if sidebars is None:
-            # keep defaults
-            pass
-
-        ctx['sidebars'] = sidebars
-        ctx['customsidebar'] = customsidebar
-
-    # --------- these are overwritten by the serialization builder
-
-    def get_target_uri(self, docname: str, typ: str = None) -> str:
-        return quote(docname) + self.link_suffix
-
-    def handle_page(self, pagename: str, addctx: dict, templatename: str = 'page.html',
-                    outfilename: str | None = None, event_arg: Any = None) -> None:
-        ctx = self.globalcontext.copy()
-        # current_page_name is backwards compatibility
-        ctx['pagename'] = ctx['current_page_name'] = pagename
-        ctx['encoding'] = self.config.html_output_encoding
-        default_baseuri = self.get_target_uri(pagename)
-        # in the singlehtml builder, default_baseuri still contains an #anchor
-        # part, which relative_uri doesn't really like...
-        default_baseuri = default_baseuri.rsplit('#', 1)[0]
-
-        if self.config.html_baseurl:
-            ctx['pageurl'] = posixpath.join(self.config.html_baseurl,
-                                            pagename + self.out_suffix)
-        else:
-            ctx['pageurl'] = None
-
-        def pathto(
-            otheruri: str, resource: bool = False, baseuri: str = default_baseuri
-        ) -> str:
-            if resource and '://' in otheruri:
-                # allow non-local resources given by scheme
-                return otheruri
-            elif not resource:
-                otheruri = self.get_target_uri(otheruri)
-            uri = relative_uri(baseuri, otheruri) or '#'
-            if uri == '#' and not self.allow_sharp_as_current_path:
-                uri = baseuri
-            return uri
-        ctx['pathto'] = pathto
-
-        def hasdoc(name: str) -> bool:
-            if name in self.env.all_docs:
-                return True
-            elif name == 'search' and self.search:
-                return True
-            elif name == 'genindex' and self.get_builder_config('use_index', 'html'):
-                return True
-            return False
-        ctx['hasdoc'] = hasdoc
-
-        ctx['toctree'] = lambda **kwargs: self._get_local_toctree(pagename, **kwargs)
-        self.add_sidebars(pagename, ctx)
-        ctx.update(addctx)
-
-        # revert script_files and css_files
-        self.script_files[:] = self._script_files
-        self.css_files[:] = self._css_files
-
-        self.update_page_context(pagename, templatename, ctx, event_arg)
-        newtmpl = self.app.emit_firstresult('html-page-context', pagename,
-                                            templatename, ctx, event_arg)
-        if newtmpl:
-            templatename = newtmpl
-
-        # sort JS/CSS before rendering HTML
-        try:
-            # Convert script_files to list to support non-list script_files (refs: #8889)
-            ctx['script_files'] = sorted(ctx['script_files'], key=lambda js: js.priority)
-        except AttributeError:
-            # Skip sorting if users modifies script_files directly (maybe via `html_context`).
-            # refs: #8885
-            #
-            # Note: priority sorting feature will not work in this case.
-            pass
-
-        try:
-            ctx['css_files'] = sorted(ctx['css_files'], key=lambda css: css.priority)
-        except AttributeError:
-            pass
-
-        try:
-            output = self.templates.render(templatename, ctx)
-        except UnicodeError:
-            logger.warning(__("a Unicode error occurred when rendering the page %s. "
-                              "Please make sure all config values that contain "
-                              "non-ASCII content are Unicode strings."), pagename)
-            return
-        except Exception as exc:
-            raise ThemeError(__("An error happened in rendering the page %s.\nReason: %r") %
-                             (pagename, exc)) from exc
-
-        if not outfilename:
-            outfilename = self.get_outfilename(pagename)
-        # outfilename's path is in general different from self.outdir
-        ensuredir(path.dirname(outfilename))
-        try:
-            with open(outfilename, 'w', encoding=ctx['encoding'],
-                      errors='xmlcharrefreplace') as f:
-                f.write(output)
-        except OSError as err:
-            logger.warning(__("error writing file %s: %s"), outfilename, err)
-        if self.copysource and ctx.get('sourcename'):
-            # copy the source file for the "show source" link
-            source_name = path.join(self.outdir, '_sources',
-                                    os_path(ctx['sourcename']))
-            ensuredir(path.dirname(source_name))
-            copyfile(self.env.doc2path(pagename), source_name)
-
-    def update_page_context(self, pagename: str, templatename: str,
-                            ctx: dict, event_arg: Any) -> None:
-        pass
-
-    def handle_finish(self) -> None:
-        if self.indexer:
-            self.finish_tasks.add_task(self.dump_search_index)
-        self.finish_tasks.add_task(self.dump_inventory)
-
-    @progress_message(__('dumping object inventory'))
-    def dump_inventory(self) -> None:
-        InventoryFile.dump(path.join(self.outdir, INVENTORY_FILENAME), self.env, self)
-
-    def dump_search_index(self) -> None:
-        with progress_message(__('dumping search index in %s') % self.indexer.label()):
-            self.indexer.prune(self.env.all_docs)
-            searchindexfn = path.join(self.outdir, self.searchindex_filename)
-            # first write to a temporary file, so that if dumping fails,
-            # the existing index won't be overwritten
-            if self.indexer_dumps_unicode:
-                with open(searchindexfn + '.tmp', 'w', encoding='utf-8') as ft:
-                    self.indexer.dump(ft, self.indexer_format)
-            else:
-                with open(searchindexfn + '.tmp', 'wb') as fb:
-                    self.indexer.dump(fb, self.indexer_format)
-            os.replace(searchindexfn + '.tmp', searchindexfn)
-
-
-def convert_html_css_files(app: Sphinx, config: Config) -> None:
-    """This converts string styled html_css_files to tuple styled one."""
-    html_css_files: list[tuple[str, dict]] = []
-    for entry in config.html_css_files:
-        if isinstance(entry, str):
-            html_css_files.append((entry, {}))
-        else:
-            try:
-                filename, attrs = entry
-                html_css_files.append((filename, attrs))
-            except Exception:
-                logger.warning(__('invalid css_file: %r, ignored'), entry)
-                continue
-
-    config.html_css_files = html_css_files  # type: ignore
-
-
-def convert_html_js_files(app: Sphinx, config: Config) -> None:
-    """This converts string styled html_js_files to tuple styled one."""
-    html_js_files: list[tuple[str, dict]] = []
-    for entry in config.html_js_files:
-        if isinstance(entry, str):
-            html_js_files.append((entry, {}))
-        else:
-            try:
-                filename, attrs = entry
-                html_js_files.append((filename, attrs))
-            except Exception:
-                logger.warning(__('invalid js_file: %r, ignored'), entry)
-                continue
-
-    config.html_js_files = html_js_files  # type: ignore
-
-
-def setup_css_tag_helper(app: Sphinx, pagename: str, templatename: str,
-                         context: dict, doctree: Node) -> None:
-    """Set up css_tag() template helper.
-
-    .. note:: This set up function is added to keep compatibility with webhelper.
-    """
-    pathto = context.get('pathto')
-
-    def css_tag(css: Stylesheet) -> str:
-        attrs = []
-        for key in sorted(css.attributes):
-            value = css.attributes[key]
-            if value is not None:
-                attrs.append(f'{key}="{html.escape(value, True)}"')
-        attrs.append('href="%s"' % pathto(css.filename, resource=True))
-        return '<link %s />' % ' '.join(attrs)
-
-    context['css_tag'] = css_tag
-
-
-def setup_js_tag_helper(app: Sphinx, pagename: str, templatename: str,
-                        context: dict, doctree: Node) -> None:
-    """Set up js_tag() template helper.
-
-    .. note:: This set up function is added to keep compatibility with webhelper.
-    """
-    pathto = context.get('pathto')
-
-    def js_tag(js: JavaScript) -> str:
-        attrs = []
-        body = ''
-        if isinstance(js, JavaScript):
-            for key in sorted(js.attributes):
-                value = js.attributes[key]
-                if value is not None:
-                    if key == 'body':
-                        body = value
-                    elif key == 'data_url_root':
-                        attrs.append('data-url_root="%s"' % pathto('', resource=True))
-                    else:
-                        attrs.append(f'{key}="{html.escape(value, True)}"')
-            if js.filename:
-                attrs.append('src="%s"' % pathto(js.filename, resource=True))
-        else:
-            # str value (old styled)
-            attrs.append('src="%s"' % pathto(js, resource=True))
-
-        if attrs:
-            return f'<script {" ".join(attrs)}>{body}</script>'
-        else:
-            return f'<script>{body}</script>'
-
-    context['js_tag'] = js_tag
-
-
-def setup_resource_paths(app: Sphinx, pagename: str, templatename: str,
-                         context: dict, doctree: Node) -> None:
-    """Set up relative resource paths."""
-    pathto = context.get('pathto')
-
-    # favicon_url
-    favicon_url = context.get('favicon_url')
-    if favicon_url and not isurl(favicon_url):
-        context['favicon_url'] = pathto('_static/' + favicon_url, resource=True)
-
-    # logo_url
-    logo_url = context.get('logo_url')
-    if logo_url and not isurl(logo_url):
-        context['logo_url'] = pathto('_static/' + logo_url, resource=True)
-
-
-def validate_math_renderer(app: Sphinx) -> None:
-    if app.builder.format != 'html':
-        return
-
-    name = app.builder.math_renderer_name  # type: ignore
-    if name is None:
-        raise ConfigError(__('Many math_renderers are registered. '
-                             'But no math_renderer is selected.'))
-    elif name not in app.registry.html_inline_math_renderers:
-        raise ConfigError(__('Unknown math_renderer %r is given.') % name)
-
-
-def validate_html_extra_path(app: Sphinx, config: Config) -> None:
-    """Check html_extra_paths setting."""
-    for entry in config.html_extra_path[:]:
-        extra_path = path.normpath(path.join(app.confdir, entry))
-        if not path.exists(extra_path):
-            logger.warning(__('html_extra_path entry %r does not exist'), entry)
-            config.html_extra_path.remove(entry)
-        elif (path.splitdrive(app.outdir)[0] == path.splitdrive(extra_path)[0] and
-              path.commonpath([app.outdir, extra_path]) == app.outdir):
-            logger.warning(__('html_extra_path entry %r is placed inside outdir'), entry)
-            config.html_extra_path.remove(entry)
-
-
-def validate_html_static_path(app: Sphinx, config: Config) -> None:
-    """Check html_static_paths setting."""
-    for entry in config.html_static_path[:]:
-        static_path = path.normpath(path.join(app.confdir, entry))
-        if not path.exists(static_path):
-            logger.warning(__('html_static_path entry %r does not exist'), entry)
-            config.html_static_path.remove(entry)
-        elif (path.splitdrive(app.outdir)[0] == path.splitdrive(static_path)[0] and
-              path.commonpath([app.outdir, static_path]) == app.outdir):
-            logger.warning(__('html_static_path entry %r is placed inside outdir'), entry)
-            config.html_static_path.remove(entry)
-
-
-def validate_html_logo(app: Sphinx, config: Config) -> None:
-    """Check html_logo setting."""
-    if (config.html_logo and
-            not path.isfile(path.join(app.confdir, config.html_logo)) and
-            not isurl(config.html_logo)):
-        logger.warning(__('logo file %r does not exist'), config.html_logo)
-        config.html_logo = None  # type: ignore
-
-
-def validate_html_favicon(app: Sphinx, config: Config) -> None:
-    """Check html_favicon setting."""
-    if (config.html_favicon and
-            not path.isfile(path.join(app.confdir, config.html_favicon)) and
-            not isurl(config.html_favicon)):
-        logger.warning(__('favicon file %r does not exist'), config.html_favicon)
-        config.html_favicon = None  # type: ignore
-
-
-def deprecate_html_4(_app: Sphinx, config: Config) -> None:
-    """Warn on HTML 4."""
-    # RemovedInSphinx70Warning
-    if config.html4_writer:
-        logger.warning(_('Support for emitting HTML 4 output is deprecated and '
-                         'will be removed in Sphinx 7. ("html4_writer=True '
-                         'detected in configuration options)'))
-
-
-# for compatibility
-import sphinxcontrib.serializinghtml  # noqa: E402,F401
-
-import sphinx.builders.dirhtml  # noqa: E402,F401,RUF100
-import sphinx.builders.singlehtml  # noqa: E402,F401
-
-deprecated_alias('sphinx.builders.html',
-                 {
-                     'html5_ready': True,
-                     'HTMLTranslator': HTML4Translator,
-                 },
-                 RemovedInSphinx70Warning,
-                 {
-                     'HTMLTranslator': 'sphinx.writers.html.HTML5Translator',
-                 })
-
-
-def setup(app: Sphinx) -> dict[str, Any]:
-    # builders
-    app.add_builder(StandaloneHTMLBuilder)
-
-    # config values
-    app.add_config_value('html_theme', 'alabaster', 'html')
-    app.add_config_value('html_theme_path', [], 'html')
-    app.add_config_value('html_theme_options', {}, 'html')
-    app.add_config_value('html_title',
-                         lambda self: _('%s %s documentation') % (self.project, self.release),
-                         'html', [str])
-    app.add_config_value('html_short_title', lambda self: self.html_title, 'html')
-    app.add_config_value('html_style', None, 'html', [list, str])
-    app.add_config_value('html_logo', None, 'html', [str])
-    app.add_config_value('html_favicon', None, 'html', [str])
-    app.add_config_value('html_css_files', [], 'html')
-    app.add_config_value('html_js_files', [], 'html')
-    app.add_config_value('html_static_path', [], 'html')
-    app.add_config_value('html_extra_path', [], 'html')
-    app.add_config_value('html_last_updated_fmt', None, 'html', [str])
-    app.add_config_value('html_sidebars', {}, 'html')
-    app.add_config_value('html_additional_pages', {}, 'html')
-    app.add_config_value('html_domain_indices', True, 'html', [list])
-    app.add_config_value('html_permalinks', True, 'html')
-    app.add_config_value('html_permalinks_icon', '¶', 'html')
-    app.add_config_value('html_use_index', True, 'html')
-    app.add_config_value('html_split_index', False, 'html')
-    app.add_config_value('html_copy_source', True, 'html')
-    app.add_config_value('html_show_sourcelink', True, 'html')
-    app.add_config_value('html_sourcelink_suffix', '.txt', 'html')
-    app.add_config_value('html_use_opensearch', '', 'html')
-    app.add_config_value('html_file_suffix', None, 'html', [str])
-    app.add_config_value('html_link_suffix', None, 'html', [str])
-    app.add_config_value('html_show_copyright', True, 'html')
-    app.add_config_value('html_show_search_summary', True, 'html')
-    app.add_config_value('html_show_sphinx', True, 'html')
-    app.add_config_value('html_context', {}, 'html')
-    app.add_config_value('html_output_encoding', 'utf-8', 'html')
-    app.add_config_value('html_compact_lists', True, 'html')
-    app.add_config_value('html_secnumber_suffix', '. ', 'html')
-    app.add_config_value('html_search_language', None, 'html', [str])
-    app.add_config_value('html_search_options', {}, 'html')
-    app.add_config_value('html_search_scorer', '', None)
-    app.add_config_value('html_scaled_image_link', True, 'html')
-    app.add_config_value('html_baseurl', '', 'html')
-    app.add_config_value('html_codeblock_linenos_style', 'inline', 'html',  # RemovedInSphinx70Warning  # noqa: E501
-                         ENUM('table', 'inline'))
-    app.add_config_value('html_math_renderer', None, 'env')
-    app.add_config_value('html4_writer', False, 'html')
-
-    # events
-    app.add_event('html-collect-pages')
-    app.add_event('html-page-context')
-
-    # event handlers
-    app.connect('config-inited', convert_html_css_files, priority=800)
-    app.connect('config-inited', convert_html_js_files, priority=800)
-    app.connect('config-inited', validate_html_extra_path, priority=800)
-    app.connect('config-inited', validate_html_static_path, priority=800)
-    app.connect('config-inited', validate_html_logo, priority=800)
-    app.connect('config-inited', validate_html_favicon, priority=800)
-    app.connect('config-inited', deprecate_html_4, priority=800)
-    app.connect('builder-inited', validate_math_renderer)
-    app.connect('html-page-context', setup_css_tag_helper)
-    app.connect('html-page-context', setup_js_tag_helper)
-    app.connect('html-page-context', setup_resource_paths)
-
-    # load default math renderer
-    app.setup_extension('sphinx.ext.mathjax')
-
-    # load transforms for HTML builder
-    app.setup_extension('sphinx.builders.html.transforms')
-
-    return {
-        'version': 'builtin',
-        'parallel_read_safe': True,
-        'parallel_write_safe': True,
-    }