Use single-digit symbols in both HTML and TXT versions.

diff --git a/enhance_table.py b/enhance_table.py
index 5287c03a3ea30796251eb1fda25455daa25b8632..07ad84bfe20ef809b8a2aabb3c56b64efc0206b4 100755 (executable)
--- a/enhance_table.py
+++ b/enhance_table.py
@@ -32,9 +32,9 @@ translate = {
   'TS': 'Tempelhof-Schöneberg',
   'TK': 'Treptow-Köpenick',
   'sum': 'all of Berlin',
-  'wsum': 'sum of new infections for last 7 days',
-  'wavg': 'per-day average of new infections for last 7 days',
-  'winc': 'incidence (x per 100k inhabitants) of new infections for last 7 days',
+  'Σ': 'sum of new infections for last 7 days',
+  'Ø': 'per-day average of new infections for last 7 days',
+  'i': 'incidence (x per 100k inhabitants) of new infections for last 7 days',
 }
 
 # Read infections table path and output type.
@@ -170,8 +170,8 @@ th { text-align: left; vertical-align: bottom; }
         print('<tr class="day_row">')
         print('<td>%s</td>' % date)
         print('<td><table>')
-        print('<tr><th><abbr title="new infections counted">new</abbr></th></tr>')
-        for abbr in ['wsum', 'wavg', 'winc']:
+        print('<tr><th><abbr title="new infections counted">+</abbr></th></tr>')
+        for abbr in ['Σ', 'Ø', 'i']:
             print('<tr><th><abbr title="%s">%s</abbr></th></tr>' %
                   (translate[abbr], abbr))
         print('</table></td>')
@@ -224,7 +224,7 @@ HTML view: https://plomlompom.com/berlin_corona.html
         # Week table header.
         if weekday_count == 0:
             print(' '*10, '  '.join(sorted_districts),
-                  'wsum', ' wavg', 'winc')
+                  '   Σ', '    Ø', '   i')
             week_start_date = date
 
         # Day data line.
@@ -259,8 +259,8 @@ HTML view: https://plomlompom.com/berlin_corona.html
             weekly_incs += [db[district][week_start_date]['week_incidence']]
         print()
         print('district stats for week from %s to %s:' % (date, week_start_date))
-        print(' '*7, '    '.join(sorted_districts[1:]))
-        print('wsum', ' '.join(['%5.1f' % wsum for wsum in weekly_sums]))
-        print('wavg', ' '.join(['%5.1f' % wavg for wavg in weekly_avgs]))
-        print('winc', ' '.join(['%5.1f' % winc for winc in weekly_incs]))
+        print(' '*4, '    '.join(sorted_districts[1:]))
+        print('Σ', ' '.join(['%5.1f' % wsum for wsum in weekly_sums]))
+        print('Ø', ' '.join(['%5.1f' % wavg for wavg in weekly_avgs]))
+        print('i', ' '.join(['%5.1f' % winc for winc in weekly_incs]))
         print()