From 680bd6006d6eaaf17d905eaf0aad3c164ebe533e Mon Sep 17 00:00:00 2001
From: rlazarini <remi.lazarini@cea.fr>
Date: Tue, 10 Sep 2024 09:14:37 +0200
Subject: [PATCH] [ivette] EvaForm : fix css
---
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 4a991f514f8..5345a38cf3e 100644
--- a/ivette/src/frama-c/plugins/eva/style.css
+++ b/ivette/src/frama-c/plugins/eva/style.css
@@ -359,7 +359,7 @@ tr:first-of-type > .eva-table-callsite-box {
/* --- Tools Eva --- */
.eva-tools {
position: sticky;
- top: 10px;
+ top: 0px;
z-index: 10;
background-color: var(--background-profound);
padding: 5px;
--
GitLab