Removed some unsightly themes and fine-tuned init.el and user.el