Lars Eggert
Lars Eggert
Can definitely change the color - what should the COMMENT box color be when there is also a DISCUSS? Anyone remember what it used to be like?
Thanks, so at least it's not a regression with bs5.
This will hopefully be fixed by #4082
It's not fixed, but I think it needs to be fixed with a new agenda note rather that with a DT patch.
I'm adding the colored header - as a colored badge.
> We may want to phase this in? We should definitely deploy on sandbox first and ask for feedback.
@rjsparks should we chat about how to make this available for community feedback?
~~I'll look I to adding another button for deployment testing via `main`.~~ Actually, it will require a lot of work to rework the PR for that. I think deploying the...
@rjsparks I think this is ready for you to take a look (htmlization and pdfization of various documents). If you think it's ready, maybe we do public testing?
@martinthomson the recent CSS changes don't work in the Weasyprint PDFization: