+/*
+@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 {