browser/devtools/profiler.css

   1 /* This Source Code Form is subject to the terms of the Mozilla Public
   2  * License, v. 2.0. If a copy of the MPL was not distributed with this
   3  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
   4
   5 window {
   6   padding: 0;
   7 }
   8
   9 .devtools-toolbar {
  10 }
  11
  12 .profile-name {
  13   font-size: 13px;
  14   padding: 8px;
  15 }
  16
  17 #profiles-list > li {
  18   width: 180px;
  19   cursor: pointer;
  20 }
  21
  22 .splitview-nav-container button {
  23   color: #FF9F00;
  24   background-clip: padding-box;
  25   border-bottom: 1px solid #A09090;
  26   -moz-padding-end: 8px;
  27   -moz-box-align: center;
  28 }
  29
  30 #profiler-start {
  31   list-style-image: url("chrome://browser/skin/devtools/profiler-stopwatch.png");
  32   -moz-image-region: rect(0px,16px,16px,0px);
  33 }
  34
  35 #profiler-start:hover {
  36   -moz-image-region: rect(16px,16px,32px,0px);
  37 }
  38
  39 #profiler-start[checked] {
  40   -moz-image-region: rect(0px,32px,16px,16px);
  41 }
  42
  43 #profiler-start[checked]:hover {
  44   -moz-image-region: rect(16px,32px,32px,16px);
  45 }