From d05e5fba073051bd3df86d504af75afb8c642f5d Mon Sep 17 00:00:00 2001 From: j8takagi Date: Thu, 4 Jun 2026 13:59:19 +0900 Subject: [PATCH] =?utf8?q?doc=E3=81=AE=E3=82=B9=E3=82=BF=E3=82=A4=E3=83=AB?= =?utf8?q?=E3=82=B7=E3=83=BC=E3=83=88=E3=82=92=E6=9B=B4=E6=96=B0=E3=80=82Y?= =?utf8?q?ACASL2=E3=81=A8=E5=90=8C=E3=81=98=E3=81=AB?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- VERSION | 2 +- doc/style.css | 43 ++++++++++++++++++++++++++++++++----------- 2 files changed, 33 insertions(+), 12 deletions(-) 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; +} -- 2.47.3