/* public-docs page: isolated layout overrides. */
pre code{color:var(--app-link)}.panel p code{color:var(--app-link);background:var(--app-soft);padding:2px 5px;border-radius:4px}
@media(max-width:640px){body[data-page="public-docs"] .panel{scroll-margin-top:12px}}