[racket-dev] patch to enable no-sidebar option in scribble
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.mkhlv at 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