[racket-dev] Tweaked doc pages

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!