From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sat, 10 Jun 2006 16:20:58 +0000 (+0000)
Subject: css stylesheets for the on-line manual
X-Git-Tag: 0.4.95@7852~1346
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=48fdd3d233012ef2ed8f38cab2ac9258ff1aaaa0;p=helm.git

css stylesheets for the on-line manual
---

diff --git a/matita/help/C/docbook.css b/matita/help/C/docbook.css
new file mode 100644
index 000000000..0c92e77c9
--- /dev/null
+++ b/matita/help/C/docbook.css
@@ -0,0 +1,51 @@
+
+body {
+  background: url(../../images/sheetbg.png);
+}
+
+ul.authorgroup {
+  list-style-type: none;
+  padding-left: 1em;
+}
+
+div.titlepage {
+  background: #eaeaea;
+}
+
+div.titlepage hr {
+  display: none;
+}
+
+div.navheader hr {
+  display: none;
+}
+
+div.navfooter hr {
+  display: none;
+}
+
+div.navheader {
+  padding-left: 150px;
+  background: #eaeaea;
+}
+
+div.navfooter {
+  background: #eaeaea;
+}
+
+div.matita_logo {
+  position: absolute;
+  top: 3px;
+  left: 5px;
+}
+
+div.matita_logo img {
+  border-style: none;
+}
+
+div.matita_logo span {
+  position: absolute;
+  top: 13px;
+  left: 65px;
+  text-decoration: underline;
+}