From 10367dd27f4e21035b095c9d951358656d1fec50 Mon Sep 17 00:00:00 2001
From: Tom Willemse
Date: Tue, 10 Dec 2013 02:24:52 +0100
Subject: Add edocs.css for edocs-generated sites

---
 edocs.css | 51 +++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 51 insertions(+)
 create mode 100644 edocs.css

diff --git a/edocs.css b/edocs.css
new file mode 100644
index 0000000..37e876e
--- /dev/null
+++ b/edocs.css
@@ -0,0 +1,51 @@
+a {
+    text-decoration: none;
+}
+
+a:hover {
+    text-decoration: underline;
+}
+
+body {
+    border: 0;
+    font-family: "PT Sans", "Liberation Sans", "DejaVu Sans", "Tahoma", "Verdana", "Arial", sans-serif;
+    margin: 0;
+    padding: 0;
+    line-height: 160%;
+    font-size: 15px;
+}
+
+h1 {
+    font-size: 25px;
+}
+
+h2 {
+    font-size: 23px;
+}
+
+h3 {
+    font-size: 21px;
+}
+
+h4 {
+    font-size: 19px;
+}
+
+h5 {
+    font-size: 17px;
+}
+
+h6 {
+    font-size: 15px;
+}
+
+pre {
+    line-height: 100%;
+    font-family: "CosmicSansNeueMono", "PT Mono", "Liberation Mono", "DejaVu Sans Mono", "Courier new", monospace;
+    margin: 1.2em -8pt;
+}
+
+.container {
+    margin: 0 auto;
+    width: 700px;
+}
-- 
cgit v1.2.3-54-g00ecf