.ref-link {
    color: var(--ref-color);
    margin: 0 4px;
    border-bottom: 1px dashed var(--ref-color); 
    transition: background 0.2s, padding 0.2s;
}
.ref-link:hover {
    border-bottom-style: solid;
}

.qed {
    text-align: right; 
    font-size: 24px;
    margin-top: 32px;
    padding-right: 16px;
}

.final-mark {
    margin-left: auto;
    font-weight: bold;
    padding: 0 12px;
    white-space: nowrap;
    flex-shrink: 0;
}
.final-mark.induction {
    color: var(--induction-color);
}
.final-mark.contradiction {
    color: var(--contradiction-color);
}