adapt both themes for inspector classic changes in SeaMonkey 2.17 cycle
authorRobert Kaiser <robert@widebook.box.kairo.at>
Fri, 8 Mar 2013 12:59:00 +0000 (13:59 +0100)
committerRobert Kaiser <robert@widebook.box.kairo.at>
Fri, 8 Mar 2013 12:59:00 +0000 (13:59 +0100)
EarlyBlue/inspector/viewers/accessibleProps/accessibleProps.css [new file with mode: 0644]
LCARStrek/inspector/viewers/accessibleProps/accessibleProps.css [new file with mode: 0644]

diff --git a/EarlyBlue/inspector/viewers/accessibleProps/accessibleProps.css b/EarlyBlue/inspector/viewers/accessibleProps/accessibleProps.css
new file mode 100644 (file)
index 0000000..57d681e
--- /dev/null
@@ -0,0 +1,22 @@
+/* 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/. */
+
+@import url("chrome://inspector/skin");
+
+.textAttrsTextRange {
+  border-bottom: medium dotted #9999CC;
+  padding: 7px;
+  border-bottom-left-radius: 16px;
+  border-bottom-right-radius: 16px;
+  line-height: 250%;
+  margin: 2px;
+}
+
+.textAttrsTextRange:hover {
+  border-bottom: medium dotted #FF0000;
+}
+
+.textAttrsTextRange[selected] {
+  border-bottom: medium groove #336699;
+}
diff --git a/LCARStrek/inspector/viewers/accessibleProps/accessibleProps.css b/LCARStrek/inspector/viewers/accessibleProps/accessibleProps.css
new file mode 100644 (file)
index 0000000..f8c52f6
--- /dev/null
@@ -0,0 +1,22 @@
+/* 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/. */
+
+@import url("chrome://inspector/skin");
+
+.textAttrsTextRange {
+  border-bottom: medium dotted #9C9CFF;
+  padding: 7px;
+  border-bottom-left-radius: 16px;
+  border-bottom-right-radius: 16px;
+  line-height: 250%;
+  margin: 2px;
+}
+
+.textAttrsTextRange:hover {
+  border-bottom: medium dotted #FF0000;
+}
+
+.textAttrsTextRange[selected] {
+  border-bottom: medium groove #008484;
+}