diff --git a/repl/index.html b/repl/index.html
index 88d0786..8215bfb 100644
--- a/repl/index.html
+++ b/repl/index.html
@@ -2,6 +2,12 @@
   <head>
     <script src="importmap.js"></script>
     <link rel="stylesheet" href="./node_modules/display-anything/src/DisplayAnything.css"></link>
+    <style>
+      .rti-all {
+        max-height: 200px;
+        overflow-y: scroll;
+      }
+    </style>
   </head>
   <body>
     <select id="action">
diff --git a/src-runtime/TypePanel.js b/src-runtime/TypePanel.js
index 2432f4f..a040554 100644
--- a/src-runtime/TypePanel.js
+++ b/src-runtime/TypePanel.js
@@ -75,6 +75,7 @@ class TypePanel {
     divAll.style.bottom = "0px";
     divAll.style.right = "0px";
     divAll.style.zIndex = "10";
+    divAll.classList.add('rti-all');
     niceDiv(div);
     inputEnable.checked = isEnabled();
     inputEnable.type = "checkbox";
