Changes

#2 (Feb 19, 2021, 9:51:13 AM)

1. Avoid current HTML jump target being hidden behind page header — Hans.Olsson / githubweb
2. Fine tune padding at top of HTML pages — Hans.Olsson / githubweb