Merge pull request #1960 from lean-ja/5vux13-codex/fix-layout-issues-after-mdbook-update

Fix theme for mdBook 0.4.41 sidebar changes

Author: Seasawher

.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

.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 ファイルを生成するために使用しています。
 

.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