<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>