body { margin: 0 }

h1 {
    background-color: #333333;
    color: #ffffff;
    margin: 0;
    padding: 0.4em;
}

div#content { margin: 1em }

p#footer {
    font-size: small;
    text-align: center;
}

p.pre-title {
    font-size: small;
    font-weight: bold;
}

pre {
    border-left: solid medium #333333;
    margin: 0 1em;
    padding: 0.4em;
}

p.breadcrumbs { font-size: small }