diff --git a/ivette/src/frama-c/kernel/Properties.tsx b/ivette/src/frama-c/kernel/Properties.tsx
index 2f21e3e4b43b90b05b8dd566979b6e1b7131a964..f07eae5f7fa03286bf7048305a479b442c5b5cf8 100644
--- a/ivette/src/frama-c/kernel/Properties.tsx
+++ b/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;
diff --git a/ivette/src/frama-c/plugins/dive/style.json b/ivette/src/frama-c/plugins/dive/style.json
index 266794108d81d298a2fee659aaabd08b56303ab7..ff9498762f52fa09bf66fe501ee44c427029e7a6 100644
--- a/ivette/src/frama-c/plugins/dive/style.json
+++ b/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
     }
   },
   {