From fb3f382f7f63be2f57ca5d972196a9ace9c5320f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 11 Jan 2022 14:33:43 +0100
Subject: [PATCH] [ivette] Values table: fixes vertical alignment of statements
in column headers.
---
ivette/src/frama-c/plugins/eva/style.css | 1 +
1 file changed, 1 insertion(+)
diff --git a/ivette/src/frama-c/plugins/eva/style.css b/ivette/src/frama-c/plugins/eva/style.css
index 1c50e812941..ff501a38023 100644
--- a/ivette/src/frama-c/plugins/eva/style.css
+++ b/ivette/src/frama-c/plugins/eva/style.css
@@ -182,6 +182,7 @@
.eva-cell .eva-stmt {
margin-left: 0.2em;
+ padding: 2px 0px;
}
.eva-cell-expression {
--
GitLab