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;

}