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