Add overflow scroll to proof tree view.

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2023-12-21 21:27:39 -08:00 · 2023-12-21 21:27:39 -08:00 · d58a2a9975
parent a83268a6e3
commit d58a2a9975
1 changed files with 4 additions and 0 deletions
--- 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);