From 7d9c72209302f237587c147adf6fb3ebf71a190a Mon Sep 17 00:00:00 2001
From: Tom Willemse <tom@ryuslash.org>
Date: Sat, 28 Dec 2013 14:08:08 +0100
Subject: [PATCH] Restyle edocs.css

---
 edocs.css | 43 +++++++++----------------------------------
 1 file changed, 9 insertions(+), 34 deletions(-)

diff --git a/edocs.css b/edocs.css
index 37e876e..2a80c7d 100644
--- a/edocs.css
+++ b/edocs.css
@@ -1,10 +1,5 @@
-a {
-    text-decoration: none;
-}
-
-a:hover {
-    text-decoration: underline;
-}
+a { text-decoration: none; }
+a:hover { text-decoration: underline; }
 
 body {
     border: 0;
@@ -15,29 +10,12 @@ body {
     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;
-}
+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%;
@@ -45,7 +23,4 @@ pre {
     margin: 1.2em -8pt;
 }
 
-.container {
-    margin: 0 auto;
-    width: 700px;
-}
+.container { margin: 0 auto; width: 700px; }