From e4f5727683c48ca16197abd6e76542307d5118c1 Mon Sep 17 00:00:00 2001
From: Arne Keller <arne.keller@student.kit.edu>
Date: Sun, 4 Apr 2021 17:39:49 +0200
Subject: [PATCH] Reduce min height of proof tree

---
 frontend/styles/view/type-inference.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;