js-info contents page [patch]

[Per Bothner]

This fixes the second problem from the message "two small [Contents] button 
blemishes":

> (2) If js-info is enabled then the [Contents] button seems to do nothing, since 
> we
> already have the navigation bar.

        * js/info.js: Fix [Contents] link by creating a fresh page-node for the 
ToC.
        This is done by cloning the ToC from the index.html.  Cloning is needed 
because
        the same table is used for the Sidebar.

There is one blemish in that the Contents page doesn't have a scrollbar.
That is fixed by the previous js-margin.patch fix, which fixes the problematic:

div[node] {
    ....
    overflow: hidden;
}
--
        --Per Bothner
per@bothner.com   http://per.bothner.com/

js-contents2.patch
Description: Text Data