table#portal-links {
    background-color: rgb(0,0,0);
}

div.portal-toolbar {
    margin: 0 0 3px 0;
    background-color: rgb(0,0,0);
    color: rgb(255,255,255);
    display: block;
    font-size: 0.8em;
    padding: 2px;
    display: none;
}

div.portal-toolbar ul {
    display: inline;
    list-style: none;
    padding: 0;
    margin: 0;
    text-align: right;
}

div.portal-toolbar ul li {
    display: inline;
    padding: 0;
    margin: 0;
}

div.portal-toolbar ul li+li:before {
    content: "|";
}

div.portal-toolbar a {
    color: rgb(255,255,255);
    text-decoration: none;
    padding: 0 0.5em;
}