From ef94dfc659fbc82118682512a1a62a0dd0ad1168 Mon Sep 17 00:00:00 2001 From: Victor Porof Date: Sat, 6 Dec 2014 12:08:10 -0500 Subject: [PATCH] Bug 1107943 - The maker sidebar has some annoying text spacing, r=jsantell --- .../devtools/timeline/widgets/marker-details.js | 4 ++-- .../themes/shared/devtools/performance.inc.css | 14 +++++++++++++- browser/themes/shared/devtools/timeline.inc.css | 16 ++++++++++++++-- 3 files changed, 29 insertions(+), 5 deletions(-) diff --git a/browser/devtools/timeline/widgets/marker-details.js b/browser/devtools/timeline/widgets/marker-details.js index 01cb44294c9..9ca19285705 100644 --- a/browser/devtools/timeline/widgets/marker-details.js +++ b/browser/devtools/timeline/widgets/marker-details.js @@ -88,8 +88,8 @@ MarkerDetails.prototype = { let hbox = this._document.createElement("hbox"); let labelName = this._document.createElement("label"); let labelValue = this._document.createElement("label"); - labelName.className = "marker-details-labelname"; - labelValue.className = "marker-details-labelvalue"; + labelName.className = "plain marker-details-labelname"; + labelValue.className = "plain marker-details-labelvalue"; labelName.setAttribute("value", L10N.getStr(l10nName)); labelValue.setAttribute("value", value); hbox.appendChild(labelName); diff --git a/browser/themes/shared/devtools/performance.inc.css b/browser/themes/shared/devtools/performance.inc.css index 28a18e51855..6253629a5fc 100644 --- a/browser/themes/shared/devtools/performance.inc.css +++ b/browser/themes/shared/devtools/performance.inc.css @@ -391,7 +391,9 @@ } #waterfall-details { - padding-top: 28px; + -moz-padding-start: 8px; + -moz-padding-end: 8px; + padding-top: 8vh; overflow: auto; } @@ -403,6 +405,16 @@ border-radius: 1px; } +.marker-details-start, +.marker-details-end, +.marker-details-duration { + padding-top: 3px; +} + +.marker-details-labelname { + -moz-padding-end: 4px; +} + .marker-details-type { font-size: 1.2em; font-weight: bold; diff --git a/browser/themes/shared/devtools/timeline.inc.css b/browser/themes/shared/devtools/timeline.inc.css index 7660cc78d22..90a4d91ed45 100644 --- a/browser/themes/shared/devtools/timeline.inc.css +++ b/browser/themes/shared/devtools/timeline.inc.css @@ -175,8 +175,10 @@ border-color: initial!important; } -#timeline-waterfall-details { - padding-top: 28px; +#waterfall-details { + -moz-padding-start: 8px; + -moz-padding-end: 8px; + padding-top: 8vh; overflow: auto; } @@ -188,6 +190,16 @@ border-radius: 1px; } +.marker-details-start, +.marker-details-end, +.marker-details-duration { + padding-top: 3px; +} + +.marker-details-labelname { + -moz-padding-end: 4px; +} + .marker-details-type { font-size: 1.2em; font-weight: bold;