/* One stylesheet for all pages. Deliberately plain: these documents are read by
   a review crawler and by people looking for a specific clause, and neither is
   helped by anything more elaborate. */
:root {
    --ink: #0f172a;
    --body: #334155;
    --muted: #64748b;
    --line: #e2e8f0;
    --panel: #f8fafc;
    --link: #2563eb;
}

* { box-sizing: border-box; }

body {
    margin: 0;
    font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
    color: var(--body);
    line-height: 1.65;
    background: #fff;
}

.wrap { max-width: 46rem; margin: 0 auto; padding: 3rem 1.5rem 4rem; }

header.site {
    border-bottom: 1px solid var(--line);
    background: var(--panel);
}
header.site .wrap { padding: 1.25rem 1.5rem; }
header.site a { color: var(--ink); text-decoration: none; font-weight: 600; }
header.site nav { float: right; font-weight: 400; }
header.site nav a { color: var(--muted); margin-left: 1.25rem; font-weight: 400; }
header.site nav a:hover { color: var(--link); }
header.site .wrap::after { content: ""; display: block; clear: both; }

h1 { color: var(--ink); font-size: 1.6rem; margin: 0 0 .35rem; }
h2 { color: var(--ink); font-size: 1.1rem; margin: 2.25rem 0 .5rem; }
h3 { color: var(--ink); font-size: .95rem; margin: 1.5rem 0 .35rem; }
p, li { font-size: .93rem; }
ul { padding-left: 1.25rem; }
li { margin: .3rem 0; }
a { color: var(--link); }

.updated { color: var(--muted); font-size: .85rem; margin-bottom: 2rem; }

.addr {
    background: var(--panel);
    border: 1px solid var(--line);
    border-radius: .5rem;
    padding: 1rem;
    font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
    font-size: .8rem;
    line-height: 1.6;
    font-style: normal;
}

.note {
    border-top: 1px solid var(--line);
    margin-top: 2.5rem;
    padding-top: 1.25rem;
    color: var(--muted);
    font-size: .8rem;
}

.lede { font-size: 1rem; }

footer.site {
    border-top: 1px solid var(--line);
    color: var(--muted);
    font-size: .8rem;
}
footer.site .wrap { padding: 1.5rem; }