1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/browser/themes/shared/devtools/commandline.inc.css Wed Dec 31 06:09:35 2014 +0100
1.3 @@ -0,0 +1,172 @@
1.4 +%if 0
1.5 +/* This Source Code Form is subject to the terms of the Mozilla Public
1.6 + * License, v. 2.0. If a copy of the MPL was not distributed with this
1.7 + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
1.8 +%endif
1.9 +
1.10 +/* Developer toolbar */
1.11 +
1.12 +#developer-toolbar {
1.13 + -moz-appearance: none;
1.14 + padding: 0;
1.15 + min-height: 32px;
1.16 + background-image: url(devtools/background-noise-toolbar.png), linear-gradient(#303840, #2d3640);
1.17 + border-top: 1px solid #060a0d;
1.18 + box-shadow: 0 1px 0 hsla(204,45%,98%,.05) inset, 0 -1px 0 hsla(206,37%,4%,.1) inset;
1.19 +}
1.20 +
1.21 +#developer-toolbar > toolbarbutton {
1.22 + -moz-appearance: none;
1.23 + border: none;
1.24 + background: transparent;
1.25 + margin: 0;
1.26 + padding: 0 10px;
1.27 + width: 32px;
1.28 +}
1.29 +
1.30 +.developer-toolbar-button > image {
1.31 + margin: auto 10px;
1.32 +}
1.33 +
1.34 +#developer-toolbar-toolbox-button {
1.35 + list-style-image: url("chrome://browser/skin/devtools/toggle-tools.png");
1.36 + -moz-image-region: rect(0px, 16px, 16px, 0px);
1.37 +}
1.38 +
1.39 +#developer-toolbar-toolbox-button > label {
1.40 + display: none;
1.41 +}
1.42 +
1.43 +#developer-toolbar-toolbox-button:hover {
1.44 + -moz-image-region: rect(0px, 32px, 16px, 16px);
1.45 +}
1.46 +
1.47 +#developer-toolbar-toolbox-button:hover:active {
1.48 + -moz-image-region: rect(0px, 48px, 16px, 32px);
1.49 +}
1.50 +
1.51 +#developer-toolbar-toolbox-button[checked=true] {
1.52 + -moz-image-region: rect(0px, 64px, 16px, 48px);
1.53 +}
1.54 +
1.55 +#developer-toolbar-closebutton {
1.56 + list-style-image: url("chrome://browser/skin/devtools/close.png");
1.57 + -moz-appearance: none;
1.58 + border: none;
1.59 + margin: 0 4px;
1.60 + min-width: 16px;
1.61 + width: 16px;
1.62 + opacity: 0.6;
1.63 +}
1.64 +
1.65 +#developer-toolbar-closebutton > .toolbarbutton-icon {
1.66 + /* XXX Buttons have padding in widget/ that we don't want here but can't override with good CSS, so we must
1.67 + use evil CSS to give the impression of smaller content */
1.68 + margin: -4px;
1.69 +}
1.70 +
1.71 +#developer-toolbar-closebutton > .toolbarbutton-text {
1.72 + display: none;
1.73 +}
1.74 +
1.75 +#developer-toolbar-closebutton:hover {
1.76 + opacity: 0.8;
1.77 +}
1.78 +
1.79 +#developer-toolbar-closebutton:hover:active {
1.80 + opacity: 1;
1.81 +}
1.82 +
1.83 +/* GCLI */
1.84 +
1.85 +html|*#gcli-tooltip-frame,
1.86 +html|*#gcli-output-frame {
1.87 + padding: 0;
1.88 + border-width: 0;
1.89 + background-color: transparent;
1.90 +}
1.91 +
1.92 +#gcli-output,
1.93 +#gcli-tooltip {
1.94 + border-width: 0;
1.95 + background-color: transparent;
1.96 + -moz-appearance: none;
1.97 +}
1.98 +
1.99 +.gclitoolbar-input-node,
1.100 +.gclitoolbar-complete-node {
1.101 + margin: 0;
1.102 + -moz-box-align: center;
1.103 + padding-top: 0;
1.104 + padding-bottom: 0;
1.105 + padding-right: 8px;
1.106 + text-shadow: none;
1.107 + box-shadow: none;
1.108 + border-width: 0;
1.109 + background-color: transparent;
1.110 +}
1.111 +
1.112 +.gclitoolbar-input-node {
1.113 + -moz-appearance: none;
1.114 + color: hsl(210,30%,85%);
1.115 + padding-left: 20px;
1.116 + background-color: #242b33;
1.117 + background-repeat: no-repeat;
1.118 + background-position: 4px center;
1.119 + box-shadow: 0 1px 1px hsla(206,37%,4%,.2) inset,
1.120 + 1px 0 0 hsla(206,37%,4%,.2) inset,
1.121 + -1px 0 0 hsla(206,37%,4%,.2) inset;
1.122 + line-height: 32px;
1.123 + outline-style: none;
1.124 + background-image: -moz-image-rect(url("chrome://browser/skin/devtools/commandline-icon.png"), 0, 16, 16, 0);
1.125 +}
1.126 +
1.127 +.gclitoolbar-input-node[focused="true"] {
1.128 + background-image: -moz-image-rect(url("chrome://browser/skin/devtools/commandline-icon.png"), 0, 32, 16, 16);
1.129 + background-color: #232e38;
1.130 +}
1.131 +
1.132 +.gclitoolbar-input-node > .textbox-input-box > html|*.textbox-input::-moz-selection {
1.133 + background-color: hsl(210,30%,85%);
1.134 + color: hsl(210,24%,16%);
1.135 + text-shadow: none;
1.136 +}
1.137 +
1.138 +.gclitoolbar-complete-node {
1.139 + padding-left: 21px;
1.140 + background-color: transparent;
1.141 + color: transparent;
1.142 + z-index: 100;
1.143 + pointer-events: none;
1.144 +}
1.145 +
1.146 +.gcli-in-incomplete,
1.147 +.gcli-in-error,
1.148 +.gcli-in-ontab,
1.149 +.gcli-in-todo,
1.150 +.gcli-in-closebrace,
1.151 +.gcli-in-param,
1.152 +.gcli-in-valid {
1.153 + margin: 0;
1.154 + padding: 0;
1.155 +}
1.156 +
1.157 +.gcli-in-incomplete {
1.158 + border-bottom: 2px dotted #999;
1.159 +}
1.160 +
1.161 +.gcli-in-error {
1.162 + border-bottom: 2px dotted #F00;
1.163 +}
1.164 +
1.165 +.gcli-in-ontab {
1.166 + color: hsl(210,0%,35%);
1.167 +}
1.168 +
1.169 +.gcli-in-todo {
1.170 + color: hsl(210,50%,35%);
1.171 +}
1.172 +
1.173 +.gcli-in-closebrace {
1.174 + color: hsl(0,0%,80%);
1.175 +}
