It currently looks a bit rough, for example:
I think the original is okay, but won't block if others prefer the change :)
Ah, now I see this more than just the background colours, and is fixing the messy rounding.
Before:
After:
+1 to fixing the rounding.
No strong opinion on the colours.
Its been quite a while and there has been no other input, can we please merge, I can revert colour changes?
(The PR for this is #288)
I'm in favour of the more muted colours; the caption doesn't need such a strong highlight.
Activity
hugovk commented on Dec 14, 2025
I think the original is okay, but won't block if others prefer the change :)
hugovk commented on Dec 14, 2025
Ah, now I see this more than just the background colours, and is fixing the messy rounding.
Before:
After:
+1 to fixing the rounding.
No strong opinion on the colours.
StanFromIreland commented on Feb 5, 2026
Its been quite a while and there has been no other input, can we please merge, I can revert colour changes?
encukou commented on Feb 6, 2026
(The PR for this is #288)
I'm in favour of the more muted colours; the caption doesn't need such a strong highlight.