make Firefox 22 inspector work well
[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: 1px solid #FF9F00;
41   width: 6px;
42   height: 6px;
43   padding: 2px;
44   background-color: transparent;
45   background-repeat: no-repeat;
46   outline: none;
47 }
48
49 .theme-checkbox[checked] {
50   background-clip: content-box;
51   background-image: linear-gradient(to bottom right, transparent 48%, #FF9F00 48%, #FF9F00 52%, transparent 52%),
52                     linear-gradient(to bottom left, transparent 48%, #FF9F00 48%, #FF9F00 52%, transparent 52%);
53 }
54
55 .theme-selected {
56   background: #004242;
57 }
58
59 .theme-bg-darker {
60   background-color: rgba(0,0,0,0.1);
61 }
62
63 .theme-link { /* original: blue */
64   color: #3333FF;
65 }
66
67 .theme-comment { /* original: grey */
68   color: #A09090;
69 }
70
71 .theme-gutter {
72   background-color: #000000;
73   color: #FF9F00;
74   border-color: #9C9CFF;
75 }
76
77 .theme-separator { /* original: grey */
78   border-color: #8050B0;
79 }
80
81 .theme-fg-color1 { /* original: green */
82   color: #008484;
83 }
84
85 .theme-fg-color2 { /* original: blue */
86   color: #9C9CFF;
87 }
88
89 .theme-fg-color3 { /* original: pink/lavender */
90   color: #E7ADE7;
91 }
92
93 .theme-fg-color4 { /* original: purple/violet */
94   color: #C09070;
95 }
96
97 .theme-fg-color5 { /* original: Yellow */
98   color: #FFCF00;
99 }
100
101 .theme-fg-color6 { /* original: Orange */
102   color: #FF9F00;
103 }
104
105 .theme-fg-color7 { /* original: Red */
106   color: #FF0000;
107 }