Re: Orphaned Style Definitions

[Patrice Dumas]

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