More misc HTML/CSS changes