From 9ee4149e412b91f4b7fec6e1bc2114fb8867a749 Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime2.jacquemin@gmail.com>
Date: Fri, 13 Jan 2023 10:30:48 +0100
Subject: [PATCH] [Ivette] Better CSS for dead code
---
ivette/src/dome/renderer/text/style.css | 19 +++++++++----------
1 file changed, 9 insertions(+), 10 deletions(-)
diff --git a/ivette/src/dome/renderer/text/style.css b/ivette/src/dome/renderer/text/style.css
index 53ff7035136..540eeb59e9b 100644
--- a/ivette/src/dome/renderer/text/style.css
+++ b/ivette/src/dome/renderer/text/style.css
@@ -150,8 +150,15 @@
background-color: var(--code-select-hover);
}
-.cm-dead-code { color: var(--dead-code); }
-.cm-non-term-code { color: var(--dead-code); }
+.cm-dead-code {
+ font-style: italic;
+ filter: opacity(0.7);
+}
+
+.cm-non-term-code {
+ font-style: italic;
+ filter: opacity(0.7);
+}
.cm-tainted {
text-decoration: underline var(--warning) solid 1px;
@@ -176,17 +183,9 @@
}
.cm-def { color: var(--codemirror-def); }
-
.cm-comment { color: var(--codemirror-comment); }
-.cm-dead-code .cm-comment { color: inherit; }
-
.cm-type { color: var(--codemirror-type); }
-.cm-dead-code .cm-type { color: inherit; }
-
.cm-number { color: var(--codemirror-number); }
-.cm-dead-code .cm-number { color: inherit; }
-
.cm-keyword { color: var(--codemirror-keyword); }
-.cm-dead-code .cm-keyword { color: inherit; }
/* -------------------------------------------------------------------------- */
--
GitLab