User configurable font choice. Fixes #351

just as we're trying to get rid of jQuery ;)