+.variable[non-writable] > .title:after,
+.property[non-writable] > .title:after {
+ content: " ";
+ display: inline-block;
+ width: 16px;
+ height: 16px;
+ background: url("chrome://browser/skin/identity-icons-https.png") no-repeat;
+ opacity: 0.5;
+}
+
+/*
+@media (min-resolution: 2dppx) {
+ .variable[non-writable] > .title:after,
+ .property[non-writable] > .title:after {
+ background-image: url("chrome://browser/skin/identity-icons-https@2x.png");
+ background-size: 32px;
+ }
+}
+*/
+
+.variable[exception] > .title > .name,
+.property[exception] > .title > .name {
+ color: #FF0000;
+}
+
+.variable > tooltip > label,
+.property > tooltip > label {
+ margin: 0 2px 0 2px;
+}
+
+.variable[non-enumerable] > tooltip > label[value="enumerable"],
+.property[non-enumerable] > tooltip > label[value="enumerable"],
+.variable[non-configurable] > tooltip > label[value="configurable"],
+.property[non-configurable] > tooltip > label[value="configurable"],
+.variable[non-writable] > tooltip > label[value="writable"],
+.property[non-writable] > tooltip > label[value="writable"] {
+ text-decoration: line-through;
+}
+
+/**
+ * Variables and properties editing
+ */
+
+#variables .element-value-input {
+ -moz-margin-start: 5px !important;
+}
+
+#variables .element-name-input {
+ -moz-margin-start: -1px !important;