tweak headings for CSS to distinguish h3 from h4