minor reformatting of CatFile.css and CatFile.html