Re: Default CSS?

On Tue, Jul 22, 2025 at 10:34:44AM +0200, Patrice Dumas wrote:
> On Tue, Jul 22, 2025 at 02:39:12AM +0100, Gavin Smith wrote:
> > On Mon, Jul 21, 2025 at 08:03:04AM -0700, Raymond Toy wrote:
> > > > As I remember, the <!-- ... --> comments are used in <style> blocks
> > > > (as in <script> blocks) so that web browsers that do not recognise these
> > > > elements do not display the contents.  This was recommended when these
> > > > elements were first introduced to HTML even though practically all
> > > > browsers would recognise these elements today.
> > > Yeah, all browsers you probably care about support these now.  If some
> > > browser doesn't, I assume the entire web is basically broken for them.
> > 
> > Maybe we should stop outputing these strings for comments as they are more
> > likely to trip users up than do anything useful.
> 
> It seems that both style and script are in HTML 4, so we would not lose the 
> conformance with HTML4 by removing the comments.  In addition, if I
> understand well, removing the comments possible consequence on browser
> not supporting the elements would be rendering of what is inside the
> element as text, which is not so bad.

I've removed the comments for script in commit 1abdc9ae99f5 (2025-07-23).