At Tue, 4 Jun 2013 18:55:51 -0400, Sean McBeth wrote:
> I'm not familiar with the ins and outs of Scribble, but it seems you could
> add to the scribble-style.css file:
> .tocsub{display:none;}True, but I think the 'no-sidebar style property is a fine addition. To me, the table of contents is the one that has sometimes seemed redundant, which is why 'no-toc style property exists. I can believe that 'no-sidebar is also useful, though. I've pushed the patch. Thanks! > On Tue, Jun 4, 2013 at 6:48 PM, Andrei Mikhailov <a.mk...@gmail.com> wrote: > > > 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 > > > > _________________________ > > Racket Developers list: > > http://lists.racket-lang.org/dev > > > > > _________________________ > Racket Developers list: > http://lists.racket-lang.org/dev _________________________ Racket Developers list: http://lists.racket-lang.org/dev
