Chris Morgan [Sat, 8 Jan 2022 05:34:46 +0000 ]
Make JavaScript *actually* optional
That is, don’t emit it if it isn’t going to be used.
Chris Morgan [Sat, 8 Jan 2022 05:11:30 +0000 ]
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.
Chris Morgan [Sat, 8 Jan 2022 05:05:32 +0000 ]
Kill atnight
Whose bright idea was *that*? Serious misfeature.
Chris Morgan [Sat, 8 Jan 2022 05:04:44 +0000 ]
Sort out some more fonty stuff, mostly size
Chris Morgan [Sat, 8 Jan 2022 04:55:04 +0000 ]
Ditch the empty title box on project summary
Chris Morgan [Sat, 8 Jan 2022 04:54:18 +0000 ]
Use <th> where appropriate
Chris Morgan [Sat, 8 Jan 2022 04:41:56 +0000 ]
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.
Chris Morgan [Sat, 8 Jan 2022 03:11:00 +0000 ]
Remove line numbers from selection
Chris Morgan [Sat, 8 Jan 2022 03:05:57 +0000 ]
Nuke RSS (Atom only!), and use Atom in the OPML
Chris Morgan [Sat, 8 Jan 2022 03:04:33 +0000 ]
Initialise from git 2.34.2-1’s /usr/share/gitweb