tweaks for making devtools look nicer

[themes.git] / LCARStrek / browser / devtools / profiler.css

/* This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */

window {
  padding: 0;
}

.devtools-toolbar {
}

.profile-name {
  font-size: 13px;
  padding: 8px;
}

#profiles-list > li {
  width: 180px;
  cursor: pointer;
}

.splitview-nav-container button {
  color: #FF9F00;
  background-clip: padding-box;
  border-bottom: 1px solid #A09090;
  -moz-padding-end: 8px;
  -moz-box-align: center;
}

#profiler-start {
  list-style-image: url("chrome://browser/skin/devtools/profiler-stopwatch.png");
  -moz-image-region: rect(0px,16px,16px,0px);
}

#profiler-start:hover {
  -moz-image-region: rect(16px,16px,32px,0px);
}

#profiler-start[checked] {
  -moz-image-region: rect(0px,32px,16px,16px);
}

#profiler-start[checked]:hover {
  -moz-image-region: rect(16px,32px,32px,16px);
}