[PD-dev] font size tweak pushed to git... comments?