body {
  font-family: monospace;
}
body .repl_input {
  font-size: 100%;
  font-family: monospace;
  border: none;
  padding: 0;
  margin: 0;
  width: 80%;
}
body .repl_input:focus {
  border: none;
  outline: none;
}