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