docフォルダで、CSSファイルをレポジトリ追加

diff --git a/doc/.gitignore b/doc/.gitignore
index 00d30e8..68f65a7 100644 (file)
--- 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 (file)
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%;
+}