change theme and repl output prefix