Chris Morgan  [Wed, 2 Feb 2022 15:21:57 +0000 ] 
 
Use my bland colours for highlighting 
 
Imperfect, but a good start. 
 
Chris Morgan  [Wed, 12 Jan 2022 12:33:07 +0000 ] 
 
More miscellaneous style updates 
 
I should just throw this *all* away and start with a blank canvas. 
 
Chris Morgan  [Wed, 12 Jan 2022 12:28:10 +0000 ] 
 
rss_logo → feed_logo 
 
(Not atom_logo, because that’s the technology rather than the concept.) 
 
Chris Morgan  [Sat, 8 Jan 2022 09:41:14 +0000 ] 
 
Tweak page header appearance 
 
Chris Morgan  [Sat, 8 Jan 2022 08:19:05 +0000 ] 
 
Prettier header separator and text formatting 
 
Chris Morgan  [Sat, 8 Jan 2022 08:18:36 +0000 ] 
 
Cope with non-ASCII $site_name 
 
Chris Morgan  [Sat, 8 Jan 2022 07:16:55 +0000 ] 
 
Search highlighting <mark>, diff recolouring 
 
Chris Morgan  [Sat, 8 Jan 2022 06:54:52 +0000 ] 
 
Some miscellaneous style alterations 
 
Grouping some things into blocks visually, tweaking diff spacing and 
appearance, bumping minimum font size, that kind of stuff. 
 
Chris Morgan  [Sat, 8 Jan 2022 06:05:31 +0000 ] 
 
Improve time markup and tooltips 
 
Chris Morgan  [Sat, 8 Jan 2022 05:49:56 +0000 ] 
 
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. 
 
Chris Morgan  [Sat, 8 Jan 2022 05:46:39 +0000 ] 
 
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. 
 
Chris Morgan  [Sat, 8 Jan 2022 05:37:23 +0000 ] 
 
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.) 
 
Chris Morgan  [Sat, 8 Jan 2022 05:36:44 +0000 ] 
 
Bolden the current item in .page_subhead 
 
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