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
This commit is contained in:
Patrick Brosset 2016-01-12 16:32:13 +01:00
Родитель 5b7c505b88
Коммит 8aa452706f
1 изменённых файлов: 16 добавлений и 1 удалений

Просмотреть файл

@ -72,6 +72,14 @@
cursor: pointer; 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-event-type,
.event-tooltip-filename, .event-tooltip-filename,
.event-tooltip-attributes { .event-tooltip-attributes {
@ -105,8 +113,15 @@
.event-tooltip-content-box { .event-tooltip-content-box {
display: none; display: none;
overflow: auto; height: 100px;
overflow: hidden;
-moz-margin-end: 0; -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] { .event-tooltip-content-box[open] {