make Firefox 22 inspector work well

[themes.git] / LCARStrek / browser / devtools / light-theme.css

diff --git a/LCARStrek/browser/devtools/light-theme.css b/LCARStrek/browser/devtools/light-theme.css
new file mode 100644 (file)
index 0000000..9e19bb3
--- /dev/null
+++ b/LCARStrek/browser/devtools/light-theme.css
@@ -0,0 +1,107 @@
+/* vim:set ts=2 sw=2 sts=2 et: */
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
+
+/* According to:
+ * https://bugzilla.mozilla.org/show_bug.cgi?id=715472#c17
+ */
+.theme-body {
+  background: #000000;
+  color: #FF9F00;
+}
+
+.theme-twisty {
+  cursor: pointer;
+  margin-right: 5px;
+}
+
+.theme-twisty:-moz-focusring {
+  outline-style: none;
+}
+
+.theme-twisty:not([open]) {
+  width: 0;
+  height: 0;
+  border-top: 5px solid transparent;
+  border-bottom: 5px solid transparent;
+  border-left: 5px solid #8050B0;
+  margin-left: 5px;
+}
+
+.theme-twisty[open] {
+  width: 10px;
+  height: 10px;
+  background-image: linear-gradient(to bottom right, transparent 68%, #8050B0 68%);
+}
+
+.theme-checkbox {
+  display: inline-block;
+  border: 1px solid #FF9F00;
+  width: 6px;
+  height: 6px;
+  padding: 2px;
+  background-color: transparent;
+  background-repeat: no-repeat;
+  outline: none;
+}
+
+.theme-checkbox[checked] {
+  background-clip: content-box;
+  background-image: linear-gradient(to bottom right, transparent 48%, #FF9F00 48%, #FF9F00 52%, transparent 52%),
+                    linear-gradient(to bottom left, transparent 48%, #FF9F00 48%, #FF9F00 52%, transparent 52%);
+}
+
+.theme-selected {
+  background: #004242;
+}
+
+.theme-bg-darker {
+  background-color: rgba(0,0,0,0.1);
+}
+
+.theme-link { /* original: blue */
+  color: #3333FF;
+}
+
+.theme-comment { /* original: grey */
+  color: #A09090;
+}
+
+.theme-gutter {
+  background-color: #000000;
+  color: #FF9F00;
+  border-color: #9C9CFF;
+}
+
+.theme-separator { /* original: grey */
+  border-color: #8050B0;
+}
+
+.theme-fg-color1 { /* original: green */
+  color: #008484;
+}
+
+.theme-fg-color2 { /* original: blue */
+  color: #9C9CFF;
+}
+
+.theme-fg-color3 { /* original: pink/lavender */
+  color: #E7ADE7;
+}
+
+.theme-fg-color4 { /* original: purple/violet */
+  color: #C09070;
+}
+
+.theme-fg-color5 { /* original: Yellow */
+  color: #FFCF00;
+}
+
+.theme-fg-color6 { /* original: Orange */
+  color: #FF9F00;
+}
+
+.theme-fg-color7 { /* original: Red */
+  color: #FF0000;
+}