| 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 {
|
|
|