From 093ba16a6060231907b04144bbf3868f20981d72 Mon Sep 17 00:00:00 2001 From: Kitamado <47292598+Seasawher@users.noreply.github.com> Date: Thu, 7 Aug 2025 21:18:39 +0900 Subject: [PATCH 1/4] fix: load toc script early --- theme/index.hbs | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/theme/index.hbs b/theme/index.hbs index 221615c2..4e6ece9a 100644 --- a/theme/index.hbs +++ b/theme/index.hbs @@ -52,14 +52,17 @@ {{/if}} - - -
- + + + + + + +
- {{!-- toc.js がサイドバーの内容とスクロール位置を復元する --}} - + {{!-- toc.js 内で折りたたみのイベント登録まで行うため、追加のスクリプトは不要 --}}
From b58b0e7ba65b124d28881f3f43c8bd1c8464cc9f Mon Sep 17 00:00:00 2001 From: Seasawher Date: Thu, 7 Aug 2025 21:57:59 +0900 Subject: [PATCH 4/4] =?UTF-8?q?mdbook=20=E3=81=AE=E3=83=90=E3=83=BC?= =?UTF-8?q?=E3=82=B8=E3=83=A7=E3=83=B3=E3=82=92=200.4.41=20=E3=81=8B?= =?UTF-8?q?=E3=82=89=200.4.42=20=E3=81=AB=E6=9B=B4=E6=96=B0=E3=81=99?= =?UTF-8?q?=E3=82=8B?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .devcontainer/Dockerfile | 2 +- .github/CONTRIBUTING.md | 2 +- .github/workflows/deploy.yml | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index cfd54565..d4067064 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -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 diff --git a/.github/CONTRIBUTING.md b/.github/CONTRIBUTING.md index 46e6ecd4..e621e9a0 100644 --- a/.github/CONTRIBUTING.md +++ b/.github/CONTRIBUTING.md @@ -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 ファイルを生成するために使用しています。 diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index fe3d3975..022f5e14 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -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