.external-link,.internal-link{color:var(--scolor);text-decoration:underline;cursor:pointer}.external-link:hover,.internal-link:hover{text-decoration:none}.tooltip-content{position:relative;display:inline;text-decoration:underline dotted #888;text-underline-offset:4px;line-height:1em;margin:0;padding:0;white-space:pre}.tippy-tooltip[data-placement^=top]>.tippy-arrow{border-width:8px 8px 0;border-top-color:#333;margin:0 3px;transform-origin:50% 0;bottom:-7px;height:auto}