lean-ja · Seasawher · Aug 7, 2025 · Aug 7, 2025 · Aug 7, 2025 · Aug 7, 2025
@@ -19,5 +19,5 @@ RUN curl https://sh.rustup.rs -sSf | sh -s -- -y --default-toolchain ${RUST_VERS
 ENV PATH=$PATH:$HOME/.cargo/bin
 
 # mdbook と mdbook のプラグインのインストール
-RUN cargo install --version 0.4.41 mdbook && \
+RUN cargo install --version 0.4.42 mdbook && \
   cargo install --version 1.18.0 mdbook-admonish
@@ -8,7 +8,7 @@
   * [mdbook-admonish](https://github.com/tommilligan/mdbook-admonish) を使用してカードを表示させています。
 
 > [!IMPORTANT]
-> 開発に使用する mdbook のバージョンは `0.4.41` に固定してください。
+> 開発に使用する mdbook のバージョンは `0.4.42` に固定してください。
 
 * [mdgen](https://github.com/Seasawher/mdgen) を Lean ファイルから markdown ファイルを生成するために使用しています。
 

@@ -36,7 +36,7 @@ jobs:
       - name: Setup mdBook
         uses: peaceiris/actions-mdbook@v2
         with:
-          mdbook-version: '0.4.41'
+          mdbook-version: '0.4.42'
 
       - name: install mdbook-admonish
         uses: baptiste0928/cargo-install@v3

@@ -52,14 +52,17 @@
         <!-- MathJax -->
         <script async src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>
         {{/if}}
-    </head>
-    <body>
-    <div id="body-container">
-        <!-- Provide site root to javascript -->
+
+        <!-- サイトルートを JavaScript に渡す -->
         <script>
             var path_to_root = "{{ path_to_root }}";
             var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "{{ preferred_dark_theme }}" : "{{ default_theme }}";
         </script>
+        <!-- サイドバーの生成に必要な toc.js を早期に読み込む -->
+        <script src="{{ path_to_root }}toc.js"></script>
+    </head>
+    <body>
+    <div id="body-container">
 
         <!-- Work around some values being stored in localStorage wrapped in quotes -->
         <script>
@@ -107,41 +110,16 @@
 
         <nav id="sidebar" class="sidebar" aria-label="Table of contents">
             <!-- populated by js -->
-            <div class="sidebar-scrollbox"></div>
+            {{!-- mdBook 0.4.42 ではサイドバー生成用のカスタム要素が導入された --}}
+            <mdbook-sidebar-scrollbox class="sidebar-scrollbox"></mdbook-sidebar-scrollbox>
             <noscript>
                 <iframe class="sidebar-iframe-outer" src="{{ path_to_root }}toc.html"></iframe>
             </noscript>
             <div id="sidebar-resize-handle" class="sidebar-resize-handle">
                 <div class="sidebar-resize-indicator"></div>
             </div>
         </nav>
-
-        <script async src="{{ path_to_root }}toc.js"></script>
-        {{!-- toc.js がサイドバーの内容とスクロール位置を復元する --}}
-
-        <script>
-            // toc.js が非同期にサイドバーを構築するため、
-            // 目次の折りたたみボタンに手動でイベントを付与する
-            window.addEventListener('load', function () {
-                document.querySelectorAll('#sidebar a.toggle').forEach(function (el) {
-                    // クリックされた章の展開状態を切り替える
-                    el.addEventListener('click', function (ev) {
-                        ev.currentTarget.parentElement.classList.toggle('expanded');
-                    });
-                });
-
-                // 現在表示しているページを含む章をすべて展開し、
-                // 子ページが初期状態から見えるようにする
-                var current = document.querySelector('#sidebar a.active');
-                // active クラスはリンク要素に付与されるため、最初に親 <li> を取得する
-                current = current && current.closest('li');
-                while (current) {
-                    current.classList.add('expanded');
-                    // 親の <li> 要素へ登っていく
-                    current = current.parentElement && current.parentElement.closest('li');
-                }
-            });
-        </script>
+        {{!-- toc.js 内で折りたたみのイベント登録まで行うため、追加のスクリプトは不要 --}}
 
         <div id="page-wrapper" class="page-wrapper">