doc/local.css: Better margins for the logo

diff --git a/doc/local.css b/doc/local.css
index 26a03ec..66735b3 100644 (file)
--- 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;