From: Joe Gibbs Politz (joe at cs.brown.edu) Date: Sat Feb 21 23:02:40 EST 2015 |
|
On Sat, Feb 21, 2015 at 10:58 PM, Matthew Flatt <mflatt at cs.utah.edu> wrote: > For PDF output, you can use the string "smaller" instead of the symbol > 'smaller: > > (nested #:style "smaller" ...) Cute. That seems like it'll do the trick. Thanks!
Posted on the users mailing list. |
|