diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 8b18d76e..cfd54565 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.40 mdbook && \ +RUN cargo install --version 0.4.41 mdbook && \ cargo install --version 1.18.0 mdbook-admonish diff --git a/.github/CONTRIBUTING.md b/.github/CONTRIBUTING.md index c5f44e52..46e6ecd4 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.40` に固定してください。 +> 開発に使用する mdbook のバージョンは `0.4.41` に固定してください。 * [mdgen](https://github.com/Seasawher/mdgen) を Lean ファイルから markdown ファイルを生成するために使用しています。 diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 0674e217..fe3d3975 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.40' + mdbook-version: '0.4.41' - name: install mdbook-admonish uses: baptiste0928/cargo-install@v3 diff --git a/theme/index.hbs b/theme/index.hbs index d0903a72..221615c2 100644 --- a/theme/index.hbs +++ b/theme/index.hbs @@ -1,62 +1,59 @@ - - -
- - -