/* Cover and password pages. Same paper, ink and type as the fact graphs. */
:root {
  --paper: #f5f1e8; --paper-2: #ece6d8; --ink: #1a1916; --ink-2: #4e4940; --ink-3: #6b6656; --rule: #cfc7b4;
  --theorem: #24357f; --lemma: #2f6653; --cex: #8a2b2b; --gold: #8a6b1d; --link: #24357f;
  --serif: "EB Garamond", "Iowan Old Style", "Palatino Linotype", Palatino, "Book Antiqua", Georgia, serif;
  --mono: "IBM Plex Mono", ui-monospace, "SF Mono", Menlo, Consolas, monospace;
}
@media (prefers-color-scheme: dark) {
  :root { --paper: #141519; --paper-2: #1d1f25; --ink: #e6e0d3; --ink-2: #b0a898; --ink-3: #8f897a; --rule: #30323a;
    --theorem: #93a3ea; --lemma: #86c2ab; --cex: #e08c8c; --gold: #d3b258; --link: #a5b3f0; }
}
* { box-sizing: border-box; }
html { background: var(--paper); color: var(--ink); font-family: var(--serif); font-size: 19px; line-height: 1.5; -webkit-text-size-adjust: 100%; }
body { margin: 0; min-height: 100vh; display: flex; flex-direction: column; }
a { color: var(--link); text-decoration: none; }
a:hover { text-decoration: underline; text-underline-offset: 3px; text-decoration-thickness: 1px; }
h1, h2, h3 { font-weight: 500; line-height: 1.15; margin: 0; }
p { margin: 0 0 1em; }
.wordmark { font-variant-caps: small-caps; letter-spacing: .12em; color: var(--ink); }
.k { font-variant-caps: small-caps; letter-spacing: .05em; color: var(--ink-3); }
.dot { display: inline-block; width: .5em; height: .5em; border-radius: 50%; background: var(--ink-3); margin-right: .45em; vertical-align: .08em; }
.dot.kind-theorem { background: var(--theorem); } .dot.kind-lemma { background: var(--lemma); } .dot.kind-counterexample { background: var(--cex); }

.top { display: flex; align-items: baseline; justify-content: space-between; gap: 1rem; padding: 1rem clamp(1rem, 4vw, 3rem); border-bottom: 1px solid var(--rule); }
.top .by { color: var(--ink-3); font-style: italic; font-size: .95rem; }
.top .by a { color: inherit; }
.foot { margin-top: auto; padding: 2rem clamp(1rem, 4vw, 3rem) 2.5rem; border-top: 1px solid var(--rule); color: var(--ink-3); font-size: .85rem; max-width: 60rem; }

.wrap { width: min(100% - 2rem, 60rem); margin: 0 auto; padding: 2rem 0 4rem; }
.titlepage { padding: 2.4rem 0 1.4rem; }
.titlepage h1 { font-size: clamp(2.2rem, 5vw, 3.4rem); line-height: 1.05; font-weight: 400; }
h2 { font-size: 1.5rem; margin: 2.6rem 0 .6rem; }
.group { font-variant-caps: small-caps; letter-spacing: .06em; color: var(--ink-3); font-weight: 500; font-size: 1rem; margin: 3rem 0 0; }

/* the contents: one entry per problem, its graph silhouette beside it */
.problems { list-style: none; padding: 0; margin: 0; }
.problem { display: grid; grid-template-columns: minmax(0, 1fr) 15rem; gap: 1rem 3rem; align-items: start; padding: 1.6rem 0 1.8rem; border-top: 1px solid var(--rule); }
.problem:last-child { border-bottom: 1px solid var(--rule); }
.problem h3 { font-size: 1.6rem; font-weight: 500; line-height: 1.2; }
.problem h3 .num { color: var(--ink-3); font-variant-numeric: tabular-nums; margin-right: .5em; }
.problem h3 a { color: var(--ink); }
.problem .field { font-style: italic; color: var(--ink-3); margin: .1rem 0 .9rem; }
.problem .formula { font-size: .9rem; overflow-x: auto; margin: .3rem 0 .8rem; }
.problem .formula .katex-display { margin: .3em 0; text-align: left; }
.problem .formula .katex-display > .katex { text-align: left; }
.problem .meta { color: var(--ink-3); font-size: .95rem; font-variant-numeric: tabular-nums; margin: 0 0 .6rem; }
.problem .meta .sep { margin: 0 .55em; }
.problem .links { font-size: .95rem; margin: 0; }
.problem .links a + a::before { content: "\00b7"; color: var(--ink-3); margin: 0 .55em; }
.thumb { display: block; border-left: 1px solid var(--rule); padding-left: 1.2rem; }
.thumb svg { display: block; width: 100%; height: auto; max-height: 22rem; }
.thumb .e { stroke: var(--ink-3); stroke-width: .6px; vector-effect: non-scaling-stroke; opacity: .35; }
.thumb .n { fill: var(--ink-3); } .thumb .n.kind-theorem { fill: var(--theorem); } .thumb .n.kind-lemma { fill: var(--lemma); } .thumb .n.kind-counterexample { fill: var(--cex); }
.thumb .ring { fill: none; stroke: var(--gold); stroke-width: 1.2px; vector-effect: non-scaling-stroke; }
.thumb:hover { text-decoration: none; }
@media (max-width: 760px) { .problem { grid-template-columns: 1fr; } .thumb { border-left: 0; padding-left: 0; max-width: 16rem; } }


/* password page */
.gate { flex: 1; display: flex; flex-direction: column; justify-content: center; width: min(100% - 2rem, 26rem); margin: 0 auto; padding: 4rem 0 8rem; }
.gate .wordmark { margin-bottom: 2.2rem; }
.gate h1 { font-size: 1.9rem; font-weight: 400; margin-bottom: .4rem; }
.gate .note { color: var(--ink-2); margin-bottom: 1.6rem; }
.gate form { display: flex; align-items: flex-end; gap: 1.2rem; }
.gate input { flex: 1; min-width: 0; font: inherit; font-size: 1.05rem; padding: .35rem 0; border: 0; border-bottom: 1px solid var(--ink-3); background: transparent; color: var(--ink); border-radius: 0; letter-spacing: .12em; }
.gate input:focus { outline: none; border-bottom-color: var(--ink); }
.gate button { font: inherit; font-size: 1rem; padding: .35rem 0; border: 0; background: none; color: var(--link); cursor: pointer; border-bottom: 1px solid transparent; }
.gate button:hover { border-bottom-color: var(--link); }
.gate .err { color: var(--cex); font-style: italic; margin: 1rem 0 0; font-size: .95rem; }
.sr { position: absolute; left: -9999px; }