[ivette] Changes taint colors to avoid confusion with precision colors in dive.

ivette/src/frama-c/kernel/Properties.tsx

@@ -262,7 +262,7 @@ const renderTaint: Renderer<States.Tag> =
     let color = 'black';
     switch (taint.name) {
       case 'not_tainted': id = 'DROP.EMPTY'; color = '#00B900'; break;
-      case 'direct_taint': id = 'DROP.FILLED'; color = '#FF8300'; break;
+      case 'direct_taint': id = 'DROP.FILLED'; color = '#882288'; break;
       case 'indirect_taint': id = 'DROP.FILLED'; color = '#73BBBB'; break;
       case 'error': id = 'HELP'; break;
       case 'not_applicable': id = 'MINUS'; break;

ivette/src/frama-c/plugins/dive/style.json

@@ -177,17 +177,17 @@
   {
     "selector": "node[taint='direct']",
     "style": {
-      "underlay-color": "#afa",
+      "underlay-color": "#882288",
       "underlay-padding": "14px",
-      "underlay-opacity": 1.0
+      "underlay-opacity": 0.4
     }
   },
   {
     "selector": "node[taint='indirect']",
     "style": {
-      "underlay-color": "#afa",
+      "underlay-color": "#73BBBB",
       "underlay-padding": "14px",
-      "underlay-opacity": 0.5
+      "underlay-opacity": 0.8
     }
   },
   {