パンくずリストの追加と、スタイルの修正

diff --git a/doc/Makefile b/doc/Makefile
index 76f758ebba3df1c06eda251b941306c3f1e7d8e0..53df4cf5dc4b98d86fc3ac0e7bb4151974c31354 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -19,9 +19,13 @@ all: base htmls pdf casl2_spec
 
 info: yacasl2.info
 
-html: $(addsuffix .html,$(DOCS)) style.css
+html: $(addsuffix .html,$(DOCS))
 
-htmls: $(addsuffix _html,$(DOCS)) style.css
+htmls: $(addsuffix _html,$(DOCS))
+
+$(addsuffix .html,$(DOCS)): style.css
+
+$(addsuffix _html,$(DOCS)): style.css
 
 pdf: $(addsuffix .pdf,$(DOCS))
 

diff --git a/doc/manual.texi b/doc/manual.texi
index 53513c81710617ff42e9de73f586c90c60d1574d..337a0b17bd1f6cdc15812ebb9ddd0bfae5a94678 100644 (file)
--- a/doc/manual.texi
+++ b/doc/manual.texi
@@ -86,6 +86,28 @@ CASL IIは情報処理試験で用いられるアセンブラ言語で、
 @end cartouche
 @end iftex
 
+この資料の必要部分を抜粋し、HTMLとPDFに変換したもの
+
+@iftex
+@cartouche
+@end iftex
+@quotation
+@uref{casl2_spec/casl2_spec.html, 情報処理技術者試験 アセンブラ言語の仕様（HTML版）}
+@end quotation
+@iftex
+@end cartouche
+@end iftex
+
+@iftex
+@cartouche
+@end iftex
+@quotation
+@uref{casl2_spec/casl2_spec.pdf, 情報処理技術者試験 アセンブラ言語の仕様（PDF版）}
+@end quotation
+@iftex
+@end cartouche
+@end iftex
+
 YACASL2は、CASL IIアセンブラ言語で記述されたファイルをアセンブルし、
 仮想マシンCOMET II上で実行します。
 アセンブルと実行は、連続で行うこともできますし、

diff --git a/doc/style.css b/doc/style.css
index ddddb078cfc955f8d2001d51528f1d2178afe52f..c97518c68b03e6bc3d33803ea0d83a6229efe786 100644 (file)
--- a/doc/style.css
+++ b/doc/style.css
@@ -15,6 +15,13 @@ h1, h2 {
     margin-left: -2em;
 }
 
+.breadcrumbs {
+    padding-bottom: 10px;
+    margin-bottom: 20px;
+    border-bottom: 1px solid #ccc;
+    font-size: 90%;
+}
+
 .node{
     margin-left: -3em;
     color: inherit;
@@ -94,8 +101,9 @@ a:hover {
     text-decoration: underline;
 }
 
-pre.example, pre.verbatim {
-    padding: 0.5em 1em 0.5em 1em;
+.example, pre.verbatim {
+    margin: 0.5em 0 0.5em 0;
+    padding: 0 0 0 1em;
     border: 1px solid #CCC;
 }
 
@@ -108,11 +116,20 @@ blockquote {
     border: 1px solid #00F;
 }
 
-kbd, code, .file, var {
+kbd, code, .file, var, kbd.kbd {
     font-style: normal;
     font-weight: normal;
     font-family: monospace;
-    font-size: 120%;
+    font-size: 110%;
+    margin-left:0.25em;
+    margin-right: 0.25em;
+}
+
+kbd.kbd {
+    font-style: normal;
+    font-weight: bold;
+    font-family: monospace;
+    font-size: 110%;
     margin-left:0.25em;
     margin-right: 0.25em;
 }
@@ -127,7 +144,7 @@ table.cartouche, table.cartouche th, table.cartouche td  {
     border: none;
 }
 
-pre.example .command, pre.example .option, pre.example kbd {
+pre.example .command, pre.example .option, pre.example {
     font-weight: bold;
     font-family: monospace;
     font-size: 110%;
@@ -171,3 +188,9 @@ em {
 hr {
     display: none;
 }
+
+p.nav-panel {
+    border-top: 1px solid #ccc;
+    border-bottom: 1px solid #ccc;
+    margin-top: 0.5em;
+}