Make web REPL responsive.