Tweak repl css