Some HTML appearance cleanup.