generate_html: "docbrowser" style ?

[Julien Bect]

Hello all,

Still doing some cleaning in the generate_html package, I just noticed 
that there is a "docbrowser" style in get_html_options ().

The help text simply says : "Design corresponding to the pages in the 
documentation browser", but which "documentation browser" is that ?

I can find no other mention of this style elsewhere in the package, and 
I don't know where to find the corresponding doc.css file.

@++
Julien