From 2d204ecdc5033bfdcdd936a5272b83b410df7593 Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime2.jacquemin@gmail.com>
Date: Fri, 18 Feb 2022 15:36:54 +0100
Subject: [PATCH] [ivette] Minor modifications
---
ivette/src/colors/dark.css | 7 +++++--
ivette/src/colors/light.css | 5 ++++-
ivette/src/frama-c/kernel/style.css | 1 +
ivette/src/frama-c/plugins/eva/summary.css | 1 +
ivette/src/renderer/style.css | 2 +-
5 files changed, 12 insertions(+), 4 deletions(-)
diff --git a/ivette/src/colors/dark.css b/ivette/src/colors/dark.css
index 28993e4bdf6..ad7bebb4860 100644
--- a/ivette/src/colors/dark.css
+++ b/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;
diff --git a/ivette/src/colors/light.css b/ivette/src/colors/light.css
index a422d1e4b4e..c3c59e29af0 100644
--- a/ivette/src/colors/light.css
+++ b/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;
diff --git a/ivette/src/frama-c/kernel/style.css b/ivette/src/frama-c/kernel/style.css
index 1d66f2e64d1..1a6ef94f453 100644
--- a/ivette/src/frama-c/kernel/style.css
+++ b/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);
}
/* -------------------------------------------------------------------------- */
diff --git a/ivette/src/frama-c/plugins/eva/summary.css b/ivette/src/frama-c/plugins/eva/summary.css
index 8802dac6c4d..97233d3b412 100644
--- a/ivette/src/frama-c/plugins/eva/summary.css
+++ b/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 {
diff --git a/ivette/src/renderer/style.css b/ivette/src/renderer/style.css
index d8cb5ddb76b..5a87f4b4812 100644
--- a/ivette/src/renderer/style.css
+++ b/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);
}
/* -------------------------------------------------------------------------- */
--
GitLab