From: Jon Rafkind (rafkind at cs.utah.edu) Date: Thu May 3 16:18:17 EDT 2012 |
|
I am using `render-metafunction' from redex/pict inside a scribble document but the resulting pict's font is too large. How can I make it smaller, or preferabbly use the same font size as the rest of the document? I found `current-font-size' from slideshow/base but that doesn't seem to be the right thing to use.
Posted on the users mailing list. |
|