DevTools: do not override font size to 11px

third_party/WebKit/Source/devtools/front_end/ui/searchableView.css

 /*
  * Copyright (c) 2014 The Chromium Authors. All rights reserved.
  * Use of this source code is governed by a BSD-style license that can be
  * found in the LICENSE file.
  */
 
 .search-bar {
     flex: 0 0 23px;
     background-color: #eee;
     border-top: 1px solid #ccc;
@@ skipping 111 matching lines @@
     border-left: 1px solid rgb(230, 230, 230);
 }
 
 .toolbar-search-navigation.toolbar-search-navigation-next.enabled:active {
     background-image: url(Images/searchNext.png), linear-gradient(rgb(168, 168, 168), rgb(116, 116, 116));
 }
 
 .search-results-matches {
     display: inline-block;
     text-align: right;
-    font-size: 11px;
     padding: 0 4px;
     color: rgb(165, 165, 165);
 }