/* Portal chrome around the game: the "← Back" link to the portal home page, styled like the other areas' back
   links but with the game's own tokens (styles.css loads first). The game's styles.css itself stays untouched. */
.portal-back {
    margin: 0 0 10px;
    font-size: var(--text-small);
}

.portal-back-link {
    color: var(--brass);
    text-decoration: none;
}

    .portal-back-link:hover,
    .portal-back-link:focus-visible {
        color: var(--brass-bright);
        text-decoration: underline;
    }