| 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. |
|
![[logo]](/logo.png){kind=logo}