From 26542fd87e874aa487752ae92395c68053b8e8b7 Mon Sep 17 00:00:00 2001
From: Christian Heller <c.heller@plomlompom.de>
Date: Fri, 3 Jul 2020 23:53:20 +0200
Subject: [PATCH] In HTML variant, make table header sticky.

---
 enhance_table.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/enhance_table.py b/enhance_table.py
index d37205e..6dbee7c 100755
--- 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)
-- 
2.30.2