diff --git a/ivette/src/frama-c/plugins/eva/style.css b/ivette/src/frama-c/plugins/eva/style.css index 4a991f514f8d86572a577cc71bb77fef3bb118a8..5345a38cf3e7f84c6d7afb4d99cc146a5a7566a4 100644 --- a/ivette/src/frama-c/plugins/eva/style.css +++ b/ivette/src/frama-c/plugins/eva/style.css @@ -359,7 +359,7 @@ tr:first-of-type > .eva-table-callsite-box { /* --- Tools Eva --- */ .eva-tools { position: sticky; - top: 10px; + top: 0px; z-index: 10; background-color: var(--background-profound); padding: 5px;