<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Mar 1, 2013 at 1:33 PM, 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:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div class="im">At Wed, 27 Feb 2013 11:36:54 -0500, Eli Barzilay wrote:<br>
> It's now available at <a href="http://newdocs.racket-lang.org" target="_blank">newdocs.racket-lang.org</a>.<br>
><br>
> There are two things that need to be addressed:<br>
><br>
</div><div class="im">> * The layout should have the main column centered. (I thought that it<br>
> was fine initially if the left column is part of the contents.)<br>
<br>
</div>That column alignment looks good, now. Also, I like the PDF links.<br>
<br>
<br>
The content column is wider than in the normal documentation display.<br>
That makes line-spanning paragraphs a little less nice to read, and it<br>
makes right-margin notes more likely to fall out of the display area,<br>
but those are not big problems.<br>
<div class="im"><br>
<br></div></blockquote><div><br></div><div style>I like this now, too.</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<div class="im">
> * There might be a need for a shorter banner for the textual pages, to<br>
> save some space. (I'm not sure whether this is really needed...)<br>
<br>
</div>I feel like the banner takes up too much space, so that I have to<br>
scroll more when browsing, and I doubt that I would ever want the<br>
banner content when I'm trying to read the documentation.<br>
<br></blockquote><div> <br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
It may be more that I'm just used to the view without a banner. A<br>
potential plus of having the banner is that it's more clear when I'm<br>
looking at the web site instead of local documentation.<br>
<br>
<br>
Would it make sense to add the banner only on the main documentation<br>
page? That would provide more consistency (especially when clicking<br>
"Documentation" in the banner), but it would take less space when<br>
reading documentation, searching, etc.<br>
<div class=""><div class="h5"></div></div></blockquote></div><br></div><div class="gmail_extra"><br></div><div class="gmail_extra"><div>Most of the time when I'm reading the docs, I've clicked a link that goes to an anchor that's not the top of the page.</div>
<div><br></div><div>In that spirit, could we change the section links to use an anchor at the top of the docs? That would probably have the same effect as Matthew's suggestion. Not sure if it easier or otherwise better, tho.</div>
<div><br></div><div>Robby</div><div><br></div></div></div>