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;
}
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;
}