<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br></div><div>I second this, and I like the smaller banner. </div><div><br></div><br><div><div>On Mar 1, 2013, at 8:25 PM, Robby Findler wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div dir="ltr">I think we probably shouldn't change the size of the banner here unless we change it everywhere.<div><br></div><div>Robby</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Mar 1, 2013 at 7:12 PM, Eli Barzilay <span dir="ltr"><<a href="mailto:eli@barzilay.org" target="_blank">eli@barzilay.org</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">Two hours ago, Eli Barzilay wrote:<br>
> Two hours ago, Matthew Flatt wrote:<br>
</div><div class="im">> > The content column is wider than in the normal documentation<br>
> > display. That makes line-spanning paragraphs a little less nice<br>
> > to read, and it makes right-margin notes more likely to fall out<br>
> > of the display area, but those are not big problems.<br>
><br>
> Yeah, I've noticed that too. Since at the global layout level it's<br>
> all plain em constants, I can maybe shave off a few ems on both<br>
> sides so it'll still be centered and more easy to read. It will,<br>
> however, lose a little from the "centeredness" feeling.<br>
<br>
</div>This turned out to be a little harder for css-ish reasons, but it<br>
should now have the same width as in the docs.<br>
<div class="im"><br>
<br>
> > 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>
> I think that I missed this being a problem for the same reason that<br>
> Robby did... In any case, one option that I wanted to play with is<br>
> having a smaller banner logo + text which will make the whole navbar<br>
> shorter.<br>
<br>
</div>I did this now -- the "(((Racket)))" thing is half its usual size, and<br>
therefore the whole navbar takes much less space.<br>
<br>
Opinions?<br>
<div class="HOEnZb"><div class="h5"><br>
--<br>
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:<br>
<a href="http://barzilay.org/" target="_blank">http://barzilay.org/</a> Maze is Life!<br>
</div></div></blockquote></div><br></div>
_________________________<br> Racket Developers list:<br> <a href="http://lists.racket-lang.org/dev">http://lists.racket-lang.org/dev</a><br></blockquote></div><br></body></html>