pre.code_body {
  border: 1px solid #ccc;
  background-color: #f7f7f7;
  white-space: normal;
  padding: 10px;
  margin: 0;
  display: block;
  line-height: 14px;
  font-size: 11px;
}

pre.code_small {
  line-height: 11px;
  font-size: 9px;
}

pre.code_body pre.code_small {
  margin: 3px 0;
}

pre.code_small pre.code_body {
  margin: 3px 0;
}