browser/themes/shared/devtools/commandline.inc.css

Wed, 31 Dec 2014 06:09:35 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Wed, 31 Dec 2014 06:09:35 +0100
changeset 0
6474c204b198
permissions
-rw-r--r--

Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.

michael@0 1 %if 0
michael@0 2 /* This Source Code Form is subject to the terms of the Mozilla Public
michael@0 3 * License, v. 2.0. If a copy of the MPL was not distributed with this
michael@0 4 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
michael@0 5 %endif
michael@0 6
michael@0 7 /* Developer toolbar */
michael@0 8
michael@0 9 #developer-toolbar {
michael@0 10 -moz-appearance: none;
michael@0 11 padding: 0;
michael@0 12 min-height: 32px;
michael@0 13 background-image: url(devtools/background-noise-toolbar.png), linear-gradient(#303840, #2d3640);
michael@0 14 border-top: 1px solid #060a0d;
michael@0 15 box-shadow: 0 1px 0 hsla(204,45%,98%,.05) inset, 0 -1px 0 hsla(206,37%,4%,.1) inset;
michael@0 16 }
michael@0 17
michael@0 18 #developer-toolbar > toolbarbutton {
michael@0 19 -moz-appearance: none;
michael@0 20 border: none;
michael@0 21 background: transparent;
michael@0 22 margin: 0;
michael@0 23 padding: 0 10px;
michael@0 24 width: 32px;
michael@0 25 }
michael@0 26
michael@0 27 .developer-toolbar-button > image {
michael@0 28 margin: auto 10px;
michael@0 29 }
michael@0 30
michael@0 31 #developer-toolbar-toolbox-button {
michael@0 32 list-style-image: url("chrome://browser/skin/devtools/toggle-tools.png");
michael@0 33 -moz-image-region: rect(0px, 16px, 16px, 0px);
michael@0 34 }
michael@0 35
michael@0 36 #developer-toolbar-toolbox-button > label {
michael@0 37 display: none;
michael@0 38 }
michael@0 39
michael@0 40 #developer-toolbar-toolbox-button:hover {
michael@0 41 -moz-image-region: rect(0px, 32px, 16px, 16px);
michael@0 42 }
michael@0 43
michael@0 44 #developer-toolbar-toolbox-button:hover:active {
michael@0 45 -moz-image-region: rect(0px, 48px, 16px, 32px);
michael@0 46 }
michael@0 47
michael@0 48 #developer-toolbar-toolbox-button[checked=true] {
michael@0 49 -moz-image-region: rect(0px, 64px, 16px, 48px);
michael@0 50 }
michael@0 51
michael@0 52 #developer-toolbar-closebutton {
michael@0 53 list-style-image: url("chrome://browser/skin/devtools/close.png");
michael@0 54 -moz-appearance: none;
michael@0 55 border: none;
michael@0 56 margin: 0 4px;
michael@0 57 min-width: 16px;
michael@0 58 width: 16px;
michael@0 59 opacity: 0.6;
michael@0 60 }
michael@0 61
michael@0 62 #developer-toolbar-closebutton > .toolbarbutton-icon {
michael@0 63 /* XXX Buttons have padding in widget/ that we don't want here but can't override with good CSS, so we must
michael@0 64 use evil CSS to give the impression of smaller content */
michael@0 65 margin: -4px;
michael@0 66 }
michael@0 67
michael@0 68 #developer-toolbar-closebutton > .toolbarbutton-text {
michael@0 69 display: none;
michael@0 70 }
michael@0 71
michael@0 72 #developer-toolbar-closebutton:hover {
michael@0 73 opacity: 0.8;
michael@0 74 }
michael@0 75
michael@0 76 #developer-toolbar-closebutton:hover:active {
michael@0 77 opacity: 1;
michael@0 78 }
michael@0 79
michael@0 80 /* GCLI */
michael@0 81
michael@0 82 html|*#gcli-tooltip-frame,
michael@0 83 html|*#gcli-output-frame {
michael@0 84 padding: 0;
michael@0 85 border-width: 0;
michael@0 86 background-color: transparent;
michael@0 87 }
michael@0 88
michael@0 89 #gcli-output,
michael@0 90 #gcli-tooltip {
michael@0 91 border-width: 0;
michael@0 92 background-color: transparent;
michael@0 93 -moz-appearance: none;
michael@0 94 }
michael@0 95
michael@0 96 .gclitoolbar-input-node,
michael@0 97 .gclitoolbar-complete-node {
michael@0 98 margin: 0;
michael@0 99 -moz-box-align: center;
michael@0 100 padding-top: 0;
michael@0 101 padding-bottom: 0;
michael@0 102 padding-right: 8px;
michael@0 103 text-shadow: none;
michael@0 104 box-shadow: none;
michael@0 105 border-width: 0;
michael@0 106 background-color: transparent;
michael@0 107 }
michael@0 108
michael@0 109 .gclitoolbar-input-node {
michael@0 110 -moz-appearance: none;
michael@0 111 color: hsl(210,30%,85%);
michael@0 112 padding-left: 20px;
michael@0 113 background-color: #242b33;
michael@0 114 background-repeat: no-repeat;
michael@0 115 background-position: 4px center;
michael@0 116 box-shadow: 0 1px 1px hsla(206,37%,4%,.2) inset,
michael@0 117 1px 0 0 hsla(206,37%,4%,.2) inset,
michael@0 118 -1px 0 0 hsla(206,37%,4%,.2) inset;
michael@0 119 line-height: 32px;
michael@0 120 outline-style: none;
michael@0 121 background-image: -moz-image-rect(url("chrome://browser/skin/devtools/commandline-icon.png"), 0, 16, 16, 0);
michael@0 122 }
michael@0 123
michael@0 124 .gclitoolbar-input-node[focused="true"] {
michael@0 125 background-image: -moz-image-rect(url("chrome://browser/skin/devtools/commandline-icon.png"), 0, 32, 16, 16);
michael@0 126 background-color: #232e38;
michael@0 127 }
michael@0 128
michael@0 129 .gclitoolbar-input-node > .textbox-input-box > html|*.textbox-input::-moz-selection {
michael@0 130 background-color: hsl(210,30%,85%);
michael@0 131 color: hsl(210,24%,16%);
michael@0 132 text-shadow: none;
michael@0 133 }
michael@0 134
michael@0 135 .gclitoolbar-complete-node {
michael@0 136 padding-left: 21px;
michael@0 137 background-color: transparent;
michael@0 138 color: transparent;
michael@0 139 z-index: 100;
michael@0 140 pointer-events: none;
michael@0 141 }
michael@0 142
michael@0 143 .gcli-in-incomplete,
michael@0 144 .gcli-in-error,
michael@0 145 .gcli-in-ontab,
michael@0 146 .gcli-in-todo,
michael@0 147 .gcli-in-closebrace,
michael@0 148 .gcli-in-param,
michael@0 149 .gcli-in-valid {
michael@0 150 margin: 0;
michael@0 151 padding: 0;
michael@0 152 }
michael@0 153
michael@0 154 .gcli-in-incomplete {
michael@0 155 border-bottom: 2px dotted #999;
michael@0 156 }
michael@0 157
michael@0 158 .gcli-in-error {
michael@0 159 border-bottom: 2px dotted #F00;
michael@0 160 }
michael@0 161
michael@0 162 .gcli-in-ontab {
michael@0 163 color: hsl(210,0%,35%);
michael@0 164 }
michael@0 165
michael@0 166 .gcli-in-todo {
michael@0 167 color: hsl(210,50%,35%);
michael@0 168 }
michael@0 169
michael@0 170 .gcli-in-closebrace {
michael@0 171 color: hsl(0,0%,80%);
michael@0 172 }

mercurial