diff --git a/ivette/src/frama-c/plugins/eva/style.css b/ivette/src/frama-c/plugins/eva/style.css index e578ea782ba99cb6cf9866b99429f404c0233191..129d0adc9f85679adb3bdad13994dc0e82a10e3d 100644 --- a/ivette/src/frama-c/plugins/eva/style.css +++ b/ivette/src/frama-c/plugins/eva/style.css @@ -174,6 +174,21 @@ flex: 1 1 auto; border-right: thin solid black; border-bottom: thin solid black; + overflow: hidden; + display: flex; + justify-content: center; +} + +.eva-cell .eva-stmt { + margin-left: 0.2em; +} + +.eva-cell-expression { + text-align: center; + text-overflow: ellipsis; + flex: 0 1 auto; + display: inline-block; + overflow: hidden; } .eva-cell:nth-child(2) { @@ -181,7 +196,7 @@ } .eva-probes .eva-cell { - padding: 2px; + padding: 2px 4px; text-align: center; border-top: thin solid black; }