Re: Default CSS?
Gavin Smith <[email protected]> Tue, 22 Jul 2025 02:39:12 +0100
| Newsgroups | gmane.comp.tex.texinfo.general |
|---|---|
| Message-ID | <aH7rwGXNNin4TItu@beigestar> |
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.