From 3a82cba4c5f7826ffdc74c88f58e53e2fca541e6 Mon Sep 17 00:00:00 2001
From: Marcel Klehr <mklehr@gmx.net>
Date: Thu, 27 Mar 2014 18:08:55 +0100
Subject: [PATCH] Polish the styles of our docs a little

---
 doc/assets/style.css | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/doc/assets/style.css b/doc/assets/style.css
index fe1343af4..09bc9a364 100644
--- a/doc/assets/style.css
+++ b/doc/assets/style.css
@@ -1,3 +1,7 @@
+html {
+  border-top: solid green 5pt;
+}
+
 body.apidoc {
   width: 60%;
   min-width: 10cm;
@@ -5,8 +9,7 @@ body.apidoc {
 }
 
 #header {
-  background-color: #5a5;
-  padding: 10px;
+  padding: 1pc 0;
   color: #111;
 }