But the real question here may be if this should be committed into git at all? Shouldn't claat export sample/codelab.md better run in a GitHub Action, instead? And the result published... somewhere? I'll raise a separate issue to further discuss that separately; until that's decided, perhaps this still makes sense.
As-is it was broken, because CSS URL changed at some point.
It looked "ugly", like https://www.marcd.dev/codelab-4-codelab/.
But the real question here may be if this should be committed into git at all? Shouldn't
claat export sample/codelab.md
better run in a GitHub Action, instead? And the result published... somewhere? I'll raise a separate issue to further discuss that separately; until that's decided, perhaps this still makes sense.