X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fhelp%2FC%2Fdocbook.css;fp=matita%2Fhelp%2FC%2Fdocbook.css;h=a6ea52fe6afe5d2908b4a9b8afc072307c87a3e1;hp=0000000000000000000000000000000000000000;hb=f61af501fb4608cc4fb062a0864c774e677f0d76;hpb=58ae1809c352e71e7b5530dc41e2bfc834e1aef1

diff --git a/matita/help/C/docbook.css b/matita/help/C/docbook.css
new file mode 100644
index 000000000..a6ea52fe6
--- /dev/null
+++ b/matita/help/C/docbook.css
@@ -0,0 +1,56 @@
+
+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;
+}
+
+div.figure {
+  text-align: center;
+}
+