[racket] Smaller verbatim in Scribble PDF?

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.