a few teaks: color-theme and undo-tree