[docbook-apps] make.clean.html &

[Mark Craig]

Hello,

Since switching to make.clean.html=1 (with 1.76.1), I've been happy feeling 
like I can just change the CSS if need at some point to restyle HTML output in 
place.

But I'm starting to think the XSL ought to wrap a <pre> element around 
pre-formatted content, not just because of 
https://bugzilla.mozilla.org/show_bug.cgi?id=116083 but also because of 
http://www.w3.org/TR/html401/struct/text.html#h-9.1 and what I observed on an 
Apache server with mod_pagespeed.

<div class="programlisting" style="white-space: pre;">class Test
{
    public static void main(String [] args)
    {
        System.out.println("This is a program listing.");
    }
}</div>

Gets turned into this:

<div class=programlisting style="white-space: pre;">class Test
{
public static void main(String [] args)
{
System.out.println( "This is a program listing." );
}
}</div>

Is there already an RFE for wrapping pre-formatted content with <pre>?
Perhaps a quick workaround for the customization layer?

Thanks for your help.
Regards,
Mark