I think we probably shouldn't change the size of the banner here unless we change it everywhere.
Robby On Fri, Mar 1, 2013 at 7:12 PM, Eli Barzilay <e...@barzilay.org> wrote: > Two hours ago, Eli Barzilay wrote: > > Two hours ago, Matthew Flatt wrote: > > > The content column is wider than in the normal documentation > > > display. That makes line-spanning paragraphs a little less nice > > > to read, and it makes right-margin notes more likely to fall out > > > of the display area, but those are not big problems. > > > > Yeah, I've noticed that too. Since at the global layout level it's > > all plain em constants, I can maybe shave off a few ems on both > > sides so it'll still be centered and more easy to read. It will, > > however, lose a little from the "centeredness" feeling. > > This turned out to be a little harder for css-ish reasons, but it > should now have the same width as in the docs. > > > > > I feel like the banner takes up too much space, so that I have to > > > scroll more when browsing, and I doubt that I would ever want the > > > banner content when I'm trying to read the documentation. > > > > I think that I missed this being a problem for the same reason that > > Robby did... In any case, one option that I wanted to play with is > > having a smaller banner logo + text which will make the whole navbar > > shorter. > > I did this now -- the "(((Racket)))" thing is half its usual size, and > therefore the whole navbar takes much less space. > > Opinions? > > -- > ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay: > http://barzilay.org/ Maze is Life! >
_________________________ Racket Developers list: http://lists.racket-lang.org/dev
