diff options
Diffstat (limited to 'check_checkers.py')
-rwxr-xr-x | check_checkers.py | 8 |
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') |