Use float for font size #22

* Font size preference can now accept floating values. More fine-grained
control of size is possible (limited only by screen pixels)