From 541f9c54e8dfa88195172181be56f31b628c5f9e Mon Sep 17 00:00:00 2001
From: Arne Keller <arne.keller@student.kit.edu>
Date: Wed, 10 Feb 2021 16:45:51 +0100
Subject: [PATCH] Tree min height of 75%

---
 frontend/styles/view/main/info-dialog.css | 1 -
 frontend/styles/view/proof-tree.css       | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontend/styles/view/main/info-dialog.css b/frontend/styles/view/main/info-dialog.css
index 1d0507d..b546d87 100644
--- a/frontend/styles/view/main/info-dialog.css
+++ b/frontend/styles/view/main/info-dialog.css
@@ -1,7 +1,6 @@
 #infoHeader {
 	display: flex;
 	position: relative;
-	width: 30vw;
 	align-items: center;
 	justify-content: center;
 }
diff --git a/frontend/styles/view/proof-tree.css b/frontend/styles/view/proof-tree.css
index 5c30454..4d2daf8 100644
--- a/frontend/styles/view/proof-tree.css
+++ b/frontend/styles/view/proof-tree.css
@@ -1,3 +1,4 @@
 tc-proof-tree {
     flex: auto;
+    min-height: 75%;
 }
\ No newline at end of file