summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xcheck_checkers.py8
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')