REPL plugin.
Tweak background colours.