config: Use a 9pt font by default