Use font scaling instead of 'font-desc' (issue #63)
Instead of explicitly setting a font family and size we can use a scaling factor. This way, we are compatible with any font and size the user selects. The scaling factor was chosen to match the currently hard-coded sizes.