-
+
+ {{!-- toc.js がサイドバーの内容とスクロール位置を復元する --}}
+
@@ -149,14 +148,10 @@
{{#if search_enabled}}
@@ -213,13 +203,14 @@
+ {{!-- コンテンツとページ内目次を並べて表示するラッパー --}}
{{{ content }}}
@@ -231,17 +222,15 @@
-
-
+
From b8e5ce4628ec4e5da9ec7ff0a2bf86055a785ed0 Mon Sep 17 00:00:00 2001
From: Kitamado <47292598+Seasawher@users.noreply.github.com>
Date: Thu, 7 Aug 2025 08:13:12 +0900
Subject: [PATCH 2/3] Expand active chapter in mdBook sidebar
---
theme/index.hbs | 8 +++++---
1 file changed, 5 insertions(+), 3 deletions(-)
diff --git a/theme/index.hbs b/theme/index.hbs
index 3c372c5a..221615c2 100644
--- a/theme/index.hbs
+++ b/theme/index.hbs
@@ -130,10 +130,12 @@
});
});
- // 現在表示しているページの親章をすべて展開し、
+ // 現在表示しているページを含む章をすべて展開し、
// 子ページが初期状態から見えるようにする
- var current = document.querySelector('#sidebar li.active');
- while (current && current.tagName === 'LI') {
+ var current = document.querySelector('#sidebar a.active');
+ // active クラスはリンク要素に付与されるため、最初に親
を取得する
+ current = current && current.closest('li');
+ while (current) {
current.classList.add('expanded');
// 親の 要素へ登っていく
current = current.parentElement && current.parentElement.closest('li');
From 60ca9c10ccf416b9edff0d5bcb9e4acac19daf00 Mon Sep 17 00:00:00 2001
From: Seasawher
Date: Thu, 7 Aug 2025 08:47:46 +0900
Subject: [PATCH 3/3] =?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.40=20=E3=81=8B?=
=?UTF-8?q?=E3=82=89=200.4.41=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 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