Modify themes and SLIME location