diff --git a/ivette/src/frama-c/kernel/ASTinfo.tsx b/ivette/src/frama-c/kernel/ASTinfo.tsx
index 14c29f035c07da88dba704a04454eb7d09d28684..99135b3906420e9ee72b990c2363ebcc7294c0bc 100644
--- a/ivette/src/frama-c/kernel/ASTinfo.tsx
+++ b/ivette/src/frama-c/kernel/ASTinfo.tsx
@@ -362,9 +362,9 @@ export default function ASTinfo(): JSX.Element {
           title="Information Filters"
         />
       </TitleBar>
-      <Boxes.Vfill>
+      <Boxes.Scroll>
         {markers.getSelected().map(renderMark)}
-      </Boxes.Vfill>
+      </Boxes.Scroll>
     </>
   );
 }
diff --git a/ivette/src/frama-c/kernel/style.css b/ivette/src/frama-c/kernel/style.css
index b0fede1f933d7b839355feb22edf5bae48e149b5..9b5d8f34ae951f23a7dd5595cb6267ef8d63b870 100644
--- a/ivette/src/frama-c/kernel/style.css
+++ b/ivette/src/frama-c/kernel/style.css
@@ -75,7 +75,7 @@
 
 .astinfo-section {
     position: relative;
-    overflow: hidden;
+    overflow: auto;
     padding-top: 1px;
     padding-bottom: 2px;
 }