Remove support for ancient browsers

OK, so String.prototype.padStart is only 5 years ago, but the rest is
all well over a decade ago, some two.

Kill javascript-timezone altogether

Y’know what, I don’t like it in its present shape at all. I could see my
way to replacing it with something similar from scratch, but the current
implementation is just not my cup of coffee. I don’t even drink coffee.

Change the time markup

I didn’t much like the old. This is still imperfect, but somewhat
better. (Note that javascsript-timezone clobbers the title attribute.)

Bolden the current item in .page_subhead

Make JavaScript *actually* optional

That is, don’t emit it if it isn’t going to be used.

Ditch some silly trailing <br>s

Half of these do nothing, and the other half I *want* to do nothing.
They’re all a crutch for better layout markup and styles.

Kill atnight

Whose bright idea was *that*? Serious misfeature.

Sort out some more fonty stuff, mostly size

Ditch the empty title box on project summary

Use <th> where appropriate

Comparatively light markup/style changes

• Better markup
• Went from [search, page_nav] to [header[page_nav, search]]
• Less float, more flex
• Normal font size rather than small, removed border around everything.

More invasive stuff coming shortly.

Remove line numbers from selection

Nuke RSS (Atom only!), and use Atom in the OPML

Initialise from git 2.34.2-1’s /usr/share/gitweb