div.highlight pre {
    border: 1px solid;
    padding: 7px;
}