diff --git a/ietf/static/ietf/css/ietf.css b/ietf/static/ietf/css/ietf.css index 8fab42d0d..24b820ec2 100644 --- a/ietf/static/ietf/css/ietf.css +++ b/ietf/static/ietf/css/ietf.css @@ -75,6 +75,11 @@ body { padding-top: 72px; } font-family: "PT Sans", "Trebuchet", "Seravek", sans-serif; } +.body-nav { + font-family: "PT Sans", "Trebuchet", "Seravek", sans-serif; + font-size: 90%; +} + .nav-stacked>li, .nav-stacked>li+li { margin: 0; line-height: 1.214; } .nav-stacked>li>a { padding: 0.125em 0.5em; } diff --git a/ietf/templates/doc/search/search_form.html b/ietf/templates/doc/search/search_form.html index e5c4bf5aa..a99b43df1 100644 --- a/ietf/templates/doc/search/search_form.html +++ b/ietf/templates/doc/search/search_form.html @@ -16,6 +16,14 @@ {{ form.sort }} {# hidden field #} + +