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; |
+} |