Index: Source/devtools/front_end/filter.css |
diff --git a/Source/devtools/front_end/filter.css b/Source/devtools/front_end/filter.css |
index ce6060e177dad1b9072a85fbc7f621f4075485ce..00afec994386e62a144b131b50b8250c56b2178f 100644 |
--- a/Source/devtools/front_end/filter.css |
+++ b/Source/devtools/front_end/filter.css |
@@ -29,10 +29,10 @@ |
*/ |
.filter-text-filter { |
+ display: -webkit-flex; |
vsevik
2013/11/27 13:37:23
You could use an unprefixed property value.
displa
Dmitry Zvorygin
2013/11/27 17:52:24
Done.
|
margin-top: 1px; |
margin-left: 1px; |
margin-right: 1px; |
- flex: 0 0 100px; |
vsevik
2013/11/27 13:37:23
Why was this removed?
Dmitry Zvorygin
2013/11/27 17:52:24
Done.
|
} |
.filter-bitset-filter { |
@@ -96,6 +96,10 @@ |
overflow: hidden; |
} |
+.filter-text-invalid { |
+ backround-color: rgb(255, 200, 200); |
+} |
+ |
.filter-checkbox-filter .checkbox-filter-checkbox { |
width: 10px; |
height: 10px; |