Further HTML/CSS tweaks.