From 513efecc3479c00cff7114aa03c9dea5272a6f42 Mon Sep 17 00:00:00 2001
From: marc tobias <mtm@marcs-MacBook-Pro.local>
Date: Thu, 21 Jan 2016 12:03:19 +0000
Subject: [PATCH] user interface: less whitespace in header

---
 lib/template/includes/html-top-navigation.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/template/includes/html-top-navigation.php b/lib/template/includes/html-top-navigation.php
index 92eb0fb8..e0b367b4 100644
--- a/lib/template/includes/html-top-navigation.php
+++ b/lib/template/includes/html-top-navigation.php
@@ -3,7 +3,7 @@
       <div class="col-xs-4">
         <div class="brand">
           <a href="<?php echo CONST_Website_BaseURL;?>">
-          <img alt="logo" src="images/osm_logo.120px.png" width="40" height="40"/>
+          <img alt="logo" src="images/osm_logo.120px.png" width="30" height="30"/>
           <h1>Nominatim</h1>
           </a>
         </div>
@@ -17,7 +17,7 @@
       </div>
       <div class="col-xs-4 text-right">
         <div class="btn-group">
-          <button class="dropdown-toggle btn btn-default" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">
+          <button class="dropdown-toggle btn btn-sm btn-default" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">
             About &amp; Help <span class="caret"></span>
           </button>
           <ul class="dropdown-menu dropdown-menu-right">
-- 
2.39.5