/* Docs and crawler pages only. Reuses site.css tokens; adds the lede under a legal-style header and the copyable server address. */
.docs-ph .lede { margin-top: 22px; max-width: 38em; }
.docs-ph .legal-date { margin-top: 18px; }
.legal .code-box { display: block; margin-top: 14px; padding: 12px 16px; border: 1px solid var(--line-2); border-radius: var(--radius); background: var(--panel); color: var(--ink); font-size: 15px; font-variant-numeric: tabular-nums; overflow-wrap: anywhere; word-break: break-all; }
.legal .tool { color: var(--ink); font-weight: 500; }
.legal .sub { color: var(--ink); font-weight: 500; margin-top: 26px; }
.legal .muted { color: var(--ink-3); }
.legal ul.items li + li { margin-top: 10px; }