a931ce6f94260a2d75ff9641369c0d1f97b36ebb
[themes.git] / LCARStrek / browser / devtools / light-theme.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 /* 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 }