From 1b47d75d681d6754a130539815e390b778d72108 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 5 Nov 2021 10:19:05 +0100
Subject: [PATCH] [ivette] Eva values: fixes vertical alignment of function
names in the table.
---
ivette/src/frama-c/plugins/eva/style.css | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ivette/src/frama-c/plugins/eva/style.css b/ivette/src/frama-c/plugins/eva/style.css
index 799bdf86592..cdf56244da7 100644
--- a/ivette/src/frama-c/plugins/eva/style.css
+++ b/ivette/src/frama-c/plugins/eva/style.css
@@ -166,7 +166,7 @@
}
.eva-fct-name {
- padding: 0px;
+ padding: 2px;
font-weight: bold;
}
--
GitLab