From bd8a7a26cfe91dc105ba6344fdc81327911a0e4a Mon Sep 17 00:00:00 2001
From: Arne Keller <arne.keller@student.kit.edu>
Date: Mon, 8 Mar 2021 08:25:39 +0100
Subject: [PATCH] Fix scrolling of type inference view

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

diff --git a/frontend/styles/view/type-inference.css b/frontend/styles/view/type-inference.css
index 05cc4fa..9606e4d 100644
--- a/frontend/styles/view/type-inference.css
+++ b/frontend/styles/view/type-inference.css
@@ -17,6 +17,7 @@
 	padding: 10px;
 	box-sizing: border-box;
 	margin-top: 0;
+	overflow-y: scroll;
 }
 
 tc-proof-tree {