diff --git a/ivette/src/frama-c/plugins/eva/style.css b/ivette/src/frama-c/plugins/eva/style.css index 799bdf86592257f421b3ccae77e29418edc0089d..cdf56244da7b02c7eb3cc38f5178ba5486dd3fd9 100644 --- a/ivette/src/frama-c/plugins/eva/style.css +++ b/ivette/src/frama-c/plugins/eva/style.css @@ -166,7 +166,7 @@ } .eva-fct-name { - padding: 0px; + padding: 2px; font-weight: bold; }