we­b9pt – Nine-point web list­ings

A small patch to web list­ing macros that uses the 9pt file from the vari­size bun­dle to make the body text of a web list­ing ap­pear in 9pt.