diff --git a/src/style.css b/src/style.css index d1b8b7f..112d4ea 100644 --- a/src/style.css +++ b/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); }