Some CSS tweaks after r166477 and r166479,