.hover-highlight-red[data-v-0d4a56b8]:hover{border-color:red}