rest of LCARStrek sync to browser windows theme changes in Firefox 25
[themes.git] / LCARStrek / browser / devtools / dark-theme.css
CommitLineData
2efcd25d
RK
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/* According to:
7 * https://bugzilla.mozilla.org/show_bug.cgi?id=715472#c17
8 */
9.theme-body {
10 background: #000000;
11 color: #FF9F00;
12}
13
14.theme-twisty {
15 cursor: pointer;
fe524e0c
RK
16 width: 14px;
17 height: 14px;
18 background-repeat: no-repeat;
19 background-image: url("chrome://browser/skin/devtools/controls.png");
20 background-position: 0 -14px;
2efcd25d
RK
21}
22
23.theme-twisty:-moz-focusring {
24 outline-style: none;
25}
26
2efcd25d 27.theme-twisty[open] {
fe524e0c 28 background-position: -14px -14px;
2efcd25d
RK
29}
30
31.theme-checkbox {
32 display: inline-block;
ed1a91c6
RK
33 border: 0;
34 width: 14px;
35 height: 14px;
36 padding: 0;
2efcd25d 37 outline: none;
fe524e0c
RK
38 background-image: url("chrome://browser/skin/devtools/controls.png");
39 background-position: 0 0;
2efcd25d
RK
40}
41
42.theme-checkbox[checked] {
fe524e0c 43 background-position: -14px 0;
2efcd25d
RK
44}
45
46.theme-selected {
47 background: #004242;
48}
49
50.theme-bg-darker {
51 background-color: rgba(0,0,0,0.1);
52}
53
54.theme-link { /* original: blue */
55 color: #3333FF;
56}
57
58.theme-comment { /* original: grey */
59 color: #A09090;
60}
61
62.theme-gutter {
63 background-color: #000000;
64 color: #FF9F00;
65 border-color: #9C9CFF;
66}
67
68.theme-separator { /* original: grey */
69 border-color: #8050B0;
70}
71
72.theme-fg-color1 { /* original: green */
73 color: #008484;
74}
75
76.theme-fg-color2 { /* original: blue */
77 color: #9C9CFF;
78}
79
80.theme-fg-color3 { /* original: pink/lavender */
81 color: #E7ADE7;
82}
83
84.theme-fg-color4 { /* original: purple/violet */
85 color: #C09070;
86}
87
88.theme-fg-color5 { /* original: Yellow */
89 color: #FFCF00;
90}
91
92.theme-fg-color6 { /* original: Orange */
93 color: #FF9F00;
94}
95
96.theme-fg-color7 { /* original: Red */
97 color: #FF0000;
98}