LCARStrek/browser/devtools/markup-view.css

   1 /* This Source Code Form is subject to the terms of the Mozilla Public
   2  * License, v. 2.0. If a copy of the MPL was not distributed with this
   3  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
   4
   5 * {
   6   padding: 0;
   7   margin: 0;
   8 }
   9
  10 .more-nodes {
  11   padding-left: 16px;
  12 }
  13
  14 .styleinspector-propertyeditor {
  15   border: 1px solid #9C9CFF;
  16 }
  17
  18
  19 /* Selected nodes in the tree should have light selected text.
  20    theme-selected doesn't work in this case since the text is a
  21    sibling of the class, not a child. */
  22 .theme-selected ~ .editor,
  23 .theme-selected ~ .editor .theme-fg-color1,
  24 .theme-selected ~ .editor .theme-fg-color2,
  25 .theme-selected ~ .editor .theme-fg-color3,
  26 .theme-selected ~ .editor .theme-fg-color4,
  27 .theme-selected ~ .editor .theme-fg-color5,
  28 .theme-selected ~ .editor .theme-fg-color6,
  29 .theme-selected ~ .editor .theme-fg-color7 {
  30   color: #000000; /* Light foreground text */
  31 }
  32
  33 /* In case a node isn't displayed in the page, we fade the syntax highlighting */
  34 .not-displayed .open,
  35 .not-displayed .close {
  36   opacity: .7;
  37 }
  38
  39 .tag-line {
  40   padding-left: 2px;
  41 }
  42
  43 /* Preview */
  44
  45 #previewbar {
  46   position: fixed;
  47   top: 0;
  48   right: 0;
  49   width: 90px;
  50   background: black;
  51   border-left: 1px solid;
  52   border-bottom: 1px solid;
  53   overflow: hidden;
  54 }
  55
  56 #previewbar {
  57   background: #000000; /* Tab Toolbar */
  58   border-color: #9C9CFF; /* Splitters */
  59 }
  60
  61 #preview {
  62   position: absolute;
  63   top: 0;
  64   right: 5px;
  65   width: 80px;
  66   height: 100%;
  67   background-image: -moz-element(#root);
  68   background-repeat: no-repeat;
  69 }
  70
  71 #previewbar.hide,
  72 #previewbar.disabled {
  73   display: none;
  74 }
  75
  76 #viewbox {
  77   position: absolute;
  78   top: 0;
  79   right: 5px;
  80   width: 80px;
  81   border: 1px dashed #9C9CFF;
  82   background: #000000;
  83   outline: 1px solid transparent;
  84 }