Add styling and history to repl.html.