[racket-dev] Tweaked doc pages

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!