div.panel-body div.highlight {
  border-radius: 0 0 4px 4px;
}
div.panel-body pre {
  margin: 0;
  border: none;
  border-radius: 0 0 4px 4px;
}
div.panel-body {
  padding: 0;
}