use ocean color theme
Fix auto-growing repl & improve theme spacing