user interface: less whitespace in header

diff --git a/lib/template/includes/html-top-navigation.php b/lib/template/includes/html-top-navigation.php
index 92eb0fb82f3bee09b00c2dda2ff93856b63d32b9..e0b367b420b74a57a5c98324b8bbefe463dfc618 100644 (file)
--- 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">