Changed theme, added indent highlighting, other assorted changes.