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