Replace Verdana with Noto Sans in responsive.css for consistency with the new default...

git-svn-id: https://svn.redmine.org/redmine/trunk@23138 e93f8b46-1217-0410-a6f0-8f06a7374b81

diff --git a/app/assets/stylesheets/responsive.css b/app/assets/stylesheets/responsive.css
index b4ec6e60724dca19b6a513758f360c0e9f1ff49c..df3f8e51ebb769d49bb466d784b15eb669f0b0a2 100644 (file)
--- a/app/assets/stylesheets/responsive.css
+++ b/app/assets/stylesheets/responsive.css
@@ -155,7 +155,7 @@
   }
   #project-jump .drdn-trigger:before {
     /* set a font-size in order to achive same result in different themes */
-    font-family: Verdana, sans-serif;
+    font-family: "Noto Sans", sans-serif;
     font-size: 1.5em;
 
     position: absolute;
@@ -253,7 +253,7 @@
   }
 
   .mobile-toggle-button:after {
-    font-family: Verdana, sans-serif;
+    font-family: "Noto Sans", sans-serif;
     display: block;
     margin-top: -3px;
     content: '\2261';
@@ -261,7 +261,7 @@
 
   /* search magnifier icon */
   .search-magnifier {
-    font-family: Verdana, sans-serif;
+    font-family: "Noto Sans", sans-serif;
     color: #bbb;
 
     cursor: pointer;