.settings {
    margin-bottom: 0.8em;
}
.settings label {
    display: inline-block;
    margin-right: 0.5rem;
    cursor: pointer;
}
.settings code {
    font-size: 1rem;
}

.navigator {
    margin-top: 0.25em;
    margin-bottom: 0;
    line-height: 1.35;
    white-space: normal;
}
.navigator p {
    margin-bottom: 0.5em;
}
.navigator a {
    display: inline-block;
    margin-right: 0.5em;
    margin-bottom: 0.5em;
    padding: 0 0.25em;
    border-bottom: none;
}
.navigator a:active,
.navigator a:hover,
.navigator a:visited:active,
.navigator a:visited:hover {
    color: #5cb8ff;
}
.navigator a:visited {
    color: var(--color-blue);
}
.navigator a.active {
    background: var(--color-blue);
    color: var(--color-bg);
}