Re: [racket-dev] [racket] scribble formatting tweak?

2012-06-19 Thread Neil Van Dyke
Thanks, Matthew! I really like this. (And I know it was a lot of work to wrangle the HTML and CSS in this case.) It looks good to me as it is, although Robby's suggestion of lowercase sounds good too. Neil V. _ Racket Developers list:

Re: [racket-dev] [racket] scribble formatting tweak?

2012-06-18 Thread Robby Findler
[ moved to dev ] This looks really great! Playing around with the CSS a little, I think that it would be better if the words were all lowercase (delete text-transform: capitalize; from plt/doc/racket.css to try it out). Robby On Sat, Jun 16, 2012 at 8:21 PM, Matthew Flatt mfl...@cs.utah.edu