lookandfeel: Use a proportional font size instead of a hardcoded
The user may use a font size other than the default, so hardcoded font size may distort the UI.
The user may use a font size other than the default, so hardcoded font size may distort the UI.