Navigate between individual search matches in DevTools console

Source/devtools/front_end/inspectorCommon.css

Index: Source/devtools/front_end/inspectorCommon.css
diff --git a/Source/devtools/front_end/inspectorCommon.css b/Source/devtools/front_end/inspectorCommon.css
index ede257436e98fdba577d63b34d679e1508188d6e..82d88a6d350d9fb8db8e184bd5737620096e2e86 100644
--- a/Source/devtools/front_end/inspectorCommon.css
+++ b/Source/devtools/front_end/inspectorCommon.css
@@ -99,3 +99,12 @@ body /deep/ .highlighted-search-result {
     margin: -1px;
     background-color: rgba(255, 255, 0, 0.8);
 }
+
+
+/* TODO: Come up with a design */

[lushnikov, 2014/11/07 16:27:19]

Please, remove the comment. We'll anyway land this after a  review from our
local UI specialist.

[aknudsen, 2014/11/08 12:00:53]

Acknowledged.

[aknudsen, 2014/11/09 00:02:14]

Done.

+.current-search-result {

[lushnikov, 2014/11/07 16:27:19]

given the suggestion in one of other comments to not use highlightSearchResult
function (and use highlightSearchResultWithStyleClass instead), this rule should
move to some other console-specific stylesheet.

[aknudsen, 2014/11/08 12:00:52]

Acknowledged.

[aknudsen, 2014/11/09 00:02:14]

Done.

+    border-radius: 1px;
+    padding: 1px;
+    margin: -1px;
+    background-color: rgba(255, 127, 0, 0.8);
+}