dl {
    margin-bottom: 15px;
}

div.highlight pre {
    padding: 11px 14px;
}