From 8aa452706fc56f6fab69db2a508e1b6b0fc5b06f Mon Sep 17 00:00:00 2001 From: Patrick Brosset Date: Tue, 12 Jan 2016 16:32:13 +0100 Subject: [PATCH] Bug 1202260 - Remove the last border in the event-listener popup and unnecessary padding; r=miker --HG-- extra : commitid : 3CV4AvHL2D4 extra : rebase_source : 41a9b21ba61e14a64faf6a4c646c60f485b54a5c extra : histedit_source : af77a7d0ff75296926ae4e239800e4bc7835ffc8 --- devtools/client/themes/inspector.css | 17 ++++++++++++++++- 1 file changed, 16 insertions(+), 1 deletion(-) diff --git a/devtools/client/themes/inspector.css b/devtools/client/themes/inspector.css index e27e148612a5..614affa05278 100644 --- a/devtools/client/themes/inspector.css +++ b/devtools/client/themes/inspector.css @@ -72,6 +72,14 @@ 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 { @@ -105,8 +113,15 @@ .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] {