[Top][All Lists]

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

Orphaned Style Definitions

From: Mahlon
Subject: Orphaned Style Definitions
Date: Thu, 20 Nov 2014 12:07:54 +0800
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.2.0

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.



Software Sam - software and tools for GNU/Linux

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

reply via email to

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