.ds-hl[data-v-81115a71]{background:rgba(var(--v-theme-primary),.22);color:inherit;border-radius:3px;padding:0 2px;font-weight:700}.v-theme--dark .ds-hl[data-v-81115a71]{background:rgba(var(--v-theme-primary),.48)}