Repl.html: Fix vertical alignment