pre, code, .repl input, .repl .prompt span, textarea, .code_linenums {
font-family: menlo, lucida console, monospace; font-size: 8pt;
}
.code_linenums {
background:#f1f1f1; padding-top:10px; padding-bottom:9px; float:left;
}
.code_linenums span{
display:block; padding:0 12px; height: 16px;
}
.code .highlight, .code_linenums .highlight {
background: rgba(220, 30, 30, 0.1); -webkit-animation: highlight 400ms linear 1; -moz-animation: highlight 400ms linear 1; animation: highlight 400ms linear 1;
}
.code, .console, .unavailable {
background: #fff; padding: 5px; box-shadow: inset 3px 3px 3px rgba(0, 0, 0, 0.1), inset 0 0 0 1px rgba(0, 0, 0, 0.1);
}
.code {
margin-bottom: -1px; border-top-left-radius:2px; padding: 10px 0; overflow: auto;
}
.code pre{
padding-left:12px; min-height:16px; margin: 0; height: 16px;
}