Small fonts in hi-res version?

[Bill Janssen]

Adam,

I believe you said there's a small font in the hi-res package.  Have
you implemented the small font style that the current distiller
produces?  That's style 9.  Do we also need a small bold font style?

Bill