Orphaned Style Definitions

[Mahlon]

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.

Cheers,
Mahlon

--

Software Sam - software and tools for GNU/Linux

Mahlon Smith,
The Software Samurai
On the Web: http://www.SoftwareSam.us/