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

2013-06-06 Thread Matthew Flatt 
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

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

2013-06-04 Thread Andrei Mikhailov 
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


0001-Symbol-no-sidebar-as-a-style-for-the-main-part.patch
Description: Binary data
_
  Racket Developers list:
  http://lists.racket-lang.org/dev

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

2013-06-04 Thread Sean McBeth 
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;}


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