From 2eaf3eff1507a3e1313748f5caef70c5a8ea5e74 Mon Sep 17 00:00:00 2001
From: Arne Keller <arne.keller@student.kit.edu>
Date: Thu, 11 Mar 2021 17:10:15 +0100
Subject: [PATCH] Fix width of type inference rules

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

diff --git a/frontend/styles/view/type-inference.css b/frontend/styles/view/type-inference.css
index 1fd139e..8bdb9d9 100644
--- a/frontend/styles/view/type-inference.css
+++ b/frontend/styles/view/type-inference.css
@@ -48,8 +48,7 @@
 }
 
 #type-inference-view #rules {
-	min-width: 25em;
-	overflow-x: hidden;
+	width: 28em;
 	overflow-y: auto;
 }