# HG changeset patch # User Tom Gottfried # 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 @@