/* Keep Discord reachable at the upper-right without crowding navigation. */
body > header{position:relative;padding-right:max(84px,calc((100vw - 1240px)/2 + 60px))}
.portal-discord{position:absolute;top:20px;right:max(24px,calc((100vw - 1240px)/2));display:flex;align-items:center;justify-content:center;width:44px;height:44px;border:1px solid #5865f266;border-radius:6px;background:#5865f21a;color:#c3c8ff}
.portal-discord svg{display:block;width:28px;height:28px}
.portal-discord:hover{background:#5865f2;color:#fff;text-decoration:none}
.portal-discord:focus-visible{outline:2px solid var(--cyan);outline-offset:4px}
@media(max-width:680px){body > header{padding-right:80px}.portal-discord{top:16px;right:20px}}