From 59917cca458f21ea40c374055f1c931918a833ae Mon Sep 17 00:00:00 2001
From: j433866 <j433866@gmail.com>
Date: Thu, 29 Aug 2019 10:18:52 +0100
Subject: [PATCH] Add overflow CSS rule to fix scrolling. Fixes #626

---
 src/web/stylesheets/layout/_structure.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/web/stylesheets/layout/_structure.css b/src/web/stylesheets/layout/_structure.css
index 3eed5e2d..62ea1f9d 100755
--- a/src/web/stylesheets/layout/_structure.css
+++ b/src/web/stylesheets/layout/_structure.css
@@ -45,6 +45,10 @@ div#output {
     position: relative;
 }
 
+#operations {
+    overflow: auto;
+}
+
 .split.split-horizontal, .gutter.gutter-horizontal {
     height: 100%;
     float: left;