[prev in list] [next in list] [prev in thread] [next in thread] 

List:       racket-dev
Subject:    [racket-dev] non-bold font for syntactic-form names
From:       mflatt () cs ! utah ! edu (Matthew Flatt)
Date:       2011-03-13 15:03:36
Message-ID: 20110313150355.478856500BA () mail-svr1 ! cs ! utah ! edu
[Download RAW message or body]

I've pushed a change to Scribble's configuration so the default font
for syntactic forms is non-bold. I think the bold font over-emphasizes
syntactic forms, and among the alternates I tried, plain black looks
the best to me.

We can rewind or try something else if this change doesn't work.



[prev in list] [next in list] [prev in thread] [next in thread]