From 489f35e23b6253068fca80fc63cd1b554f789e2c Mon Sep 17 00:00:00 2001
From: j8takagi <j8takagi@nifty.com>
Date: Wed, 27 May 2026 23:24:56 +0900
Subject: [PATCH] =?utf8?q?=E3=83=91=E3=83=B3=E3=81=8F=E3=81=9A=E3=83=AA?=
 =?utf8?q?=E3=82=B9=E3=83=88=E3=81=AE=E8=BF=BD=E5=8A=A0=E3=81=A8=E3=80=81?=
 =?utf8?q?=E3=82=B9=E3=82=BF=E3=82=A4=E3=83=AB=E3=81=AE=E4=BF=AE=E6=AD=A3?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 doc/Makefile    |  8 ++++++--
 doc/manual.texi | 22 ++++++++++++++++++++++
 doc/style.css   | 33 ++++++++++++++++++++++++++++-----
 3 files changed, 56 insertions(+), 7 deletions(-)

diff --git a/doc/Makefile b/doc/Makefile
index 76f758e..53df4cf 100644
--- 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 53513c8..337a0b1 100644
--- 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 ddddb07..c97518c 100644
--- 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;
+}
-- 
2.47.3