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-item {
  32   padding: 3px 5px;
  33 }
  34
  35 .profiler-sidebar-item, .side-menu-widget-item-contents {
  36   cursor: default;
  37 }
  38
  39 .profiler-sidebar-item > h3 {
  40   font-size: 13px;
  41   display: block;
  42   cursor: pointer;
  43 }
  44
  45 .profiler-sidebar-item > hbox {
  46   margin-top: 2px;
  47   color: #A09090;
  48 }
  49
  50 .profiler-sidebar-item > hbox > a {
  51   display: none;
  52   text-decoration: underline;
  53   cursor: pointer;
  54 }
  55
  56 .profiler-sidebar-item > hbox > a:hover {
  57   color: #FFCF00;
  58 }
  59
  60 [state=completed].selected .profiler-sidebar-item > hbox > a {
  61   display: block;
  62 }
  63
  64 .selected .profiler-sidebar-item > hbox {
  65   color: #3A3A5F; /* 37% of #9C9CFF */
  66 }
  67
  68 #profiler-controls > toolbarbutton {
  69 /*  margin: 0;
  70   box-shadow: none;
  71   border-radius: 0;
  72   border-width: 0;
  73   -moz-border-end-width: 1px;
  74   outline-offset: -3px;*/
  75 }
  76
  77 #profiler-controls > toolbarbutton:last-of-type {
  78 /*  -moz-border-end-width: 0;*/
  79 }
  80
  81 #profiler-controls {
  82   border-radius: 3px;
  83   margin: 0 3px;
  84 }
  85
  86 #profiler-start {
  87   list-style-image: url("chrome://browser/skin/devtools/profiler-stopwatch.png");
  88   -moz-image-region: rect(0px,16px,16px,0px);
  89 }
  90
  91 #profiler-start:hover {
  92   -moz-image-region: rect(16px,16px,32px,0px);
  93 }
  94
  95 #profiler-start[checked] {
  96   -moz-image-region: rect(0px,32px,16px,16px);
  97 }
  98
  99 #profiler-start[checked]:hover {
 100   -moz-image-region: rect(16px,32px,32px,16px);
 101 }