Add edocs.css for edocs-generated sites

1 files changed, 51 insertions, 0 deletions

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