Make RecoveredOnBailout distinguishable.

CSS property for moveable appearing last in style.css implies that
recovered-on-bailout annotation was not displayed.

Having an instruction flagged as recovered-on-bailout being more important than
being moveable, moving the style definition later in the file make it take
precedence.

Text decoration is also added to make it clear that while the instruction
remains in the SSA graph, it is effectively unused during the execution. This is
denoted by using a wavy line-through.

Author: nbp

src/style.css

@@ -24,7 +24,7 @@
   --ig-block-header-color: #0c0c0d;
   --ig-loop-header-color: #1fa411;
   --ig-movable-color: #1048af;
-  --ig-rob-color: #444;
+  --ig-rob-color: red;
   --ig-in-worklist-color: red;
 
   --ig-block-selected: #ffc863;
@@ -427,10 +427,6 @@ a.ig-link-normal {
   padding-left: 4px;
 }
 
-.ig-ins-att-RecoveredOnBailout {
-  color: var(--ig-rob-color);
-}
-
 .ig-ins-att-Movable {
   color: var(--ig-movable-color);
 }
@@ -439,6 +435,12 @@ a.ig-link-normal {
   text-decoration: underline;
 }
 
+.ig-ins-att-RecoveredOnBailout {
+  color: var(--ig-rob-color);
+  text-decoration-style: wavy;
+  text-decoration-line: line-through;
+}
+
 .ig-ins-att-InWorklist {
   color: var(--ig-in-worklist-color);
 }