From 7a3db0226139226dce8a353c58464c93f70d8141 Mon Sep 17 00:00:00 2001 From: j8takagi Date: Tue, 9 Feb 2010 21:19:40 +0900 Subject: [PATCH 1/1] =?utf8?q?doc=E3=83=95=E3=82=A9=E3=83=AB=E3=83=80?= =?utf8?q?=E3=81=A7=E3=80=81CSS=E3=83=95=E3=82=A1=E3=82=A4=E3=83=AB?= =?utf8?q?=E3=82=92=E3=83=AC=E3=83=9D=E3=82=B8=E3=83=88=E3=83=AA=E8=BF=BD?= =?utf8?q?=E5=8A=A0?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- doc/.gitignore | 2 +- doc/yacasl2/style.css | 34 ++++++++++++++++++++++++++++++++++ 2 files changed, 35 insertions(+), 1 deletion(-) create mode 100644 doc/yacasl2/style.css diff --git a/doc/.gitignore b/doc/.gitignore index 00d30e8..68f65a7 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1 +1 @@ -yacasl2 +yacasl2/*.html diff --git a/doc/yacasl2/style.css b/doc/yacasl2/style.css new file mode 100644 index 0000000..9d84815 --- /dev/null +++ b/doc/yacasl2/style.css @@ -0,0 +1,34 @@ +body { + margin-left: 6em; + margin-right: 12em; +} + +p { + line-height: 1.5em; +} + +a:hover { + color: red; + text-decoration: underline; +} + +.command { + font-family: monospace; +} + +pre.verbatim { + width: 75%; + padding: 0.5em 1em 0.5em 1em; + color: white; + background: black; +} + +a { + text-decoration: none; +} + +blockquote.p { + margin-top:0; + padding-top:0; + line-height: 100%; +} -- 2.18.0