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

diff --git a/VERSION b/VERSION
index 1f3d544c164f05ad20b6d768e0102da002013c6f..71eefd49ead839007a8563af31c3aa29881e6dcd 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-v0.5p32
+v0.5p33

diff --git a/doc/Makefile b/doc/Makefile
index dc8c3787f2b2f4ae55fe75a3bad106ecd98b89b9..76f758ebba3df1c06eda251b941306c3f1e7d8e0 100644 (file)
--- 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 45acab2c5222d04beb1b3df3320e759edb9e0f65..387b80864a966eb8e1e08401ed97ff5796994b31 100644 (file)
--- 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 d6260609693ba95d27774af6bed152cbfc0c9bd9..f73e31d6aad1b2a62652c682833cbb386d520b47 100644 (file)
--- 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 {