Experiments with slightly larger font size, 13px.