[racket-dev] non-bold font for syntactic-form names

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Sun Mar 13 11:03:36 EDT 2011

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.

Posted on the dev mailing list.