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.
>
> 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.
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.
The contents also seem to vary depending on what I texi file. For
> example, when building the Maxima user manual, it contains
> |ul.toc-numbered-mark {list-style: none}| instead.
>
> ​
Yes, that's because we only output the CSS that is needed for the actual
HTML that is output, not CSS rules for all the possible output as this
would often be excessive.
