A couple of minor style cleanups and a favicon.