X-Git-Url: https://git-public.kairo.at/?a=blobdiff_plain;f=LCARStrek%2Fbrowser%2Fdevtools%2Fwidgets.css;h=b62f533f741bdb3eb3443af87345e3bbaba971f5;hb=dfa34f735488e744bba8ce56cafd00e04e1aecfb;hp=737c4a60307927074ae4dc28d068b0d8a37e85c1;hpb=83e3b5cf4c1a3617c23d59a79d432fa709003810;p=themes.git

diff --git a/LCARStrek/browser/devtools/widgets.css b/LCARStrek/browser/devtools/widgets.css
index 737c4a60..b62f533f 100644
--- a/LCARStrek/browser/devtools/widgets.css
+++ b/LCARStrek/browser/devtools/widgets.css
@@ -6,7 +6,6 @@
 /* Generic pane helpers */
 
 .generic-toggled-side-pane {
-  min-width: 50px;
   -moz-margin-start: 0px !important;
   /* Unfortunately, transitions don't work properly with locale-aware properties,
      so both the left and right margins are set via js, while the start margin
@@ -300,6 +299,9 @@
 /* SideMenuWidget */
 
 .side-menu-widget-container {
+  /* Hack: force hardware acceleration */
+  transform: translateZ(1px);
+
   background-color: #000000;
   color: #FF9F00;
 }
@@ -424,6 +426,11 @@
 
 /* VariablesView */
 
+.variables-view-container:not([empty]) {
+  /* Hack: force hardware acceleration */
+  transform: translateZ(1px);
+}
+
 .variables-view-empty-notice {
   color: #A09090;
   padding: 2px;
@@ -434,72 +441,85 @@
   color: #000000;
 }
 
-.variables-view-scope > .variables-view-element-details:not(:empty) {
-  -moz-margin-start: 2px;
-  -moz-margin-end: 1px;
-}
+/* Generic variables traits */
 
-/* Generic traits applied to both variables and properties */
+.variables-view-variable:not(:last-child) {
+  border-bottom: 1px solid #A09090;
+}
 
-.variable-or-property {
-  transition: background 1s ease-in-out, color 1s ease-in-out;
+.variables-view-variable > .title > .name {
+  font-weight: 600;
 }
 
-.variable-or-property[changed] {
-  color: #000000;
-  transition-duration: .4s;
+/* Generic variables *and* properties traits */
+
+.variable-or-property:focus > .title > label {
+  color: inherit !important;
 }
 
 .variable-or-property > .title > .value {
   -moz-box-flex: 1;
-  -moz-padding-start: 6px;
-  -moz-padding-end: 4px;
 }
 
-.variable-or-property[editable] > .title > .value {
-  cursor: text;
+.variable-or-property > .title > .arrow {
+  -moz-margin-start: 3px;
 }
 
 .variable-or-property:not([untitled]) > .variables-view-element-details {
-  -moz-margin-start: 10px;
+  -moz-margin-start: 7px;
 }
 
-/* Custom variables and properties traits */
+/* Traits applied when variables or properties are changed or overridden */
 
-.variables-view-variable {
-  -moz-margin-start: 1px;
-  -moz-margin-end: 1px;
+.variable-or-property:not([overridden]) {
+  transition: background 1s ease-in-out, color 1s ease-in-out;
 }
 
-.variables-view-variable:not(:last-child) {
-  border-bottom: 1px solid #A09090;
+.variable-or-property:not([overridden])[changed] {
+  color: #000000;
+  transition-duration: .4s;
 }
 
-.variables-view-variable > .title > .name {
-  font-weight: 600;
+.variable-or-property[overridden] {
+  background: rgba(160,144,144,0.0.5);
 }
 
-.variable-or-property:focus > .title > label {
-  color: inherit !important;
+.variable-or-property[overridden] .title > label {
+  /* Cross out the title for this variable and all child properties. */
+  font-style: italic;
+  text-decoration: line-through;
+  border-bottom: none !important;
+  color: #A09090;
+  opacity: 0.7;
 }
 
+/* Traits applied when variables or properties are editable */
+
+.variable-or-property[editable] > .title > .value {
+  cursor: text;
+}
+
+.variable-or-property[overridden] .title > .value {
+  /* Disallow editing this variable and all child properties. */
+  pointer-events: none;
+}
 
 /* Custom configurable/enumerable/writable or frozen/sealed/extensible
  * variables and properties */
 
-.variable-or-property[non-enumerable]:not([self]):not([exception]):not([return]):not([scope]) > .title > .name {
+.variable-or-property[non-enumerable]:not([self]):not([pseudo-item]) > .title > .name {
   opacity: 0.6;
 }
 
-.variable-or-property[non-configurable] > .title > .name {
+.variable-or-property[non-configurable]:not([pseudo-item]) > .title > .name {
   border-bottom: 1px dashed #9C9CFF;
 }
 
-.variable-or-property[non-writable] > .title > .name {
+.variable-or-property[non-writable]:not([pseudo-item]) > .title > .name {
   border-bottom: 1px dashed #FF0000;
 }
 
-.variable-or-property[safe-getter] > .title > .name {
+.variable-or-property[safe-getter]:not([pseudo-item]) > .title > .name {
   border-bottom: 1px dashed #A09090;
 }
 
@@ -561,15 +581,20 @@
   margin: 0 2px 0 2px;
 }
 
-.variable-or-property[non-enumerable] > tooltip > label[value=enumerable],
-.variable-or-property[non-configurable] > tooltip > label[value=configurable],
-.variable-or-property[non-writable] > tooltip > label[value=writable]
-.variable-or-property[non-extensible] > tooltip > label[value=extensible] {
+.variable-or-property[non-enumerable] > tooltip > label.enumerable,
+.variable-or-property[non-configurable] > tooltip > label.configurable,
+.variable-or-property[non-writable] > tooltip > label.writable
+.variable-or-property[non-extensible] > tooltip > label.extensible {
   color: #A09090;
   text-decoration: line-through;
 }
 
-.variable-or-property[safe-getter] > tooltip > label[value=WebIDL] {
+.variable-or-property[overridden] > tooltip > label.overridden {
+  -moz-padding-start: 4px;
+  -moz-border-start: 1px dotted #9C9CFF;
+}
+
+.variable-or-property[safe-getter] > tooltip > label.WebIDL {
   -moz-padding-start: 4px;
   -moz-border-start: 1px dotted #9C9CFF;
   color: #008484;
@@ -604,7 +629,7 @@
 }
 
 .element-value-input {
-  -moz-margin-start: 4px !important;
+  -moz-margin-start: -2px !important;
   -moz-margin-end: 2px !important;
 }