.hltool[data-v-71607f74]{color:inherit;text-decoration:none;transition:border-color .15s}.hltool[data-v-71607f74]:hover{border-color:var(--ink)}