From d58a2a99753d56c5e7ecf7ea34a651fc66f5ea94 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Thu, 21 Dec 2023 21:27:39 -0800
Subject: [PATCH] Add overflow scroll to proof tree view.

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
---
 assets/scss/bergamot.scss | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/assets/scss/bergamot.scss b/assets/scss/bergamot.scss
index 9914bc4..1cadc6e 100644
--- a/assets/scss/bergamot.scss
+++ b/assets/scss/bergamot.scss
@@ -51,6 +51,10 @@
         }
     }
 
+    .bergamot-proof-tree {
+        overflow: auto;
+    }
+
     .bergamot-selector {
         button {
             @include var(background-color, background-color);