Repl.html: Reduce margins