Use default font size instead of hard-coding size (which does not work well with high DPI displays).
Use default font size instead of hard-coding size (which does not work
well with high DPI displays).

shaurz/devo