Modify recent nav-bar adjustments so work better with mobile 2, a=chris

Chris Pollett [2023-01-02 17:Jan:nd]
Modify recent nav-bar adjustments so work better with mobile 2, a=chris
Filename
src/css/search.css
diff --git a/src/css/search.css b/src/css/search.css
index 74df1097e..bbb2858e5 100755
--- a/src/css/search.css
+++ b/src/css/search.css
@@ -1251,12 +1251,13 @@ body.mobile
 }
 .mobile .nav-bar h1
 {
-    font-size:14pt;
+    font-size: 14pt;
     min-width: unset;
     max-width: unset;
 }
 .mobile .nav-bar .nav-span
 {
+    font-size: 14pt;
     max-width:250px;
 }
 .mobile .nav-bar img
ViewGit