diff --git a/ivette/src/frama-c/plugins/eva/style.css b/ivette/src/frama-c/plugins/eva/style.css index 12f78a00a4358725fd5401b9c446e03d9fab7cdd..9d54e80f0b3a578d8f193509745e6fa7057c3d9f 100644 --- a/ivette/src/frama-c/plugins/eva/style.css +++ b/ivette/src/frama-c/plugins/eva/style.css @@ -64,7 +64,6 @@ /* -------------------------------------------------------------------------- */ .eva-cell-alarms { - z-index: 1; margin: 0px; padding: 0px; margin-right: 4px;