Merge pull request #1957 from lean-ja/codex/fix-issues-after-updating-mdbook-to-v0.4.41

fix: update theme for mdBook v0.4.41

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

theme/css/general.css

@@ -4,15 +4,14 @@
 */
 /* Base styles and content styles */
 
-@import 'variables.css';
-
 :root {
     /* Browser default font-size is 16px, this way 1 rem = 10px */
     font-size: 62.5%;
     color-scheme: var(--color-scheme);
 }
 
 html {
+    /* 日本語を含むコンテンツでも読みやすくするためのフォント指定 */
     font-family: "Noto Sans JP", "Fira Sans", sans-serif;
     color: var(--fg);
     background-color: var(--bg);
@@ -196,6 +195,16 @@ kbd {
     vertical-align: middle;
 }
 
+sup {
+    /* Set the line-height for superscript and footnote references so that there
+       isn't an awkward space appearing above lines that contain the footnote.
+
+       See https://github.com/rust-lang/mdBook/pull/2443#discussion_r1813773583
+       for an explanation.
+    */
+    line-height: 0;
+}
+
 :not(.footnote-definition) + .footnote-definition,
 .footnote-definition + :not(.footnote-definition) {
     margin-block-start: 2em;