diff --git a/ivette/src/frama-c/plugins/eva/style.css b/ivette/src/frama-c/plugins/eva/style.css index ba337d4a5d4e30b7c29661756ffb380f83c091e7..17de6ba0188126a6ae8dc783cc4a3e10245b3c41 100644 --- a/ivette/src/frama-c/plugins/eva/style.css +++ b/ivette/src/frama-c/plugins/eva/style.css @@ -44,7 +44,7 @@ flex: 0 auto; overflow: hidden; display: flex; - align-items: center; + align-items: baseline; } .eva-header-text-overflow { @@ -95,7 +95,7 @@ /* -------------------------------------------------------------------------- */ .eva-function { - padding-top: 0px; + padding: 2px; background: var(--background-profound); height: 25px; }