From 8a87a0e9e72cbf213916c37fde93b9f08f22ddfd Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime2.jacquemin@gmail.com>
Date: Tue, 29 Mar 2022 14:54:16 +0200
Subject: [PATCH] [ivette] Fix alarms borders
---
ivette/src/frama-c/plugins/eva/style.css | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/ivette/src/frama-c/plugins/eva/style.css b/ivette/src/frama-c/plugins/eva/style.css
index f6d7f689381..4aa32d754ae 100644
--- a/ivette/src/frama-c/plugins/eva/style.css
+++ b/ivette/src/frama-c/plugins/eva/style.css
@@ -163,6 +163,7 @@
.eva-table-alarm {
border-bottom: thin solid var(--border);
+ border-right: thin solid var(--border);
}
.eva-table-container {
@@ -239,7 +240,6 @@ tr:first-of-type > .eva-table-callsite-box {
position: relative;
border: 0px;
padding: 2px 3px 2px 3px;
- border-right: thin solid var(--border);
border-bottom: thin solid var(--border);
min-width: 144px;
font-family: Andale Mono, monospace;
@@ -260,6 +260,7 @@ tr:first-of-type > .eva-table-callsite-box {
.eva-table-descrs {
background-color: var(--background-sidebar);
+ border-right: thin solid var(--border);
}
.eva-table-descr-sticky {
--
GitLab