Re: Default CSS?

On 7/21/25 7:27 AM, Gavin Smith wrote:
> On Mon, Jul 21, 2025 at 07:07:04AM -0700, Raymond Toy wrote:
>> Using this very simple example:
>>
>> |\input texinfo @node Top @top @example C #include <stdio.h> int main (void)
>> @{ printf ("Hello world!\n"); @} @end example @example C #include src-hl.c
>> @end example @bye |
> Your examples still don't have line breaks in them making it harder for
> me to test as I would have to enter the line breaks by hand.
So sorry!  It's the markdown support in thunderbird.  I'll have to stop 
using that until it's fixed.
>
>> I ran |makeinfo --html file.texi|. When I look at the html, I see:
>>
>> |<style type="text/css"> <!-- div.example {margin-left: 3.2em} --> </style> |
>>
>> Why is this style included? With my limited HTML knowledge, I think that
>> does nothing because of the HTML comment which is an error in a CSS style
>> block.
> You can easily check the resulting HTML file in a web browser to check
> if it works.

Sorry for the noise.  It is actually working.  I was looking at the 
wrong tags in the inspector.

>
> 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.