-@media (min-resolution: 1.25dppx) {
- #jit-optimizations-view .opt-icon::before {
- background-image: url(chrome://browser/skin/devtools/webconsole@2x.png);
- }
+.opt-icon[severity=warning]::before {
+ background-position: -24px -24px;
+}
+.opt-icon[type=linkable]::before {
+ cursor: pointer;
+}
+
+
+ul.frames-list {
+ list-style-type: none;
+ padding: 0px;
+ margin: 0px;
+}
+
+ul.frames-list li {
+ cursor: pointer;
+}
+
+ul.frames-list li.selected {
+ background-color: var(--theme-selection-background);
+ color: var(--theme-selection-color);