bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Orphaned Style Definitions


From: Patrice Dumas
Subject: Re: Orphaned Style Definitions
Date: Fri, 21 Nov 2014 00:14:55 +0100
User-agent: Mutt/1.5.20 (2009-12-10)

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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]