Index: Source/devtools/front_end/elementsPanel.css |
diff --git a/Source/devtools/front_end/elementsPanel.css b/Source/devtools/front_end/elementsPanel.css |
index 073e2981a99110c289e88e31e5fc657e5a8a281c..e16339d0c0037f0f69f10a73f4dcecd3656eec1d 100644 |
--- a/Source/devtools/front_end/elementsPanel.css |
+++ b/Source/devtools/front_end/elementsPanel.css |
@@ -38,6 +38,8 @@ |
background-color: rgb(236, 236, 236); |
border-top: 1px solid #ccc; |
overflow: hidden; |
+ height: 19px; |
+ width: 100%; |
} |
#elements-content > ol { |