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