From 2000d28b07aac78bbad238938aacfde64ff3802e Mon Sep 17 00:00:00 2001
From: Petr Šplíchal <psplicha@redhat.com>
Date: Thu, 23 Feb 2012 16:04:32 +0100
Subject: Style sheet for html docs plus minor adjustments

---
 documentation/style.css | 53 +++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 53 insertions(+)
 create mode 100644 documentation/style.css

(limited to 'documentation')

diff --git a/documentation/style.css b/documentation/style.css
new file mode 100644
index 0000000..5dc217c
--- /dev/null
+++ b/documentation/style.css
@@ -0,0 +1,53 @@
+body {
+    font-family: "dejavu sans", sans-serif;
+    width: 80ex;
+    margin: 3em auto;
+    background-color: #eee;
+    border: 3px solid #ddd;
+}
+
+div.document {
+    padding: 3em;
+    background-color: white;
+}
+
+h1.title {
+    font-size: 200%;
+    background-color: white;
+    border: 0px;
+    margin: 0px;
+}
+
+h2.subtitle {
+    margin-top: 1ex;
+    font-size: 110%;
+}
+
+h1 {
+    font-size: 130%;
+    border-bottom: 3px solid #eee;
+    margin: 3ex 0em 0em 0em;
+}
+
+p, li {
+    line-height: 140%;
+    list-style-type: square;
+}
+
+blockquote {
+    margin: 1em;
+}
+
+pre {
+    margin-left: 3em;
+    color: #777;
+}
+
+table.docinfo {
+    display: none;
+}
+
+a {
+    color: #c00;
+    text-decoration: none;
+}
-- 
cgit