From 8e04ce1fecbe1f93dfa3a74685284bb94029dfe7 Mon Sep 17 00:00:00 2001
From: James Hillyerd <james@hillyerd.com>
Date: Tue, 1 Jan 2019 14:27:31 -0800
Subject: [PATCH] ui: Fix monitor scrolling

---
 ui/src/main.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/ui/src/main.css b/ui/src/main.css
index 156d478..77b8557 100644
--- a/ui/src/main.css
+++ b/ui/src/main.css
@@ -139,6 +139,7 @@ header {
   /* Explicit minimums required for sizing/scrolling in nested flex+grids. */
   min-height: 0;
   min-width: 0;
+  overflow-y: auto;
 }
 
 footer {
@@ -543,9 +544,12 @@ nav.tab-bar a.active:hover {
 }
 
 .monitor th {
+  background: var(--bg-color);
   border-bottom: 2px solid var(--border-color);
   text-align: left;
   padding: 5px;
+  position: sticky;
+  top: 0;
 }
 
 .monitor td {