pre {
 padding: 7px 7px;
 font-size: 13px;
}