[ivette] Minor modifications

ivette/src/colors/dark.css

@@ -4,7 +4,7 @@
     --text-discrete: #879da0;
     --disabled-text: #506679;
     --info-text: #748a8d;
-    --info-text-discrete: #778d94;
+    --info-text-discrete: #778094;
     --text-highlighted: #d4eaed;
 
     --code-hover: #005137;
@@ -30,8 +30,11 @@
     --background-button-hover: #c0c0c0;
     --background-alterning-odd: #354154;
     --background-alterning-even: #475366;
-    --selected-element: #68758e;
     --background-interaction: #4c596b;
+    --background-report: #1e2b3d;
+
+    --selected-element: #082032;
+    --checked-element: #68758e;
 
     --lcd-button-color: #21211a;
     --lcd-button-background: #727798;

ivette/src/colors/light.css

@@ -30,8 +30,11 @@
     --background-button-hover: #c0c0c0;
     --background-alterning-odd: #fdfdfd;
     --background-alterning-even: #efefef;
-    --selected-element: #8ce0fb;
     --background-interaction: white;
+    --background-report: white;
+
+    --selected-element: #8ce0fb;
+    --checked-element: #54abef;
 
     --lcd-button-color: #61611a;
     --lcd-button-background: #b2b798;

ivette/src/frama-c/kernel/style.css

@@ -92,6 +92,7 @@
 .message-page {
     user-select: text;
     white-space: pre-line;
+    background-color: var(--background-report);
 }
 
 /* -------------------------------------------------------------------------- */

ivette/src/frama-c/plugins/eva/summary.css

@@ -16,6 +16,7 @@
     align-items: center;
     justify-content: center;
     overflow: auto;
+    background-color: var(--background-report);
 }
 
 .eva-summary {

ivette/src/renderer/style.css

@@ -132,7 +132,7 @@ input[type="checkbox"] {
 }
 
 input[type="checkbox"]:checked {
-  background-color: var(--selected-element);
+  background-color: var(--checked-element);
 }
 
 /* -------------------------------------------------------------------------- */