From 8068f82d40168f7dcc50d783b45453b201941689 Mon Sep 17 00:00:00 2001
From: Johanna Stuber <johanna.stuber@gmx.net>
Date: Wed, 10 Mar 2021 12:27:22 +0100
Subject: [PATCH] adapt blue unification area to max content

---
 frontend/styles/view/type-inference.css | 4 ----
 frontend/styles/view/unification.css    | 4 ++++
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/frontend/styles/view/type-inference.css b/frontend/styles/view/type-inference.css
index 6a84d46..c847dae 100644
--- a/frontend/styles/view/type-inference.css
+++ b/frontend/styles/view/type-inference.css
@@ -60,7 +60,3 @@ tc-proof-tree {
 	border-style: solid;
 	border-color: #37485f;
 }
-
-tc-unification {
-	background-color: #e9f2fd;
-}
diff --git a/frontend/styles/view/unification.css b/frontend/styles/view/unification.css
index adac234..3784fe7 100644
--- a/frontend/styles/view/unification.css
+++ b/frontend/styles/view/unification.css
@@ -1,3 +1,7 @@
 tc-unification {
     flex: initial;
+    background-color: #e9f2fd;
+    min-width: 100%;
+    width: max-content;
+    padding-left: 12px;
 }
\ No newline at end of file