...with just one tweak. I reversed the input area color because white was just... too bright.
37 div.input_area {
38 /* Input area with dark background; */
39 background-color: #1e222a; /* added */
40 border-radius: 0px;
41 border: 1px solid #4f5b66;
42 }
43 /* Set light on dark text; */
44 div.CodeMirror-code pre {
45 color: white; /* added */
46 }
Cheers!