<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Sat, Nov 9, 2013 at 8:35 AM, Matthew Flatt <span dir="ltr"><<a href="mailto:mflatt@cs.utah.edu" target="_blank">mflatt@cs.utah.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">At Sat, 9 Nov 2013 02:12:55 -0500, Matthew Butterick wrote:<br>
> The prototype repo is here:<br>
><br>
> <a href="https://github.com/mbutterick/racket-doc-redo/tree/gh-pages" target="_blank">https://github.com/mbutterick/racket-doc-redo/tree/gh-pages</a><br>
><br>
> To preview the pages in a web browser, start here:<br>
><br>
> <a href="http://mbutterick.github.io/racket-doc-redo/doc/index.html" target="_blank">http://mbutterick.github.io/racket-doc-redo/doc/index.html</a><br>
<br>
</div>That looks fantastic.<br>
<div class="im"><br>
<br>
At Sat, 9 Nov 2013 07:44:58 -0600, Robby Findler wrote:<br>
> Also, the margin comment in the "Set..." section here<br>
> <a href="http://mbutterick.github.io/racket-doc-redo/doc/quick/index.html" target="_blank">http://mbutterick.github.io/racket-doc-redo/doc/quick/index.html</a> seems to<br>
> have moved into the middle of the page.<br>
<br>
</div>I see that effect when I make my browser window narrow enough, but then<br>
the note moves back to the right margin when I make my window wider ---<br>
which may address Neil's issue with the right-margin notes. Nice.<br>
<br><br></blockquote><div><br></div><div>Oh! I didn't see that even when my browser window is the width of my screen (but I do see other margin notes in the margin) on my 11" mac laptop. Probably just a bug, then. I agree that that sounds really great (that they move into the body like that)!</div>
<div><br></div><div>Robby </div></div><br></div></div>