body {
        font-weight: normal;
        font-size: 13px;
        margin: 15px;
        color: black;
        font-family: Arial, Helvetica, sans-serif;
        background-color: white;
}

a:link, a:visited, a:active {
        color: #808080;
        text-decoration: none;
        background-color: transparent;
}

a:hover {
        color: #000000;
        text-decoration: underline;
        background-color: #eeeeee;
}

div.leftbarlink {
        padding-bottom: 1.0em;
        text-align: center;
}

div.leftbarlink::after {
        content: "\A...";
        white-space: pre;
}