div.headline {
    margin: 10px;
}

div.small_head {
    margin-bottom: 7px;
}

div.box {
    padding: 3px 10px 0.5ex 10px;
    margin: 10px;
}


pre {
margin: 0px;
}