From 59c26342bc642e09f2ef746404ab4e71dc3ac267 Mon Sep 17 00:00:00 2001
From: Brian Broll <brian.broll@gmail.com>
Date: Wed, 2 Jun 2021 09:56:50 -0500
Subject: [PATCH] Add css for table scrolling. Fixes #2027

---
 .../styles/ExecutionIndexWidget.css               | 15 ++++-----------
 .../styles/ExecutionIndexWidget.scss              | 15 +++++++++++++--
 2 files changed, 17 insertions(+), 13 deletions(-)

diff --git a/src/visualizers/widgets/ExecutionIndex/styles/ExecutionIndexWidget.css b/src/visualizers/widgets/ExecutionIndex/styles/ExecutionIndexWidget.css
index 318a11103..fcc6c0cf8 100644
--- a/src/visualizers/widgets/ExecutionIndex/styles/ExecutionIndexWidget.css
+++ b/src/visualizers/widgets/ExecutionIndex/styles/ExecutionIndexWidget.css
@@ -1,21 +1,14 @@
 /**
- * This file is for any css that you may want for this visualizer.
- *
- * Ideally, you would use the scss file also provided in this directory 
- * and then generate this file automatically from that. However, you can 
- * simply write css if you prefer
+ * This file is for any scss that you may want for this visualizer.
  */
-
 .execution-index.panel-body {
-    padding: 0;
-}
+  padding: 0; }
 
 .execution-index .left {
   position: absolute;
   background-color: #eee;
-}
+  overflow-y: scroll; }
 
 .execution-index .right {
   position: absolute;
-  background-color: #eee;
-}
+  background-color: #eee; }
diff --git a/src/visualizers/widgets/ExecutionIndex/styles/ExecutionIndexWidget.scss b/src/visualizers/widgets/ExecutionIndex/styles/ExecutionIndexWidget.scss
index 11f8c5dcd..a561ba110 100644
--- a/src/visualizers/widgets/ExecutionIndex/styles/ExecutionIndexWidget.scss
+++ b/src/visualizers/widgets/ExecutionIndex/styles/ExecutionIndexWidget.scss
@@ -2,6 +2,17 @@
  * This file is for any scss that you may want for this visualizer.
  */
 
-.execution-index {
-  outline: none;
+.execution-index.panel-body {
+    padding: 0;
+}
+
+.execution-index .left {
+  position: absolute;
+  background-color: #eee;
+  overflow-y: scroll;
+}
+
+.execution-index .right {
+  position: absolute;
+  background-color: #eee;
 }