[DevTools] Toolbar style fixes.

- Makes active buttons (like filter) remain red on hover.
- Makes toolbar text not selectable.

BUG=none

Review URL: https://codereview.chromium.org/1319163005

git-svn-id: svn://svn.chromium.org/blink/trunk@201937 bbb929c8-8fbe-4397-9dbb-9b2b20218538

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

@@ -53,7 +53,6 @@
     white-space: nowrap;
     overflow: hidden;
     margin-left: 6px;
-    -webkit-user-select: text;
 }
 
 .toolbar-item:active {
@@ -443,7 +442,7 @@ button.record-toolbar-item.toggled-on .glyph {
 }
 
 .filter-toolbar-item.toggled-active .glyph {
-    background-color: rgb(216, 0, 0);
+    background-color: rgb(216, 0, 0) !important;
 }
 
 .waterfall-toolbar-item .glyph {