Eclipse default font size.