<div dir="ltr">Dear developers,<br><br>Here is a bug report with a proposed patch. <br><br>The HTML output of the scribble includes the "on this page" sidebar. <br>Some people do not like this sidebar, because it seems to duplicate the table of contents.<br>
However, it seems that there is no style option to remove it.<br><br>We propose the patch which would introduce the new style symbol 'no-sidebar.<br>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.<br>
See the attached patch file<br><br>Andrei<br></div>