A massive edit: fontsize plugin has improved a bit, and vorious small bugs were fixed.