diff --git a/frontend/styles/view/type-inference.css b/frontend/styles/view/type-inference.css
index 6c7a254..71ffb78 100644
--- a/frontend/styles/view/type-inference.css
+++ b/frontend/styles/view/type-inference.css
@@ -68,7 +68,7 @@
 
 tc-proof-tree {
 	flex-grow: 1;
-	min-height: 75vh;
+	min-height: 70vh;
 	display: block;
 
 	border-style: solid;