Updated stylesheets for REPL.