.refcolumn-inline {
    margin: auto !important;
    margin-bottom: 1rem !important;
    float: none !important;
    clear: right !important;
    width: auto !important;
}

.navsettop {
    position: fixed;
    z-index: 1;
    background: #a7b0be;
    top: 0;
    left: 0;
}

.tocset {
    position: fixed;
    overflow-y: scroll;
    top: 0rem;
    bottom: 0;
    padding: 0rem 0.5rem 0.5rem 0.5rem;
    background-color: hsl(216, 15%, 70%);
    border-top: 6rem solid hsl(216, 15%, 70%);
}

/*
.techinside {
    color: black;
    text-decoration-line: underline;
    text-decoration-style: dotted;
}
*/