diff --git a/ivette/src/frama-c/plugins/eva/EvaReady/style.css b/ivette/src/frama-c/plugins/eva/EvaReady/style.css index 35dd64ddfaa2b6cf126928a25990da4885fd9618..6a68bead536b05aed50bd41f595f50aac2750057 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; }