modified font size for solarized-light theme