[racket-dev] patch to enable no-sidebar option in scribble

Dear developers,

Here is a bug report with a proposed patch.

The HTML output of the scribble includes the "on this page" sidebar.
Some people do not like this sidebar, because it seems to duplicate the
table of contents.
However, it seems that there is no style option to remove it.

We propose the patch which would introduce the new style symbol 'no-sidebar.
As a style for the main part of a document, this would cause the HTML
output to not include an ``on this page'' margin box.
See the attached patch file

Andrei
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20130604/8c4875ad/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Symbol-no-sidebar-as-a-style-for-the-main-part.patch
Type: application/octet-stream
Size: 2159 bytes
Desc: not available
URL: <http://lists.racket-lang.org/dev/archive/attachments/20130604/8c4875ad/attachment.obj>