| Index: Source/devtools/front_end/filter.css
|
| diff --git a/Source/devtools/front_end/filter.css b/Source/devtools/front_end/filter.css
|
| index bce9b773d3a3a7792011470a9c8e728fa5a7d8af..05d31f91d3c1c34f193908e0eca9297c1a26cc69 100644
|
| --- a/Source/devtools/front_end/filter.css
|
| +++ b/Source/devtools/front_end/filter.css
|
| @@ -29,12 +29,17 @@
|
| */
|
|
|
| .filter-text-filter {
|
| + display: flex;
|
| margin-top: 1px;
|
| margin-left: 1px;
|
| margin-right: 1px;
|
| flex: 0 0 100px;
|
| }
|
|
|
| +.filter-text-filter.supports-regex {
|
| + flex: 0 0 155px;
|
| +}
|
| +
|
| .filter-bitset-filter {
|
| line-height: 19px;
|
| padding-right: 10px !important;
|
| @@ -96,6 +101,10 @@
|
| overflow: hidden;
|
| }
|
|
|
| +.filter-text-invalid {
|
| + background-color: rgb(255, 200, 200);
|
| +}
|
| +
|
| .filter-checkbox-filter .checkbox-filter-checkbox {
|
| width: 10px;
|
| height: 10px;
|
|
|