On Thu, Nov 20, 2014 at 12:07:54PM +0800, Mahlon wrote:
> 20 Nov 2014
>
> RE: Orphaned style definitions
>
> VERSION: makeinfo 5.2 (built from source on Fedora 20 x86_64)
>
> This is not really a bug, just a heads-up:
>
> There is a block of styles defined in the header of the HTML output.
> Two of these styles:
>
> pre.menu-comment {font-family: serif}
>
> pre.menu-preformatted {font-family: serif}
>
> are defined but never invoked. Instead, menus in the HTML are
> generated using:
>
> <table class="menu"> ... </table>
>
> which is certainly a better method.
>
> Clearly, these orphaned style definitions do no harm, and you may
> have some idea for using them in the future, but if not, they could
> be eliminated from the <style> block in the HTML header.
They are both used, menu-comment is used for a construct like
@menu
* (mmmmmm)::
Hoho
@end menu
For what's between menu entries.
menu-preformatted is used in a very special and most likely illegal
Texinfo case of a @menu in a preformatted environment, such as
@example
@menu
* (jjjjjj)::
truc
@end menu
@end example
--
Pat
