Small adjustments to the HTML CSS defaults