/* 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
/* SideMenuWidget */
.side-menu-widget-container {
+ /* Hack: force hardware acceleration */
+ transform: translateZ(1px);
+
background-color: #000000;
color: #FF9F00;
}
/* VariablesView */
+.variables-view-container:not([empty]) {
+ /* Hack: force hardware acceleration */
+ transform: translateZ(1px);
+}
+
.variables-view-empty-notice {
color: #A09090;
padding: 2px;
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;
}
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;
}
.element-value-input {
- -moz-margin-start: 4px !important;
+ -moz-margin-start: -2px !important;
-moz-margin-end: 2px !important;
}