| Index: third_party/WebKit/Source/devtools/front_end/quick_open/filteredListWidget.css
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/quick_open/filteredListWidget.css b/third_party/WebKit/Source/devtools/front_end/quick_open/filteredListWidget.css
|
| index be8a73ffe531ec524b177bcdd766ce8a6f103700..f9f51f5cff9c7392d84e000650bef675c450c73d 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/quick_open/filteredListWidget.css
|
| +++ b/third_party/WebKit/Source/devtools/front_end/quick_open/filteredListWidget.css
|
| @@ -8,6 +8,8 @@
|
| display: flex;
|
| flex-direction: column;
|
| flex: auto;
|
| + width: 504px;
|
| + max-height: 340px;
|
| }
|
|
|
| .filtered-list-widget-prompt-element {
|
| @@ -109,3 +111,12 @@
|
| .filtered-list-widget-item .tag .highlight {
|
| color: white;
|
| }
|
| +
|
| +.not-found-text {
|
| + height: 34px;
|
| + line-height: 34px;
|
| + padding-left: 4px;
|
| + font-style: italic;
|
| + color: #888;
|
| + background: #fbfbfb;
|
| +}
|
|
|