plugin ¤

def on_files(self, files: Files, config: Config, **kwargs: Any) -> Files:  # noqa: ARG002
    """Add the coverage page to the navigation.

    Hook for the [`on_files` event](https://www.mkdocs.org/user-guide/plugins/#on_files).
    This hook is used to add the coverage page to the navigation, using a temporary file.

    Arguments:
        files: The files collection.
        config: The MkDocs config object.
        **kwargs: Additional arguments passed by MkDocs.

    Returns:
        The modified files collection.
    """
    covindex = "covindex.html" if config["use_directory_urls"] else f"{self.config['page_name']}/covindex.html"

    style = textwrap.dedent(
        """
        <style>
        article h1, article > a, .md-sidebar--secondary {
            display: none !important;
        }
        </style>
        """,
    )

    iframe = textwrap.dedent(
        f"""
        <iframe
            id="coviframe"
            src="{covindex}"
            frameborder="0"
            scrolling="no"
            onload="resizeIframe();"
            width="100%">
        </iframe>
        """,
    )

    script = textwrap.dedent(
        """
        <script>
        var coviframe = document.getElementById("coviframe");

        function resizeIframe() {
            coviframe.style.height = coviframe.contentWindow.document.documentElement.offsetHeight + 'px';
        }

        coviframe.contentWindow.document.body.onclick = function() {
            coviframe.contentWindow.location.reload();
        }
        </script>

        """,
    )
    page_contents = style + iframe + script
    tempdir = mkdtemp()
    page_name = self.config["page_name"] + ".md"
    tempfile = Path(tempdir) / page_name
    with tempfile.open("w") as fp:
        fp.write(page_contents)
    files.append(
        File(
            page_name,
            str(tempfile.parent),
            config["site_dir"],
            config["use_directory_urls"],
        ),
    )
    return files

def on_post_build(self, config: Config, **kwargs: Any) -> None:  # noqa: ARG002
    """Copy the coverage HTML report into the site directory.

    Hook for the [`on_post_build` event](https://www.mkdocs.org/user-guide/plugins/#on_post_build).

    Rename `index.html` into `covindex.html`.
    Replace every occurrence of `index.html` by `covindex.html` in the HTML files.

    Arguments:
        config: The MkDocs config object.
        **kwargs: Additional arguments passed by MkDocs.
    """
    site_dir = Path(config["site_dir"])
    coverage_dir = site_dir / self.config["page_name"]
    tmp_index = site_dir / ".coverage-tmp.html"

    if config["use_directory_urls"]:
        shutil.move(coverage_dir / "index.html", tmp_index)
    else:
        shutil.move(coverage_dir.with_suffix(".html"), tmp_index)

    shutil.rmtree(str(coverage_dir), ignore_errors=True)
    try:
        shutil.copytree(self.config["html_report_dir"], str(coverage_dir))
    except FileNotFoundError:
        log.warning(f"No such HTML report directory: {self.config['html_report_dir']}")
        return

    shutil.move(coverage_dir / "index.html", coverage_dir / "covindex.html")

    if config["use_directory_urls"]:
        shutil.move(str(tmp_index), coverage_dir / "index.html")
    else:
        shutil.move(str(tmp_index), coverage_dir.with_suffix(".html"))

    for html_file in coverage_dir.iterdir():
        if html_file.suffix == ".html" and html_file.name != "index.html":
            html_file.write_text(re.sub(r'href="index\.html"', 'href="covindex.html"', html_file.read_text()))