From b7ac43bc2d410add3b32bd3bc43fd5395c20f4f9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 15 Mar 2023 10:34:49 +0100
Subject: [PATCH] [Ivette] Tweaks colors used for non-terminating and dead code
gutters.
---
ivette/src/dome/renderer/dark.css | 2 +-
ivette/src/dome/renderer/light.css | 4 ++--
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/ivette/src/dome/renderer/dark.css b/ivette/src/dome/renderer/dark.css
index 9eebd8ef59e..cbe9a2b73b5 100644
--- a/ivette/src/dome/renderer/dark.css
+++ b/ivette/src/dome/renderer/dark.css
@@ -10,7 +10,7 @@
--code-hover: #005137;
--code-select: #4f3d24;
--code-select-hover: #5f4d34;
- --dead-code: #444;
+ --dead-code: #777;
--non-terminating: #d84954;
--highlighted-marker: #778822;
--code-bullet: #0a2234;
diff --git a/ivette/src/dome/renderer/light.css b/ivette/src/dome/renderer/light.css
index 09623f9c386..135bd1ef348 100644
--- a/ivette/src/dome/renderer/light.css
+++ b/ivette/src/dome/renderer/light.css
@@ -10,8 +10,8 @@
--code-hover: lightgreen;
--code-select: #ffda95;
--code-select-hover: orange;
- --dead-code: #bbb;
- --non-terminating: #770088;
+ --dead-code: #999;
+ --non-terminating: #fb4e4a;
--highlighted-marker: #ffff66;
--code-bullet: #ddd;
--
GitLab