Minor HTML/CSS tweaks