[PD] linux: "-font-size" startup flag -- does this work?