css tweaks so that the overall font size can be adjusted from outside this css