                        .writeText(text)
                            .then(() => {
                                alert("Copied to clipboard!");
                            })
                            .catch((err) => {
                                console.error("Failed to copy: ", err);
                            });
                    });
            </script>

            <hr />

            <nav class="toc">
                <h2>Table of Contents</h2>
                <ol>
                    <li>