minor edits to gif.css and userpages.js