div.navigation {
    font-family: sans-serif;
    padding: 8pt;
    top: 0px;
    left: 0px;
    position: fixed;
    background-color: rgb(51,51,51);
    z-index: 100;
    width: 100%;
    overflow: auto;
    white-space: nowrap;
}

div.navigation a {
    padding: 0pt 5pt;
    color: lightgrey;
    text-decoration: none;
    white-space: nowrap;
}
div.navigation a.service {
    padding: 0pt 3pt;
    color: white;
}
div.navigation a.selected {
    /* padding-right: 10pt; */

    border-style: solid;
    border-color: gray;
}

div.navigation a.variant {
    padding: 0pt 6pt;
    font-style: italic;
    font-size: small;
}