In HTML variant, make table header sticky.

diff --git a/enhance_table.py b/enhance_table.py
index d37205ee11220cc828b2e4eb75163a0eb3a2c295..6dbee7c1ceff06c04bb683852b751c26b7d616dd 100755 (executable)
--- a/enhance_table.py
+++ b/enhance_table.py
@@ -140,6 +140,7 @@ table, tr, th, td { border: 1px solid black; text-align: center; }
 .district_name { writing-mode: vertical-rl; transform: rotate(180deg); }
 .bonus_data th { font-weight: normal; }
 .new_infections { font-weight: bold; }
+thead th { position: sticky; top: 0; background-color: white; }
 </style>
 <title>Berlin's Corona infection numbers, development by districts</title>
 </head>
@@ -147,6 +148,7 @@ table, tr, th, td { border: 1px solid black; text-align: center; }
 <h1>Berlin's Corona infection numbers, development by districts</h1>
 <p>Updated daily at 9pm based on data from the "Senatsverwaltung für Gesundheit, Pflege und Gleichstellung". <a href="https://plomlompom.com/repos/?p=berlin-corona-table">Source code</a>. <a href="berlin_corona.txt">Text view optimized for terminal curl</a>.</p>
 <table>
+<thead>
 <tr>
 <th>date</th>""")
     sorted_dates.reverse()
@@ -160,6 +162,7 @@ table, tr, th, td { border: 1px solid black; text-align: center; }
             # in Chromium.
             print('<th><div class="district_name">%s</div></th>' % long_form)
     print('</tr>')
+    print('</thead>')
     for date in sorted_dates:
         print('<tr class="day_row">')
         print('<td>%s</td>' % date)