div.banner {
    background-color: SlateBlue;
    border-radius: 0.75em;
    padding-left: 0.75em;
    padding-bottom: 0.15em;
    padding-top: 0.05em;
}
/* crude substitute for eventual breadcrumbs */
div.banner:after {
    content: "  - THOK.ORG";
}