font size too large on my debian.