From 232e804c851322c825b5f0e627ca86b4db7d639f Mon Sep 17 00:00:00 2001
From: Martin Fischer <martin@push-f.com>
Date: Fri, 25 Feb 2022 07:30:47 +0100
Subject: checkers: make table headers sticky

---
 check_checkers.py | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'check_checkers.py')

diff --git a/check_checkers.py b/check_checkers.py
index 851c66f..1855300 100755
--- a/check_checkers.py
+++ b/check_checkers.py
@@ -186,7 +186,13 @@ def run(
     <a href=/>Back to start page</a>.</p>'''
     )
 
-    out.write('<style>.unexpected {background: #ffd2d0}</style>')
+    out.write(
+        '''<style>
+    .unexpected {background: #ffd2d0}
+    th {position: sticky; top: 0; background: #e8e8e8;}
+    table {border-spacing: 0;}
+    </style>'''
+    )
 
     out.write('<table border=1>')
     out.write('<tr><th>Input')
-- 
cgit v1.2.3