checkers: make table headers sticky

1 files changed, 7 insertions, 1 deletions

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')