OK, so this is an argument to not change the navbar.
Meanwhile, having all links jump to an anchor below the navbar seem
like a really bad idea to me. So I lean to leaving it as is--?
(I'm leaving the newdocs.racket-lang.org with the smaller banner for
now, so more people can see if they like/dislike it.)
A few minutes ago, Matthias Felleisen wrote:
> I second this, and I like the smaller banner.
>
> On Mar 1, 2013, at 8:25 PM, Robby Findler wrote:
>
> I think we probably shouldn't change the size of the banner here
> unless we change it everywhere.
--
((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
