LCARStrek/browser/devtools/common.css

   1 /* vim:set ts=2 sw=2 sts=2 et: */
   2 /* This Source Code Form is subject to the terms of the Mozilla Public
   3  * License, v. 2.0. If a copy of the MPL was not distributed with this
   4  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
   5
   6 /* Toolbar and Toolbar items */
   7
   8 .devtools-toolbar {
   9 }
  10
  11 .devtools-menulist,
  12 .devtools-toolbarbutton {
  13 }
  14
  15 .devtools-toolbarbutton > .toolbarbutton-menubutton-button {
  16   /*-moz-box-orient: horizontal;*/
  17 }
  18
  19 devtools-menulist:-moz-focusring,
  20 .devtools-toolbarbutton:-moz-focusring {
  21   outline: 1px dotted #008484;
  22 }
  23
  24 .devtools-toolbarbutton > .toolbarbutton-icon {
  25 }
  26
  27 .devtools-toolbarbutton:not([label]) {
  28   min-width: 20px;
  29 }
  30
  31 .devtools-toolbarbutton:not([checked=true]):hover:active {
  32 }
  33
  34 .devtools-menulist[open=true],
  35 .devtools-toolbarbutton[open=true],
  36 .devtools-toolbarbutton[checked=true] {
  37 }
  38
  39 .devtools-toolbarbutton[checked=true] {
  40 }
  41
  42 .devtools-toolbarbutton[checked=true]:hover:active {
  43 }
  44
  45 .devtools-menulist > .menulist-label-box {
  46   text-align: center;
  47 }
  48
  49 .devtools-menulist > .menulist-dropmarker {
  50 }
  51
  52 .devtools-menulist:focus:not([open="true"]):not(.menulist-compact) > .menulist-label-box {
  53 }
  54
  55 /* LCARStrek checkbox colors don't work well against toolbar background */
  56 .devtools-toolbar > checkbox {
  57   background-color: #000000;
  58   padding: 2px;
  59 }
  60
  61 .devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-button {
  62 }
  63
  64 .devtools-toolbarbutton[type=menu-button]:-moz-locale-dir(rtl) > .toolbarbutton-menubutton-button {
  65 }
  66
  67 .devtools-toolbarbutton[type=menu-button] {
  68   padding: 0 1px;
  69   -moz-box-align: stretch;
  70 }
  71
  72 .devtools-toolbarbutton[type=menu] > .toolbarbutton-menu-dropmarker,
  73 .devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-dropmarker {
  74   -moz-box-align: center;
  75 }
  76
  77 /* Search input */
  78
  79 /*
  80 .devtools-searchinput {
  81   -moz-appearance: none;
  82   margin: 0 3px;
  83   border: 1px solid hsla(211,68%,6%,.6);
  84   box-shadow: inset 0 1px 0 hsla(211,68%,6%,.05), 0 0 0 1px hsla(210,40%,83%,.1);
  85   border-radius: 2px;
  86   background-color: transparent;
  87   background-image: url(magnifying-glass.png), -moz-linear-gradient(hsla(210,16%,76%,.15), hsla(210,16%,76%,.35));
  88   background-repeat: no-repeat;
  89   background-position: 4px center, top left, top left;
  90   padding-top: 0;
  91   padding-bottom: 0;
  92   -moz-padding-start: 18px;
  93   -moz-padding-end: 12px;
  94   transition-property: background-color, border-color, box-shadow;
  95   transition-duration: 150ms;
  96   transition-timing-function: ease;
  97   color: inherit;
  98 }
  99
 100 .devtools-searchinput[focused] {
 101   border-color: hsl(200,70%,40%) hsl(200,75%,37%) hsl(200,80%,35%);
 102   background-origin: padding-box;
 103   background-clip: padding-box;
 104   box-shadow: inset 0 0 0 1px hsla(211,68%,6%,.1);
 105 }
 106
 107 .devtools-searchinput:-moz-locale-dir(rtl) {
 108   background-position: calc(100% - 4px) center, top left, top left;
 109 }
 110
 111 .devtools-searchinput > .textbox-input-box > .textbox-search-icons {
 112   display: none;
 113 }
 114
 115 .devtools-searchinput > .textbox-input-box > .textbox-input:-moz-placeholder {
 116   color: hsl(208,10%,66%);
 117 }
 118 */
 119
 120 /* Close button */
 121
 122 .devtools-closebutton {
 123   list-style-image: url("chrome://global/skin/icons/close-button.gif");
 124   min-width: 16px;
 125   width: 16px;
 126 }
 127
 128 .devtools-closebutton > .toolbarbutton-text {
 129   display: none;
 130 }
 131
 132 .devtools-closebutton:hover,
 133 .devtools-closebutton:hover:active {
 134   list-style-image: url("chrome://global/skin/icons/close-button-hover.gif");
 135 }
 136
 137 /* Splitters */
 138
 139 .devtools-horizontal-splitter {
 140   min-height: 3px;
 141   height: 3px;
 142   position: relative;
 143 }
 144
 145 #devtools-side-splitter {
 146   min-width: 0;
 147   width: 3px;
 148   position: relative;
 149 }
 150
 151 #profiler-chrome {
 152   /* HACK for profiler in the dev toolbox in FF 20+. */
 153   margin: -3px;
 154 }
 155
 156 #profiler-chrome > box > box > .devtools-toolbar {
 157   border-bottom: none;
 158 }