From: j8takagi <j8takagi@nifty.com>
Date: Thu, 21 May 2026 10:25:40 +0000 (+0900)
Subject: ドキュメントの目次表示スタイルの変更
X-Git-Url: https://www.j8takagi.net/gitweb?a=commitdiff_plain;h=a332ad76c26452e1664fa4da266f355b8f9dcf4f;p=yacasl2.git

ドキュメントの目次表示スタイルの変更
---

diff --git a/VERSION b/VERSION
index 1f3d544..71eefd4 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-v0.5p32
+v0.5p33
diff --git a/doc/Makefile b/doc/Makefile
index dc8c378..76f758e 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -19,9 +19,9 @@ all: base htmls pdf casl2_spec
 
 info: yacasl2.info
 
-html: $(addsuffix .html,$(DOCS))
+html: $(addsuffix .html,$(DOCS)) style.css
 
-htmls: $(addsuffix _html,$(DOCS))
+htmls: $(addsuffix _html,$(DOCS)) style.css
 
 pdf: $(addsuffix .pdf,$(DOCS))
 
diff --git a/doc/casl2_spec/Makefile b/doc/casl2_spec/Makefile
index 45acab2..387b808 100644
--- a/doc/casl2_spec/Makefile
+++ b/doc/casl2_spec/Makefile
@@ -10,6 +10,8 @@ TEXITARGETS := casl2_spec.html
 
 all: casl2_spec.html casl2_spec.pdf
 
+casl2_spec.html: style.css
+
 clean: texinfo-clean
 	$(RM) *.bak
 	$(MAKE) -C img clean
diff --git a/doc/style.css b/doc/style.css
index d626060..f73e31d 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -35,10 +35,9 @@ h2 {
     border: 2px solid navy;
 }
 
-.contents {
-    background-color: #DDF;
-    border: 4px double #000;
-    padding: 0.5em 1em 0.5em 1em;
+.contents, .mini-toc {
+    border: 4px double #DDF;
+    padding: 0.5em 1em 0.5em 2em;
 }
 
 .contents h2 {