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;

}