Changed CSS file name.

Also made some small formatting updates. No style changes.