Minor: CSS reformatting.