Font sizes and Ubuntu versions

[Richmond]

Thanks, William de Smet.

The problem has now been "resolved" (if that's what building a whole slew of
standalones all over again means):

http://forums.runrev.com/viewtopic.php?f=20&t=19647&p=99475#p99475

This problem may also crop up with other people transferring standalones 
written for earlier recensions of operating systems onto more recent ones.

Richmond.