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-option-toolbarbutton {
  46   list-style-image: url("chrome://browser/skin/devtools/option-icon.png");
  47   -moz-image-region: rect(0px 16px 16px 0px);
  48   background: none;
  49   border: none;
  50 }
  51
  52 .devtools-option-toolbarbutton:hover,
  53 .devtools-option-toolbarbutton[open=true] {
  54   -moz-image-region: rect(0px 32px 16px 16px);
  55 }
  56
  57 .devtools-menulist > .menulist-label-box {
  58   text-align: center;
  59 }
  60
  61 .devtools-menulist > .menulist-dropmarker {
  62 }
  63
  64 .devtools-menulist:focus:not([open="true"]):not(.menulist-compact) > .menulist-label-box {
  65 }
  66
  67 /* LCARStrek checkbox colors don't work well against toolbar background */
  68 .devtools-toolbar > checkbox {
  69   background-color: #000000;
  70   padding: 2px;
  71 }
  72
  73 .devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-button {
  74 }
  75
  76 .devtools-toolbarbutton[type=menu-button]:-moz-locale-dir(rtl) > .toolbarbutton-menubutton-button {
  77 }
  78
  79 .devtools-toolbarbutton[type=menu-button] {
  80   padding: 0 1px;
  81   -moz-box-align: stretch;
  82 }
  83
  84 .devtools-toolbarbutton[type=menu] > .toolbarbutton-menu-dropmarker,
  85 .devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-dropmarker {
  86   -moz-box-align: center;
  87 }
  88
  89 /* Search input */
  90
  91 /*
  92 .devtools-searchinput {
  93   -moz-appearance: none;
  94   margin: 0 3px;
  95   border: 1px solid hsla(211,68%,6%,.6);
  96   box-shadow: inset 0 1px 0 hsla(211,68%,6%,.05), 0 0 0 1px hsla(210,40%,83%,.1);
  97   border-radius: 2px;
  98   background-color: transparent;
  99   background-image: url(magnifying-glass.png), -moz-linear-gradient(hsla(210,16%,76%,.15), hsla(210,16%,76%,.35));
 100   background-repeat: no-repeat;
 101   background-position: 4px center, top left, top left;
 102   padding-top: 0;
 103   padding-bottom: 0;
 104   -moz-padding-start: 18px;
 105   -moz-padding-end: 12px;
 106   transition-property: background-color, border-color, box-shadow;
 107   transition-duration: 150ms;
 108   transition-timing-function: ease;
 109   color: inherit;
 110 }
 111
 112 .devtools-searchinput[focused] {
 113   border-color: hsl(200,70%,40%) hsl(200,75%,37%) hsl(200,80%,35%);
 114   background-origin: padding-box;
 115   background-clip: padding-box;
 116   box-shadow: inset 0 0 0 1px hsla(211,68%,6%,.1);
 117 }
 118
 119 .devtools-searchinput:-moz-locale-dir(rtl) {
 120   background-position: calc(100% - 4px) center, top left, top left;
 121 }
 122
 123 .devtools-searchinput > .textbox-input-box > .textbox-search-icons {
 124   display: none;
 125 }
 126
 127 .devtools-searchinput > .textbox-input-box > .textbox-input::-moz-placeholder {
 128   color: hsl(208,10%,66%);
 129 }
 130 */
 131
 132 /* Close button */
 133
 134 .devtools-closebutton {
 135   list-style-image: url("chrome://global/skin/icons/close-button.gif");
 136   min-width: 16px;
 137   width: 16px;
 138 }
 139
 140 .devtools-closebutton > .toolbarbutton-text {
 141   display: none;
 142 }
 143
 144 .devtools-closebutton:hover,
 145 .devtools-closebutton:hover:active {
 146   list-style-image: url("chrome://global/skin/icons/close-button-hover.gif");
 147 }
 148
 149 /* Splitters */
 150
 151 .devtools-horizontal-splitter {
 152   min-height: 3px;
 153   height: 3px;
 154   position: relative;
 155 }
 156
 157 #devtools-side-splitter {
 158   min-width: 0;
 159   width: 3px;
 160   position: relative;
 161 }
 162
 163 #profiler-chrome {
 164   /* HACK for profiler in the dev toolbox in FF 20+. */
 165   margin: -3px;
 166 }
 167
 168 #profiler-chrome > box > box > .devtools-toolbar {
 169   border-bottom: none;
 170 }