X-Git-Url: https://git-public.kairo.at/?p=themes.git;a=blobdiff_plain;f=LCARStrek%2Fbrowser%2Fdevtools%2Fmarkup-view.css;h=c1a36b2ee4b34b3ffd26e0df15a3fad5e1f69e6d;hp=c6b965f85febd8fe26eb50eb47b84b420601b971;hb=3d64e0cebebe213f541634b9a0b2c6e7ba84fcfb;hpb=138df17b6765b1a71197ccf5602eb9f87fbef5f4

diff --git a/LCARStrek/browser/devtools/markup-view.css b/LCARStrek/browser/devtools/markup-view.css
index c6b965f8..c1a36b2e 100644
--- a/LCARStrek/browser/devtools/markup-view.css
+++ b/LCARStrek/browser/devtools/markup-view.css
@@ -7,30 +7,78 @@
   margin: 0;
 }
 
-.tagname {
-  color: #FFCF00;
+.more-nodes {
+  padding-left: 16px;
 }
 
-.attrname {
-  color: #9C9CFF;
+.styleinspector-propertyeditor {
+  border: 1px solid #9C9CFF;
 }
 
-.attrvalue {
-  color: #E7ADE7;
+
+/* Selected nodes in the tree should have light selected text.
+   theme-selected doesn't work in this case since the text is a
+   sibling of the class, not a child. */
+.theme-selected ~ .editor,
+.theme-selected ~ .editor .theme-fg-color1,
+.theme-selected ~ .editor .theme-fg-color2,
+.theme-selected ~ .editor .theme-fg-color3,
+.theme-selected ~ .editor .theme-fg-color4,
+.theme-selected ~ .editor .theme-fg-color5,
+.theme-selected ~ .editor .theme-fg-color6,
+.theme-selected ~ .editor .theme-fg-color7 {
+  color: #000000; /* Light foreground text */
 }
 
-.comment {
-  color: #8050B0;
+/* In case a node isn't displayed in the page, we fade the syntax highlighting */
+.not-displayed .open,
+.not-displayed .close {
+  opacity: .7;
 }
 
-.selected {
-  background-color: #008484;
+.tag-line {
+  padding-left: 2px;
 }
 
-.more-nodes {
-  padding-left: 16px;
+/* Preview */
+
+#previewbar {
+  position: fixed;
+  top: 0;
+  right: 0;
+  width: 90px;
+  background: black;
+  border-left: 1px solid;
+  border-bottom: 1px solid;
+  overflow: hidden;
 }
 
-.styleinspector-propertyeditor {
-  border: 1px solid #9C9CFF;
+#previewbar {
+  background: #000000; /* Tab Toolbar */
+  border-color: #9C9CFF; /* Splitters */
+}
+
+#preview {
+  position: absolute;
+  top: 0;
+  right: 5px;
+  width: 80px;
+  height: 100%;
+  background-image: -moz-element(#root);
+  background-repeat: no-repeat;
+}
+
+#previewbar.hide,
+#previewbar.disabled {
+  display: none;
+}
+
+#viewbox {
+  position: absolute;
+  top: 0;
+  right: 5px;
+  width: 80px;
+  border: 1px dashed #9C9CFF;
+  background: #000000;
+  outline: 1px solid transparent;
 }