From b3e10e19d8cd77ac62a6afac0c3a6ef0d3d5a286 Mon Sep 17 00:00:00 2001
From: nicoo <nicoo@realraum.at>
Date: Thu, 17 Dec 2015 22:49:23 +0100
Subject: [PATCH] doc/local.css: Better margins for the logo

---
 doc/local.css |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/local.css b/doc/local.css
index 26a03ec..66735b3 100644
--- a/doc/local.css
+++ b/doc/local.css
@@ -54,7 +54,7 @@ p>code, dd>code, li>code {
 /* {{{ .pageheader */
 .pageheader {
 	position: relative;
-	min-height: 95px;
+	min-height: 110px;
 	padding: 0 1em;
 	color: black;
 	background: #ffa430;
-- 
1.7.10.4