LCARStrek/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 /* === file identical to profiler.inc.css === */
   6
   7 window {
   8   padding: 0;
   9 }
  10
  11 .profiler-sidebar-empty-notice {
  12   max-width: 176px;
  13   padding: 10px;
  14   background-color: #A09090;
  15   color: #000000;
  16   font-weight: bold;
  17 }
  18
  19 .devtools-toolbar {
  20 /*  min-height: 33px; */
  21 }
  22
  23 .profiler-sidebar {
  24   min-width: 196px;
  25 }
  26
  27 .profiler-sidebar + .devtools-side-splitter {
  28   -moz-border-start-color: transparent;
  29 }
  30
  31 .profiler-sidebar .devtools-toolbar {
  32   -moz-border-end: 1px solid #9C9CFF; /* Match the splitter color. */
  33 }
  34
  35 .profiler-sidebar-item {
  36   padding: 3px 5px;
  37 }
  38
  39 .profiler-sidebar-item, .side-menu-widget-item-contents {
  40   cursor: default;
  41 }
  42
  43 .profiler-sidebar-item > h3 {
  44   font-size: 13px;
  45   display: block;
  46   cursor: pointer;
  47 }
  48
  49 .profiler-sidebar-item > hbox {
  50   margin-top: 2px;
  51 }
  52
  53 .profiler-sidebar-item > hbox > a {
  54   display: none;
  55   text-decoration: underline;
  56   cursor: pointer;
  57 }
  58
  59 .profiler-sidebar-item > hbox > a:hover {
  60   color: #FFCF00;
  61 }
  62
  63 [state=completed].selected .profiler-sidebar-item > hbox > a {
  64   display: block;
  65 }
  66
  67 .selected .profiler-sidebar-item > hbox {
  68   color: #3A3A5F; /* 37% of #9C9CFF */
  69 }
  70
  71 #profiler-start {
  72   list-style-image: url("chrome://browser/skin/devtools/profiler-stopwatch.png");
  73   -moz-image-region: rect(0px,16px,16px,0px);
  74 }
  75
  76 #profiler-start:hover {
  77   -moz-image-region: rect(16px,16px,32px,0px);
  78 }
  79
  80 #profiler-start[checked] {
  81   -moz-image-region: rect(0px,32px,16px,16px);
  82 }
  83
  84 #profiler-start[checked]:hover {
  85   -moz-image-region: rect(16px,32px,32px,16px);
  86 }