From 70299bac5df02376449b68d199ec447d30546a09 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Tue, 25 Apr 2023 16:28:03 +0200
Subject: [PATCH] [Ivette] Centers EvaReady button
---
ivette/src/frama-c/plugins/eva/EvaReady/style.css | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/ivette/src/frama-c/plugins/eva/EvaReady/style.css b/ivette/src/frama-c/plugins/eva/EvaReady/style.css
index 35dd64ddfaa..6a68bead536 100644
--- a/ivette/src/frama-c/plugins/eva/EvaReady/style.css
+++ b/ivette/src/frama-c/plugins/eva/EvaReady/style.css
@@ -17,6 +17,10 @@
text-align: center;
}
+.eva-status button {
+ margin: auto;
+}
+
.eva-status-computing {
font-weight: bold;
}
--
GitLab