diff --git a/frontend/styles/view/type-inference.css b/frontend/styles/view/type-inference.css
index 05cc4fa..9606e4d 100644
--- a/frontend/styles/view/type-inference.css
+++ b/frontend/styles/view/type-inference.css
@@ -17,6 +17,7 @@
 	padding: 10px;
 	box-sizing: border-box;
 	margin-top: 0;
+	overflow-y: scroll;
 }
 
 tc-proof-tree {