DevTools: Unify filtering UI

Source/devtools/front_end/filter.css

Index: Source/devtools/front_end/filter.css
diff --git a/Source/devtools/front_end/filter.css b/Source/devtools/front_end/filter.css
new file mode 100644
index 0000000000000000000000000000000000000000..0efa1fc5cf2fd975257aa12fd43a6c597ce74dda
--- /dev/null
+++ b/Source/devtools/front_end/filter.css
@@ -0,0 +1,137 @@
+/*
+ * Copyright (C) 2013 Google Inc. All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions are
+ * met:
+ *
+ *     * Redistributions of source code must retain the above copyright
+ * notice, this list of conditions and the following disclaimer.
+ *     * Redistributions in binary form must reproduce the above
+ * copyright notice, this list of conditions and the following disclaimer
+ * in the documentation and/or other materials provided with the
+ * distribution.
+ *     * Neither the name of Google Inc. nor the names of its
+ * contributors may be used to endorse or promote products derived from
+ * this software without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+ * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+ * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+ * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+ * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+ * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+ * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+ * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+ * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+ */
+
+.text-filter {

[pfeldman, 2013/10/22 15:15:01]

.filter-text-filter

+    margin-top: 1px;
+    margin-left: 1px;
+    margin-right: 1px;
+    flex: 0 0 100px;
+}
+
+.types-filter {
+    line-height: 19px;
+    padding-right: 10px;
+    overflow: hidden;
+}
+
+.types-filter li {
+    display: inline-block;
+    margin: 0 2px;
+    padding: 2px 6px;
+    background: transparent;
+    text-shadow: rgba(255, 255, 255, 0.5) 0 1px 0;
+    border-radius: 8px;
+}
+
+.types-filter-divider {
+    background-color: rgba(0, 0, 0, 0.4);
+    height: 16px;
+    width: 1px;
+    vertical-align: middle;
+    display: inline-block;
+}
+
+.types-filter li.selected,
+.types-filter li:hover,
+.types-filter li:active {
+    color: white;
+    text-shadow: rgba(0, 0, 0, 0.4) 0 1px 0;
+}
+
+.types-filter li.all {
+    margin: 0 8px;
+}
+
+.types-filter li:hover {
+    background: rgba(0, 0, 0, 0.2);
+}
+
+.types-filter li.selected {
+    background: rgba(0, 0, 0, 0.3);
+}
+
+.types-filter li:active {
+    background: rgba(0, 0, 0, 0.5);
+}
+
+.combobox-filter {
+    margin-left: 5px;
+    margin-right: 2px;
+    flex: 0 0 auto;
+}
+
+.checkbox-filter {
+    line-height: 22px;
+    padding-left: 4px;
+    padding-right: 2px;
+    white-space: nowrap;
+    text-overflow: ellipsis;
+    overflow: hidden;
+}
+
+.checkbox-filter .checkbox-filter-checkbox {
+    width: 10px;
+    height: 10px;
+    margin: 0 3px 0 3px;
+    padding: 0;
+    border-radius: 2px;
+    border: solid 1px;
+    display: inline-block;
+    overflow: visible;
+    opacity: 0.8;
+    vertical-align: -1px;
+}
+
+
+.checkbox-filter .checkbox-filter-checkbox-check {
+    -webkit-appearance: none;
+    width: 11px;
+    height: 11px;
+    margin-top: -2px;
+    margin-left: 1px;
+}
+
+.checkbox-filter .checkbox-filter-checkbox-checked {
+    background-image: url(Images/statusbarButtonGlyphs.png);
+    background-size: 320px 120px;
+    background-position: -129px -110px;
+}
+
+.filters-toggle > .glyph {
+    -webkit-mask-position: -32px -48px;
+}
+
+.filters-toggle.toggled-shown .glyph {
+    background-color: rgb(66, 129, 235);
+}
+
+.filters-toggle.toggled-active .glyph {
+    background-color: rgb(216, 0, 0);
+}