[Top][All Lists]

[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

* (mmmmmm)::


@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

* (jjjjjj)::
@end menu
@end example


reply via email to

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