From a332ad76c26452e1664fa4da266f355b8f9dcf4f Mon Sep 17 00:00:00 2001
From: j8takagi <j8takagi@nifty.com>
Date: Thu, 21 May 2026 19:25:40 +0900
Subject: [PATCH] =?utf8?q?=E3=83=89=E3=82=AD=E3=83=A5=E3=83=A1=E3=83=B3?=
 =?utf8?q?=E3=83=88=E3=81=AE=E7=9B=AE=E6=AC=A1=E8=A1=A8=E7=A4=BA=E3=82=B9?=
 =?utf8?q?=E3=82=BF=E3=82=A4=E3=83=AB=E3=81=AE=E5=A4=89=E6=9B=B4?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 VERSION                 | 2 +-
 doc/Makefile            | 4 ++--
 doc/casl2_spec/Makefile | 2 ++
 doc/style.css           | 7 +++----
 4 files changed, 8 insertions(+), 7 deletions(-)

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 {
-- 
2.47.3