stylesheet: Make h3 font size a little bigger.