/* dots for optimization status */
.dot {
    border-radius: 50%;
    border: 0.1px solid black;
    width: 0.7rem;
    height: 0.7rem;
}

.dot.optimized {
    background-color: var(--color-green-original);
    border: 2px solid var(--color-green-original);
    box-shadow: 0 0 4px var(--color-green-original);
}

.dot.unoptimized {
    background-color: var(--color-background);
    border: 2px solid var(--color-primary-midrange-grey);
    box-shadow: none;
}

/* corresponding text colors */
p.text_optimized {
    color: var(--color-green-original);
}

p.text_unoptimized {
    color: var(--color-primary-midrange-grey);
}