border-left: 2px solid #f00;
}
+pre.should_panic {
+ border-left: 2px solid rgba(255,0,0,.5);
+}
+
+pre.should_panic:hover, .information:hover + pre.should_panic {
+ border-left: 2px solid #f00;
+}
+
pre.ignore {
border-left: 2px solid rgba(255,142,0,.6);
}
color: #f00;
}
+.tooltip.should_panic {
+ color: rgba(255,0,0,.5);
+}
+
+.information > .should_panic:hover {
+ color: #f00;
+}
+
.tooltip.ignore {
color: rgba(255,142,0,.6);
}