From: j8takagi <j8takagi@nifty.com>
Date: Thu, 4 Jun 2026 04:59:19 +0000 (+0900)
Subject: docのスタイルシートを更新。YACASL2と同じに
X-Git-Tag: v0.2p23
X-Git-Url: https://j8takagi.net/gitweb?a=commitdiff_plain;h=d05e5fba073051bd3df86d504af75afb8c642f5d;p=autotest_mk.git

docのスタイルシートを更新。YACASL2と同じに
---

diff --git a/VERSION b/VERSION
index c6abb7f..cec6183 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.2p22
+0.2p23
diff --git a/doc/style.css b/doc/style.css
index d6409a0..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,13 +144,7 @@ table.cartouche, table.cartouche th, table.cartouche td  {
     border: none;
 }
 
-.example {
-    border: 1px solid #00F;
-    padding-left: 2em;
-    margin: 1em 1em 1em 0em;
-}
-
-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%;
@@ -173,3 +184,13 @@ em {
     font-style: normal;
     font-weight: bold;
 }
+
+hr {
+    display: none;
+}
+
+p.nav-panel {
+    border-top: 1px solid #ccc;
+    border-bottom: 1px solid #ccc;
+    margin-top: 0.5em;
+}