diff --git a/ivette/src/colors/dark.css b/ivette/src/colors/dark.css index 28993e4bdf663730013a90a2a395f0f43ccbbf3e..ad7bebb486079d9f53c7d64053aefa55a40b433b 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 a422d1e4b4e9cc97f31da14b0ffda49da67d1c86..c3c59e29af04ab3bef15f1c1626a273477f9223b 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 1d66f2e64d1ac4a3f00223ca6d6e93bbefe909b4..1a6ef94f45373e357608c88fe24c0c57637b441c 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 8802dac6c4deb36d6a83064005ec4eae62d6030a..97233d3b4126459b0098db860ccbd45c6412f756 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 d8cb5ddb76b9048cdef0cf3b77fdaa624d8c07f1..5a87f4b481246fe270d940e1814115a32106c5f9 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); } /* -------------------------------------------------------------------------- */