[racket-dev] Tweaked doc pages

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 <eli at 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!
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20130301/f0135e39/attachment.html>