diff options
Diffstat (limited to 'examples/docs/src/components')
| -rw-r--r-- | examples/docs/src/components/HeadCommon.astro | 6 | ||||
| -rw-r--r-- | examples/docs/src/components/LeftSidebar/LeftSidebar.astro | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/examples/docs/src/components/HeadCommon.astro b/examples/docs/src/components/HeadCommon.astro index 21504cf89..b6a74cdc6 100644 --- a/examples/docs/src/components/HeadCommon.astro +++ b/examples/docs/src/components/HeadCommon.astro @@ -18,10 +18,10 @@ import '../styles/index.css'; <link href="https://fonts.googleapis.com/css2?family=IBM+Plex+Mono:ital@0;1&display=swap" rel="stylesheet" /> <!-- Scrollable a11y code helper --> -<script type="module" src="/make-scrollable-code-focusable.js"></script> +<script src="/make-scrollable-code-focusable.js" is:inline></script> <!-- This is intentionally inlined to avoid FOUC --> -<script> +<script is:inline> const root = document.documentElement; const theme = localStorage.getItem('theme'); if (theme === 'dark' || (!theme && window.matchMedia('(prefers-color-scheme: dark)').matches)) { @@ -32,7 +32,7 @@ import '../styles/index.css'; </script> <!-- Global site tag (gtag.js) - Google Analytics --> -<!-- <script async src="https://www.googletagmanager.com/gtag/js?id=G-TEL60V1WM9"></script> +<!-- <script async src="https://www.googletagmanager.com/gtag/js?id=G-TEL60V1WM9" is:inline></script> <script> window.dataLayer = window.dataLayer || []; function gtag(){dataLayer.push(arguments);} diff --git a/examples/docs/src/components/LeftSidebar/LeftSidebar.astro b/examples/docs/src/components/LeftSidebar/LeftSidebar.astro index 99a03213d..107423385 100644 --- a/examples/docs/src/components/LeftSidebar/LeftSidebar.astro +++ b/examples/docs/src/components/LeftSidebar/LeftSidebar.astro @@ -43,7 +43,7 @@ const sidebarSections = SIDEBAR[langCode].reduce((col, item, i) => { </ul> </nav> -<script> +<script is:inline> window.addEventListener('DOMContentLoaded', (event) => { var target = document.querySelector('[aria-current="page"]'); if (target && target.offsetTop > window.innerHeight - 100) { |