tweaks for making devtools look nicer
[themes.git] / LCARStrek / browser / devtools / light-theme.css
... / ...
CommitLineData
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;
16 margin-right: 5px;
17}
18
19.theme-twisty:-moz-focusring {
20 outline-style: none;
21}
22
23.theme-twisty:not([open]) {
24 width: 0;
25 height: 0;
26 border-top: 5px solid transparent;
27 border-bottom: 5px solid transparent;
28 border-left: 5px solid #8050B0;
29 margin-left: 5px;
30}
31
32.theme-twisty[open] {
33 width: 10px;
34 height: 10px;
35 background-image: linear-gradient(to bottom right, transparent 68%, #8050B0 68%);
36}
37
38.theme-checkbox {
39 display: inline-block;
40 border: 0;
41 width: 14px;
42 height: 14px;
43 padding: 0;
44 outline: none;
45 background: url("chrome://browser/skin/devtools/checkbox.png") no-repeat;
46}
47
48.theme-checkbox[checked] {
49 background: url("chrome://browser/skin/devtools/checkbox.png") 14px 0;
50}
51
52.theme-selected {
53 background: #004242;
54}
55
56.theme-bg-darker {
57 background-color: rgba(0,0,0,0.1);
58}
59
60.theme-link { /* original: blue */
61 color: #3333FF;
62}
63
64.theme-comment { /* original: grey */
65 color: #A09090;
66}
67
68.theme-gutter {
69 background-color: #000000;
70 color: #FF9F00;
71 border-color: #9C9CFF;
72}
73
74.theme-separator { /* original: grey */
75 border-color: #8050B0;
76}
77
78.theme-fg-color1 { /* original: green */
79 color: #008484;
80}
81
82.theme-fg-color2 { /* original: blue */
83 color: #9C9CFF;
84}
85
86.theme-fg-color3 { /* original: pink/lavender */
87 color: #E7ADE7;
88}
89
90.theme-fg-color4 { /* original: purple/violet */
91 color: #C09070;
92}
93
94.theme-fg-color5 { /* original: Yellow */
95 color: #FFCF00;
96}
97
98.theme-fg-color6 { /* original: Orange */
99 color: #FF9F00;
100}
101
102.theme-fg-color7 { /* original: Red */
103 color: #FF0000;
104}