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 diff --git a/theme/index.hbs b/theme/index.hbs index 221615c2..e3b8c877 100644 --- a/theme/index.hbs +++ b/theme/index.hbs @@ -52,14 +52,17 @@ {{/if}} - - -
- + + + + + + +
- {{!-- toc.js がサイドバーの内容とスクロール位置を復元する --}} - - + {{!-- toc.js 内で折りたたみのイベント登録まで行うため、追加のスクリプトは不要 --}}