body {
    font-family: OpenSans, ui-sans-serif, system-ui, sans-serif;
    font-size: 16px;
    padding-left: 5em;
    padding-right: 5em;
    padding-bottom: 5em;
}

div.imprint {
    margin-top: 5em;
    background-color:white;
    color: black;
    width: 100%;
    text-align: center;
}

code {
    padding-left: 2px;
    padding-right: 2px;
    background-color: #dddddd;
}

.source-code {
    background-color: #bbbbbb;
}
div.source-code {
    padding: 10px;
}
code.source-code {
    white-space: pre-wrap;
}

.debian-sources,
.yum-repo-config {
    color: #ff5555;
}