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