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