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
