diff --git a/ivette/src/dome/renderer/layout/style.css b/ivette/src/dome/renderer/layout/style.css
index a2e0fca13db2095fde266199646103b6c8264367..41dfbcc3254a14b6e4c9ff107da9d50735193f12 100644
--- a/ivette/src/dome/renderer/layout/style.css
+++ b/ivette/src/dome/renderer/layout/style.css
@@ -103,7 +103,6 @@
 
 .dome-xSplitter-block {
     display: block;
-    overflow: hidden;
     position: relative;
     width: 100%;
     height: 100%;
diff --git a/ivette/src/frama-c/plugins/eva/DomainStates.tsx b/ivette/src/frama-c/plugins/eva/DomainStates.tsx
index be4845187da7c108616b84d6ab715fb7732b2345..4e6015bdd54c01ba14f1be35e528b53f2fdc9ce4 100644
--- a/ivette/src/frama-c/plugins/eva/DomainStates.tsx
+++ b/ivette/src/frama-c/plugins/eva/DomainStates.tsx
@@ -92,18 +92,20 @@ export function EvaStates(): JSX.Element {
           onChange={setFilter}
         />
       </Boxes.Hbox>
-      <HSplit
-        settings="ivette.eva.domainStates.beforeAfterSplit"
-      >
-        <div className="domain-state-box">
-          State before the selected statement:
-          <Text className="domain-state" text={stateBefore} />
-        </div>
-        <div className="domain-state-box">
-          State after the selected statement:
-          <Text className="domain-state" text={stateAfter} />
-        </div>
-      </HSplit>
+      <Boxes.Scroll>
+        <HSplit
+          settings="ivette.eva.domainStates.beforeAfterSplit"
+        >
+          <div className="domain-state-box">
+            State before the selected statement:
+            <Text className="domain-state" text={stateBefore} />
+          </div>
+          <div className="domain-state-box">
+            State after the selected statement:
+            <Text className="domain-state" text={stateAfter} />
+          </div>
+        </HSplit>
+      </Boxes.Scroll>
     </>);
 }