.reasonable-width {
  max-width: 400px;
}
.reasonable-width-wider {
  max-width: 600px;
}
div.panel-body figure.highlight pre {
  margin-bottom: 0;
}