5 commits

Author	SHA1	Message	Date
David Rowe	128583660b	Specify font sizes in pixels instead of points ... Makes the dialog layout and look consistent across different devices.	2016-02-24 12:10:19 +13:00
David Rowe	2a25509f7c	Further font fixes	2016-02-17 20:38:01 +13:00
David Rowe	d46f85c5dd	Allow noninteger font sizes	2016-02-16 14:50:28 +13:00
David Rowe	d6772545d5	Text font sizes are specified in points	2016-02-13 15:10:19 +13:00
David Rowe	f29b75b517	Add fonts	2016-02-12 13:17:27 +13:00