From 48fdd3d233012ef2ed8f38cab2ac9258ff1aaaa0 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sat, 10 Jun 2006 16:20:58 +0000
Subject: [PATCH] css stylesheets for the on-line manual

---
 matita/help/C/docbook.css | 51 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 51 insertions(+)
 create mode 100644 matita/help/C/docbook.css

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;
+}
-- 
2.39.2