/* Security Primitives. Its own copy of the Web Security tools' role-play
   styles (websec.css): the crypto set is a section of its own, so it shares
   no file with the networking tools. Followed: the reader's system theme. */
:root {
  --bg: #ffffff;
  --card: #ffffff;
  --border: #dfe3e8;
  --text: #22272e;
  --dim: #5f6b78;
  --accent: #0077b8;
  --btn: #f4f5f7;
  --panel: #0d2436;
  --panel-text: #eaf1f6;
  --line: #9aa8b4;
  --client: #c96a12;
  --server: #2f62cc;
  --ok: #1f8a45;
  --warn: #b7791f;
  --bad: #d23b3b;
  --secret: #8e44c9;
  --flash: rgba(255, 196, 0, 0.3);
  --raw: #f7f8fa;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #0b1d2b;
    --card: #112b40;
    --border: #234862;
    --text: #eaf1f6;
    --dim: #9fb2c2;
    --accent: #4fb3ff;
    --btn: #16374f;
    --panel: #081b29;
    --panel-text: #eaf1f6;
    --line: #5b7382;
    --client: #f0a050;
    --server: #7ea6ff;
    --ok: #5fd38a;
    --warn: #f2c14e;
    --bad: #ff6b6b;
    --secret: #c79bff;
    --flash: rgba(255, 196, 0, 0.18);
    --raw: #0d2233;
  }
}

* { box-sizing: border-box; }
body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, sans-serif;
}
code, .ws-raw { font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; }
.dim { color: var(--dim); font-weight: 400; }
.ws-app { padding: 0.5rem 16px 1.5rem; max-width: 1500px; margin: 0 auto; }
.ws-head { display: flex; flex-wrap: wrap; align-items: baseline; gap: 0.2rem 0.9rem; margin: 0 0 0.45rem; }
.ws-head h1 { font-size: 1.3rem; margin: 0; letter-spacing: -0.01em; }
.ws-head p { margin: 0; color: var(--dim); font-size: 0.92rem; }
.in-viewer .ws-head { display: none; } /* the viewer page's top bar holds it */
/* --- controls */
.ws-bar { display: flex; flex-wrap: wrap; align-items: center; gap: 0.5rem 0.75rem; }
.ws-btn {
  background: var(--btn); color: var(--text); border: 1px solid var(--border);
  border-radius: 8px; padding: 0.35rem 0.9rem; font-size: 0.88rem; cursor: pointer; font-family: inherit;
}
.ws-btn:hover:not(:disabled) { border-color: var(--accent); }
.ws-btn:disabled { opacity: 0.45; cursor: default; }
.ws-btn.play { background: var(--accent); border-color: var(--accent); color: #fff; font-weight: 600; min-width: 6rem; }
.ws-btn.go { border-color: var(--accent); color: var(--accent); font-weight: 600; }
.ws-btn.bad { border-color: var(--bad); color: var(--bad); }
.ws-btn.tiny { padding: 0.05rem 0.45rem; font-size: 0.74rem; border-radius: 5px; }
.ws-app select {
  background: var(--btn); color: var(--text); border: 1px solid var(--border); border-radius: 7px;
  padding: 0.3rem 0.4rem; font-size: 0.86rem; font-family: inherit; min-width: 0;
}
/* A bullet list, wherever a tool's words take one (http.js prose). */
.bul { margin: 0.1rem 0 0; padding-left: 1.15rem; }
.bul .bul { margin: 0; }
.bul li { margin: 0.05rem 0; }
/* Inside the events list, a bullet is not an event: no rule under it, and a
   filled marker. */
.log .bul li { border-bottom: 0; list-style: disc; }
.log .bul .bul li { list-style: circle; }
/* --- TLS Concepts: keys, stamps and sealed records, one colour per key pair */
:root { --k-gold: #b8860b; --k-brown: #8b5a2b; --k-blue: #2f62cc; --k-red: #d23b3b; --k-orange: #c96a12; --k-green: #2e8b3e; --k-purple: #8e44c9; --k-pink: #c2407e; --k-teal: #11808a; --k-olive: #7a7a12; --ca: #b8860b; }
@media (prefers-color-scheme: dark) {
  :root { --k-gold: #f2c14e; --k-brown: #d49a66; --k-blue: #7ea6ff; --k-red: #ff6b6b; --k-orange: #f0a050; --k-green: #6fd38a; --k-purple: #c79bff; --k-pink: #ff8fc4; --k-teal: #4fd1d9; --k-olive: #c9c94a; --ca: #f2c14e; }
}
.gold { --k: var(--k-gold); } .brown { --k: var(--k-brown); } .blue { --k: var(--k-blue); } .red { --k: var(--k-red); } .orange { --k: var(--k-orange); }
.green { --k: var(--k-green); } .purple { --k: var(--k-purple); } .pink { --k: var(--k-pink); } .teal { --k: var(--k-teal); } .olive { --k: var(--k-olive); }
.kg, .sg, .bg { display: inline-block; vertical-align: -0.15em; color: var(--k); }
.kg svg { width: 1.9em; height: 0.95em; overflow: visible; }
.kg.p path { fill: currentColor; }
.kg.u path { fill: none; stroke: currentColor; stroke-width: 1.3; }
.sg svg, .bg svg { width: 1em; height: 1em; }
.sg circle { fill: currentColor; } .sg path { fill: none; stroke: var(--card); stroke-width: 1.8; }
.bg rect { fill: currentColor; } .bg path { fill: none; stroke: currentColor; stroke-width: 1.6; }
.kn { color: var(--k); margin-left: 0.2em; }
.rl-stage .bad:not(li) { color: var(--bad); }
.rl-card { display: flex; flex-direction: column; min-height: 0; min-width: 0; overflow: hidden;
  border: 1px solid var(--border); border-radius: 12px; background: var(--card); font-size: 0.84rem;
  transition: box-shadow 0.25s, border-color 0.25s; }
.rl-card.here { border-color: var(--accent); box-shadow: 0 0 0 3px color-mix(in srgb, var(--accent) 35%, transparent); }
.rl-card > header { flex: none; padding: 0.5rem 0.7rem 0.4rem; border-bottom: 1px solid var(--border); }
.rl-card h2 { display: flex; flex-wrap: wrap; align-items: baseline; gap: 0.1rem 0.4rem; font-size: 0.98rem; margin: 0; }
.rl-card h2 .ico { font-size: 1.1rem; }
.rl-card h2 code { font-size: 0.76rem; color: var(--dim); font-weight: 400; }
.rl-card .turn { margin-top: 0.35rem; padding: 0.25rem 0.7rem; font-size: 0.82rem; }
.rl-card.due > header { background: color-mix(in srgb, var(--accent) 10%, var(--card)); }
.rl-body { flex: 1; min-height: 0; overflow: auto; padding: 0.5rem 0.7rem 0.7rem; position: relative; }
.rl-body h3 { font-size: 0.7rem; text-transform: uppercase; letter-spacing: 0.04em; color: var(--dim); margin: 0.6rem 0 0.3rem; }
.rl-body h3:first-child { margin-top: 0; }
.rl-body .empty { color: var(--dim); font-size: 0.78rem; margin: 0.4rem 0 0; }
.rl-impostor { border-top: 4px solid var(--bad); }
.rl-card.spot { background: color-mix(in srgb, var(--bad) 9%, var(--card)); border-color: var(--bad); box-shadow: 0 0 0 3px color-mix(in srgb, var(--bad) 35%, transparent); animation: spot 1.6s ease-in-out 3; }
.rl-card.spot > header { background: color-mix(in srgb, var(--bad) 14%, var(--card)); }
@keyframes spot { 0%, 100% { box-shadow: 0 0 0 3px color-mix(in srgb, var(--bad) 35%, transparent); } 50% { box-shadow: 0 0 0 9px color-mix(in srgb, var(--bad) 20%, transparent); } }

/* The keys a party holds, on one line */
.keyring { display: flex; flex-wrap: wrap; gap: 0.2rem 0.8rem; margin-bottom: 0.45rem; }
.key-item { display: inline-flex; align-items: baseline; gap: 0.25rem; white-space: nowrap; }
.key-item small { color: var(--dim); font-size: 0.7rem; }

/* An object: its type on the title, the rest folded unless this step touched it */
.objs { display: grid; gap: 0.4rem; }
.obj { --t: var(--line); border: 1px solid var(--border); border-left: 4px solid var(--t); border-radius: 7px; background: var(--raw); }
.obj.now { box-shadow: 0 0 0 2px color-mix(in srgb, var(--t) 45%, transparent); }
.obj-head { all: unset; box-sizing: border-box; width: 100%; display: flex; flex-wrap: wrap; align-items: baseline; gap: 0.1rem 0.45rem; padding: 0.28rem 0.5rem; cursor: pointer; }
.obj-head:focus-visible { outline: 2px solid var(--accent); }
.obj-type { font-size: 0.68rem; font-weight: 800; text-transform: uppercase; letter-spacing: 0.07em; color: var(--t); }
.obj-name { font-weight: 600; overflow-wrap: anywhere; }
.obj-head::after { content: '▸'; margin-left: auto; color: var(--dim); font-size: 0.7rem; }
.obj.open .obj-head::after { content: '▾'; }
.obj-body { padding: 0 0.55rem 0.45rem; }
.obj dl { display: grid; grid-template-columns: auto minmax(0, 1fr); gap: 0.1rem 0.6rem; margin: 0; }
.obj dt { color: var(--dim); font-size: 0.76rem; }
.obj dd { margin: 0; overflow-wrap: anywhere; }
.obj s { color: var(--bad); }
.obj .stamp { margin-top: 0.35rem; padding-top: 0.3rem; border-top: 1px dashed var(--border); font-size: 0.78rem; }
.obj .obj-note { margin: 0.3rem 0 0; font-size: 0.74rem; color: var(--dim); }
.obj .cipher { font-family: ui-monospace, Menlo, Consolas, monospace; font-size: 0.74rem; margin: 0; overflow-wrap: anywhere; color: var(--dim); }
.obj .eq { margin: 0; }
.obj .checks { list-style: none; margin: 0; padding: 0; display: grid; gap: 0.2rem; }
.checks li.ok { color: var(--ok); } .checks li.bad { color: var(--bad); font-weight: 600; } .checks li.wait { color: var(--dim); }
/* An operation or a message is not a document: plain text under a label */
.op { padding: 0.15rem 0.2rem 0.2rem; border-top: 1px solid var(--border); }
.op p { margin: 0; overflow-wrap: anywhere; }
.op-name { text-transform: none; letter-spacing: 0; font-weight: 600; color: var(--text); font-size: 0.8rem; }
.op.msg .op-title { color: var(--accent); }
.op.now { background: color-mix(in srgb, var(--flash) 45%, transparent); }
#rl-fly > .flying.op { box-shadow: 0 6px 16px rgba(0, 0, 0, 0.2); border-radius: 6px; padding: 0.3rem 0.5rem; }
.op-title { font-size: 0.68rem; font-weight: 800; text-transform: uppercase; letter-spacing: 0.07em; color: var(--dim); margin-bottom: 0.15rem; }
.op .checks { list-style: none; margin: 0; padding: 0; display: grid; gap: 0.2rem; }
.op .eq { margin: 0; }
.t-encrypted-record { --t: var(--dim); }


/* The events so far */
.log { list-style: none; margin: 0; padding: 0; }
.roles .ws-bar { margin-bottom: 0.6rem; }
.roles .ws-bar .count { font-family: ui-monospace, Menlo, monospace; font-size: 0.8rem; color: var(--dim); }
.log li.now.open .log-body { background: color-mix(in srgb, var(--flash) 30%, transparent); }
.log-intro { font-size: 0.84rem; line-height: 1.45; }
.log-intro p { margin: 0 0 0.4rem; }
.log-intro .main { font-weight: 600; }
.log li { border-bottom: 1px dashed var(--border); }
.log-head { all: unset; box-sizing: border-box; width: 100%; display: grid; grid-template-columns: 1.6rem 3.4rem minmax(0, 1fr) auto; gap: 0.4rem; align-items: baseline; padding: 0.15rem 0.3rem; cursor: pointer; }
.log-head::after { content: '▸'; color: var(--dim); font-size: 0.7rem; }
.log li.open .log-head::after { content: '▾'; }
.log-head:focus-visible { outline: 2px solid var(--accent); }
.log li:hover .log-head { background: color-mix(in srgb, var(--flash) 40%, transparent); }
.log li.now .log-head { background: color-mix(in srgb, var(--flash) 75%, transparent); }
.log li.bad .act { color: var(--bad); }
.log-body { padding: 0.2rem 0.5rem 0.5rem 2.3rem; font-size: 0.8rem; line-height: 1.4; }
.log-body p { margin: 0 0 0.25rem; }
.log-body .where { font-size: 0.72rem; font-weight: 700; color: var(--dim); }
.log-body .main { font-weight: 600; }
.log-links { display: flex; flex-wrap: wrap; align-items: center; gap: 0.3rem 0.8rem; margin-top: 0.35rem !important; }
.log-links a { color: var(--accent); font-size: 0.78rem; }
.log .n { color: var(--dim); font-family: ui-monospace, Menlo, monospace; font-size: 0.72rem; }
.log .pl { white-space: nowrap; }

/* What is in the air between two cards */
#rl-fly { position: fixed; inset: 0; pointer-events: none; z-index: 50; font-size: 0.84rem; }
#rl-fly > .flying { position: fixed; margin: 0; transform-origin: top left; box-shadow: 0 10px 24px rgba(0, 0, 0, 0.3); background: var(--card); z-index: 2; }
#rl-fly .trail { position: fixed; inset: 0; width: 100%; height: 100%; overflow: visible; z-index: 1; }
#rl-fly .trail line { stroke: var(--accent); stroke-width: 3; stroke-linecap: round; stroke-dasharray: 3 8; }
#rl-fly .trail path { fill: var(--accent); }
#rl-fly .route-tag { position: fixed; z-index: 3; transform: translate(-50%, -130%); background: var(--panel); color: var(--panel-text);
  border-radius: 6px; padding: 0.1rem 0.45rem; font-size: 0.78rem; font-weight: 700; white-space: nowrap; }
/* Where a flying object will land: its place, outlined, until it arrives */
.obj.landing, .op.landing, .key-item.landing { opacity: 0.35; outline: 2px dashed var(--accent); outline-offset: 2px; }
.obj.landing > *, .op.landing > * { visibility: hidden; }

/* The stage: Alice and Bob down the sides, the wire between them, which Eve
   reads and Mallory sits on; the events under the wire. Every card has a
   fixed size and scrolls inside. */
.rl-stage {
  display: grid; gap: 12px; margin-top: 0.6rem;
  grid-template-columns: minmax(0, 1fr) minmax(0, 0.7fr) minmax(0, 0.7fr) minmax(0, 1fr);
  grid-template-rows: 270px 360px;
  grid-template-areas: "alice eve mallory bob" "alice log log bob";
}
.rl-alice { grid-area: alice; } .rl-bob { grid-area: bob; } .rl-eve { grid-area: eve; }
.rl-impostor { grid-area: mallory; } .rl-log { grid-area: log; }
.rl-alice { border-top: 4px solid var(--k-orange); }
.rl-bob { border-top: 4px solid var(--k-blue); }
.rl-eve { border-top: 4px solid var(--dim); }
@media (max-width: 900px) {
  .rl-stage { grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); grid-template-rows: 380px 260px 360px;
    grid-template-areas: "alice bob" "eve mallory" "log log"; }
}
@media (max-width: 560px) {
  .rl-stage { grid-template-columns: minmax(0, 1fr); grid-template-rows: 340px 340px 240px 260px 360px;
    grid-template-areas: "alice" "bob" "eve" "mallory" "log"; }
}

/* The objects, one colour per kind */
.t-message { --t: var(--accent); }
.t-digest { --t: var(--k-green); }
.t-ciphertext, .t-wrapped-key { --t: var(--k-purple); }
.t-signature { --t: var(--k-blue); }
.t-mac-tag { --t: var(--k-teal); }
.obj .hex { font-family: ui-monospace, Menlo, Consolas, monospace; font-size: 0.74rem; overflow-wrap: anywhere; }
.obj .text { font-family: ui-monospace, Menlo, Consolas, monospace; font-weight: 600; }
.obj .forged { color: var(--bad); }
.op .calc { font-family: ui-monospace, Menlo, Consolas, monospace; font-size: 0.78rem; }
.t-document { --t: var(--k-brown); }

/* The contract, read in a window over the stage */
.pr-doc { position: fixed; inset: 0; z-index: 60; background: rgba(0, 0, 0, 0.35); display: grid; place-items: center; padding: 16px; }
.pr-doc-win { width: min(760px, 100%); height: min(86vh, 900px); display: flex; flex-direction: column;
  background: var(--card); border: 1px solid var(--border); border-radius: 12px; box-shadow: 0 16px 40px rgba(0, 0, 0, 0.35); }
.pr-doc-win > header { display: flex; flex-wrap: wrap; align-items: baseline; gap: 0.2rem 0.6rem; padding: 0.5rem 0.8rem; border-bottom: 1px solid var(--border); font-size: 0.86rem; }
.pr-doc-win > header code { font-size: 0.72rem; overflow-wrap: anywhere; }
.pr-doc-win > header [data-close] { margin-left: auto; }
.pr-doc-body { position: relative; flex: 1; min-height: 0; overflow: auto; padding: 0.4rem 1.2rem 1.2rem; font-family: Georgia, 'Times New Roman', serif; font-size: 0.86rem; line-height: 1.5; }
.pr-doc-body h3 { text-align: center; font-size: 1.05rem; }
.pr-doc-body section { border-top: 1px dashed var(--border); padding-top: 0.4rem; }
.pr-doc-body h4 { margin: 0.2rem 0; font-size: 0.72rem; color: var(--dim); font-family: -apple-system, 'Segoe UI', Roboto, sans-serif; text-transform: uppercase; letter-spacing: 0.05em; }
.pr-doc-body p { margin: 0 0 0.5rem; }
.pr-doc-body p.mark { background: color-mix(in srgb, var(--flash) 80%, transparent); outline: 2px solid color-mix(in srgb, var(--k-brown) 50%, transparent); border-radius: 4px; padding: 0.15rem 0.3rem; }