.view-source.cpupro-source.unavailable .view-source__source {
    color: #666;
}
.view-source.cpupro-source.unavailable .view-source__lines span {
    visibility: hidden;
}

.view-source.cpupro-source .view-source__source .mark {
    transition: .5s ease-out;
    transition-property: opacity, max-width, margin, padding;
    box-sizing: border-box;
    cursor: default;
}
.view-source.cpupro-source .view-source__source .mark:has(.empty-content) {
    opacity: 0;
    max-width: 0;
    margin-inline: 0;
    padding-inline: 0;
}
.view-source.cpupro-source .view-source__source .mark.noloc {
    --stripe-color: color-mix(in srgb, var(--color), var(--discovery-background-color) 60%);
    background-image: linear-gradient(135deg, transparent 37.50%, var(--stripe-color) 37.50%, var(--stripe-color) 50%, transparent 50%, transparent 87.50%, var(--stripe-color) 87.50%, var(--stripe-color) 100%);
    background-size: 5.66px 5.66px;
    background-clip: padding-box;
    border-radius: 8px;
}
.view-source.cpupro-source .view-source__source .mark.discovery-view-has-tooltip:hover {
    outline: 1px solid currentcolor;
}

.view-source.cpupro-source .spotlight {
    border: .5px solid #353535;
    background-color: #46453c;
    transition: .15s .15s ease-out;
    transition-property: background-color, color;
}
.view-source.cpupro-source .spotlight .spotlight {
    background-color: inherit;
    transition: none;
}
.view-source.cpupro-source .spotlight.function:not(:has(.spotlight.function:hover)):hover {
    background-color: #686246aa;
    transition: none;
}
.view-source.cpupro-source .spotlight.function {
    padding-left: 0;
    padding-right: 4px;
    margin-left: 2px;
    border-radius: 9px;
    text-decoration: none;
}
.view-source.cpupro-source .spotlight.function:is(:not(:hover), :has(.spotlight.function:hover)) {
    color: #aa9;
}
.view-source.cpupro-source .spotlight.function[data-marker] {
    cursor: pointer;
}
.view-source.cpupro-source .function-tag {
    border-radius: 9px;
    padding-left: 4.5px;
    padding-right: 4px;
    font-family: var(--discovery-monospace-font-family);
}

.view-source.cpupro-source .view-source__lines span.selected {
    position: relative;
    color: #a1a126;
}
.view-source.cpupro-source .view-source__lines span.selected::before {
    content: '';
    position: absolute;
    z-index: -1;
    display: block;
    background-color: #2d2e1c;
    inset: 0;
    left: -40px;
    right: -100vw;
    outline: .5px solid #6a6a24;
    margin-bottom: -1px;
}
