diff --git a/ivette/src/frama-c/plugins/eva/style.css b/ivette/src/frama-c/plugins/eva/style.css index 1c50e812941b6128854370387120cb115b8ded71..ff501a3802314aa94355c99da2995d3ccfa77a47 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 {