Added a navbar font-family override, for the case where we're using different body fonts.

- Legacy-Id: 9398
2015-04-04 15:24:49 +00:00 · 2015-04-04 15:24:49 +00:00 · 640c462f0e
parent 11d841df32
commit 640c462f0e
1 changed files with 4 additions and 0 deletions
--- a/static/css/ietf.css
+++ b/static/css/ietf.css
@ -184,6 +184,10 @@ ampersand you get is dependent on which fonts are available in the browser.  Hac
 }
 .visible-nojs { display: block !important; }

+.navbar {
+  font-family: "PT Sans Caption", "Helvetica Neue", Helvetica, Arial, sans-serif;
+}
+
 .navbar-brand > img {
  display: inline;
  margin-top: -7px;