Bug 1202260 - Remove the last border in the event-listener popup and unnecessary padding; r=miker
authorPatrick Brosset <pbrosset@mozilla.com>
Tue, 12 Jan 2016 16:32:13 +0100
changeset 321233 7737b44d63eea024ded2751ae8d92cb72ac741f9
parent 321232 eb992ed0700f1b223a62c2dd1f39d7d79ff1c90d
child 321234 24c283c9f058ac11ddf800cf20f2a8328effc556
child 321375 593d2794b14e557d5661c49f95d66c7ba7bd6b16
push id9354
push userpbrosset@mozilla.com
push dateWed, 13 Jan 2016 09:58:41 +0000
reviewersmiker
bugs1202260
milestone46.0a1
Bug 1202260 - Remove the last border in the event-listener popup and unnecessary padding; r=miker
devtools/client/themes/inspector.css
--- a/devtools/client/themes/inspector.css
+++ b/devtools/client/themes/inspector.css
@@ -67,16 +67,24 @@
 }
 
 .event-header {
   display: flex;
   align-items: center;
   cursor: pointer;
 }
 
+.event-header:first-child {
+  border-width: 0;
+}
+
+.event-header:not(:first-child) {
+  border-width: 1px 0 0 0;
+}
+
 .event-tooltip-event-type,
 .event-tooltip-filename,
 .event-tooltip-attributes {
   -moz-margin-start: 0;
   flex-shrink: 0;
   cursor: pointer;
 }
 
@@ -100,18 +108,25 @@
 }
 
 .event-tooltip-debugger-icon:hover {
   opacity: 1;
 }
 
 .event-tooltip-content-box {
   display: none;
-  overflow: auto;
+  height: 100px;
+  overflow: hidden;
   -moz-margin-end: 0;
+  border: 1px solid var(--theme-splitter-color);
+  border-width: 1px 0 0 0;
+}
+
+.event-toolbox-content-box iframe {
+  height: 100%;
 }
 
 .event-tooltip-content-box[open] {
   display: block;
 }
 
 .event-tooltip-source-container {
   margin-top: 5px;