some more minor ui changes

plus two additions to .gitignore I think are useful