[PATCH] Use font-family Arial also in header

[Wald Commits]

# HG changeset patch
# User Tom Gottfried <tom at intevation.de>
# Date 1396511721 -7200
# Node ID 042b73e89d27a19152c506d6aff98ed7e27bbd00
# Parent  b142a13c7435a82f62f896693ad75ece5d479b7d
Use font-family Arial also in header.

diff -r b142a13c7435 -r 042b73e89d27 css/style.css
--- a/css/style.css	Wed Apr 02 14:43:02 2014 +0200
+++ b/css/style.css	Thu Apr 03 09:55:21 2014 +0200
@@ -30,6 +30,15 @@
   color: #777;
   border-top: 1px solid #e5e5e5;
 }
+
+/* Custom page header */
+.nav {
+  font-family: Arial;
+}
+.glyphicon {
+  margin-right: 1.5ex;
+}
+
 /* Custom page carousel */
 .carousel-caption {
     position: static;
diff -r b142a13c7435 -r 042b73e89d27 header.html
--- a/header.html	Wed Apr 02 14:43:02 2014 +0200
+++ b/header.html	Thu Apr 03 09:55:21 2014 +0200
@@ -11,9 +11,9 @@
   </div>
   <div class="navbar-collapse collapse">
     <ul class="nav navbar-nav navbar-right">
-      <li><a href="download.html"><span class="glyphicon glyphicon-download"> Herunterladen</span></a></li>
-      <li><a href="devel.html"><span class="glyphicon glyphicon-cog"> Entwicklung</span></a></li>
-      <li><a href="community.html"><span class="glyphicon glyphicon-fire"> Gemeinschaft</span></a></li>
+      <li><a href="download.html"><span class="glyphicon glyphicon-download"></span>Herunterladen</a></li>
+      <li><a href="devel.html"><span class="glyphicon glyphicon-cog"></span>Entwicklung</a></li>
+      <li><a href="community.html"><span class="glyphicon glyphicon-fire"></span>Gemeinschaft</a></li>
     </div>
 </div>
 <!-- /navbar -->