/* MiniZinc Challenge problems: styled to match jpjsolutions.com
   ("Logo, navy night" palette + Manrope / JetBrains Mono, see src/palette.ts in jpjj.github.io).
   Fonts are self-hosted (SIL OFL, licences next to the files): no external requests, no cookies. */
@font-face{font-family:"Manrope";src:url(fonts/manrope-latin-wght-normal.woff2) format("woff2-variations"),url(fonts/manrope-latin-wght-normal.woff2) format("woff2");font-weight:200 800;font-style:normal;font-display:swap;
  unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:"Manrope";src:url(fonts/manrope-latin-ext-wght-normal.woff2) format("woff2-variations"),url(fonts/manrope-latin-ext-wght-normal.woff2) format("woff2");font-weight:200 800;font-style:normal;font-display:swap;
  unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}
@font-face{font-family:"JetBrains Mono";src:url(fonts/jetbrains-mono-latin-wght-normal.woff2) format("woff2-variations"),url(fonts/jetbrains-mono-latin-wght-normal.woff2) format("woff2");font-weight:100 800;font-style:normal;font-display:swap;
  unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}

:root{
  color-scheme:dark;
  /* jpjsolutions.com brand tokens */
  --bg:#0b1626; --surface:#122238; --ink:#eef3f8; --muted:#a0abb9; --line:#2b3a4e;
  --accent:#4aa3e8; --accent-2:#c9d6e6; --on-accent:#06121f; --gold:#f4b740;
  --display:"Manrope",system-ui,sans-serif; --body:"Manrope",system-ui,sans-serif;
  --mono:"JetBrains Mono",ui-monospace,SFMono-Regular,Menlo,monospace;
  /* CP-SAT rank scale: a single blue ramp, brightest = best */
  --r1:#4aa3e8; --r2:#2a76b8; --r3:#1f5482; --r4:#193a5c; --r6:#1e2d43;
  --r1t:#06121f; --r2t:#ffffff; --r3t:#e6f1fb; --r4t:#c9dcef; --r6t:#a0abb9;
  --paper:#e3edf7; --shade:#060d18;
  --amber:var(--gold); --soft:#1f4a70; --cell:#1a2c45; --focus:var(--gold);
  /* figure series: logo blue, website gold, then three companions */
  --c1:#4aa3e8; --c2:#f4b740; --c3:#3cc79a; --c4:#f07a8f; --c5:#a993f0;
  --c1s:#1c4166; --c2s:#4a3a17; --c3s:#17483b; --c4s:#4f2533; --c5s:#352d5a;
}
*{box-sizing:border-box}
html{-webkit-text-size-adjust:100%}
body{margin:0;background:var(--bg);color:var(--ink);font:400 17px/1.55 var(--body);-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility}
::selection{background:var(--accent);color:var(--on-accent)}
a{color:var(--accent);text-underline-offset:3px}
a:focus-visible,button:focus-visible,input:focus-visible,select:focus-visible{outline:3px solid var(--focus);outline-offset:2px;border-radius:4px}
code{font-family:var(--mono);font-size:.82em;background:var(--cell);padding:.08em .4em;border-radius:4px;text-transform:none;letter-spacing:0}
h1,h2,h3{font-family:var(--display);line-height:1.12;margin:0}
.wrap{max-width:1180px;margin:0 auto;padding:0 20px}

/* ---------- index hero */
.hero{padding:44px 0 20px}
.hero h1{font-weight:500;font-size:clamp(2.2rem,5vw,3.8rem);line-height:1.04;letter-spacing:-.025em;max-width:17ch;text-wrap:balance}
.hero .intro{max-width:64ch;color:var(--muted);font-size:1.08rem;margin:16px 0 0}
.board{margin:30px 0 10px;background:var(--surface);border:1px solid var(--line);border-radius:14px;padding:20px 20px 14px}
.board-head{display:flex;flex-wrap:wrap;gap:8px 28px;align-items:baseline;justify-content:space-between;margin-bottom:14px}
.board-head p{margin:0}
.bignum{font-family:var(--display);font-weight:600;font-size:clamp(1.35rem,2.5vw,1.9rem);letter-spacing:-.015em;line-height:1.2}
.bignum b{color:var(--accent);font-weight:700}
.matrix-scroll{overflow-x:auto;padding:2px}
.matrix{min-width:760px;display:grid;grid-template-columns:70px 1fr;gap:6px 10px;align-items:center}
.matrix .rl{font-family:var(--mono);font-size:.72rem;letter-spacing:.06em;text-transform:uppercase;color:var(--muted);text-align:right}
.mrow{display:grid;grid-template-columns:repeat(3,1fr);gap:10px}
.yr{display:grid;grid-template-columns:repeat(20,1fr);gap:2px}
.m{aspect-ratio:1;border-radius:3px;display:block;min-width:0}
.m:hover,.m:focus-visible{outline:2px solid var(--ink);outline-offset:1px}
.ylab{font-family:var(--mono);font-size:.75rem;letter-spacing:.08em;color:var(--muted);text-align:center}
.r1{background:var(--r1);color:var(--r1t)} .r2{background:var(--r2);color:var(--r2t)}
.r3{background:var(--r3);color:var(--r3t)} .r4{background:var(--r4);color:var(--r4t)}
.r6{background:var(--r6);color:var(--r6t)}
.r-na{background:repeating-linear-gradient(45deg,var(--cell) 0 3px,transparent 3px 6px);color:var(--muted)}
.legend{display:flex;flex-wrap:wrap;gap:6px 16px;margin-top:14px;font-size:.85rem;color:var(--muted)}
.legend span{display:inline-flex;align-items:center;gap:6px}
.legend i{width:14px;height:14px;border-radius:3px;display:inline-block}
.tip{position:fixed;pointer-events:none;background:var(--ink);color:var(--bg);padding:6px 10px;border-radius:6px;font-size:.85rem;max-width:260px;z-index:10;display:none}

.medals{margin:26px 0 8px}
.medals summary{cursor:pointer;font-weight:700}
.tablewrap{overflow-x:auto}
.medals table{border-collapse:collapse;margin-top:10px;font-size:.92rem;min-width:620px}
.medals th,.medals td{padding:6px 12px;border-bottom:1px solid var(--line);text-align:left}
.medals thead th{color:var(--muted);font-weight:400}
.na{color:var(--muted);font-style:italic}

/* ---------- filters + list */
.finder{margin-top:30px;padding-top:26px;border-top:1px solid var(--line)}
.finder h2{font-size:clamp(1.6rem,3vw,2.1rem);font-weight:500;letter-spacing:-.02em}
.controls{display:grid;grid-template-columns:1fr auto auto;gap:12px;margin:16px 0 12px}
.search::placeholder{color:var(--muted)}
.search{width:100%;font:inherit;font-size:1.05rem;padding:12px 14px;border:1.5px solid var(--line);border-radius:10px;background:var(--surface);color:var(--ink)}
.seg{display:inline-flex;border:1.5px solid var(--line);border-radius:10px;overflow:hidden;background:var(--surface)}
.seg button{font:inherit;white-space:nowrap;border:0;background:transparent;color:var(--ink);padding:0 14px;cursor:pointer;min-height:44px}
.seg button[aria-pressed=true]{background:var(--accent);color:var(--on-accent);font-weight:600}
.sort{font:inherit;padding:0 12px;border:1.5px solid var(--line);border-radius:10px;background:var(--surface);color:var(--ink);min-height:44px}
.chips{display:flex;flex-wrap:wrap;gap:8px}
.chips button{font:inherit;font-size:.9rem;border:1.5px solid var(--line);background:var(--surface);color:var(--ink);padding:5px 12px;border-radius:999px;cursor:pointer}
.chips button:hover{border-color:var(--accent)}
.chips button[aria-pressed=true]{background:var(--accent);border-color:var(--accent);color:var(--on-accent);font-weight:600}
.count{color:var(--muted);margin:16px 0 8px;font-size:.95rem}
.list{list-style:none;margin:0;padding:0;border-top:1px solid var(--line)}
.item{border-bottom:1px solid var(--line)}
.item a.row{display:grid;grid-template-columns:1fr 210px;gap:18px;padding:16px 6px;color:inherit;text-decoration:none;align-items:center}
.item a.row:hover{background:var(--surface)}
.item a.row:hover h3{color:var(--accent)}
.item h3{font-size:1.2rem;font-weight:600;letter-spacing:-.01em;margin-top:2px}
.item .g{margin:4px 0 6px;color:var(--muted)}
.item .y{font-family:var(--mono);font-size:.72rem;letter-spacing:.1em;text-transform:uppercase;color:var(--muted)}
.tagline{display:flex;flex-wrap:wrap;gap:6px;margin-top:2px}
.tg{font-size:.78rem;padding:1px 8px;border-radius:999px;background:var(--cell);color:var(--ink)}
.mini{display:grid;grid-template-columns:repeat(4,1fr);gap:4px}
.mini div{border-radius:6px;padding:4px 0 3px;text-align:center;line-height:1.1}
.mini b{display:block;font-size:1rem}
.mini small{font-size:.68rem;opacity:.85}
.empty{padding:30px 0;color:var(--muted)}
.empty button{font:inherit;color:var(--accent);background:none;border:0;text-decoration:underline;cursor:pointer;padding:0}

/* ---------- problem page */
.top{padding:18px 0 0}
.back{font-family:var(--mono);font-size:.8rem;letter-spacing:.08em;text-transform:uppercase;font-weight:500;text-decoration:none}
.back:hover{text-decoration:underline}
.back::before{content:"← "}
.phead{padding:22px 0 18px;border-bottom:1px solid var(--line)}
.meta{margin:0 0 12px;color:var(--muted);font-family:var(--mono);font-size:.74rem;letter-spacing:.1em;text-transform:uppercase;display:flex;flex-wrap:wrap;align-items:center;gap:6px 10px}
.meta::before{content:"";width:6px;height:6px;border-radius:50%;background:var(--accent);flex:none}
.prob h1{font-weight:500;font-size:clamp(2rem,4.2vw,3.2rem);line-height:1.06;letter-spacing:-.025em;text-wrap:balance}
.lede{font-size:1.15rem;margin:10px 0 12px;max-width:62ch}
.tags{display:flex;flex-wrap:wrap;gap:8px}
.tag{font-size:.85rem;padding:3px 11px;border-radius:999px;background:var(--surface);border:1px solid var(--line);color:var(--ink);text-decoration:none}
.tag:hover{border-color:var(--accent)}
.pgrid{display:grid;grid-template-columns:minmax(0,1fr) 380px;gap:44px;padding:26px 0 40px}
.pmain{max-width:70ch}
.pmain h2{font-size:1.4rem;margin:32px 0 8px;font-weight:600;letter-spacing:-.01em}
.pmain p{margin:0 0 12px}
.cons{margin:0 0 14px;padding-left:22px}.cons li{margin:3px 0}
.globs{color:var(--muted)}
.refs{padding-left:22px}.refs li{margin:5px 0}
.rk-kind{font-size:.78rem;color:var(--muted);border:1px solid var(--line);border-radius:4px;padding:0 5px;margin-left:4px}
.auth{color:var(--muted);font-size:.92rem}
.fig{margin:0 0 6px;background:var(--surface);border:1px solid var(--line);border-radius:12px;padding:14px}
.fig figcaption{font-size:.88rem;color:var(--muted);margin-top:6px}
.schem{font-style:italic}
.viz{width:100%;height:auto;display:block}
.fig .viz-scroll{overflow-x:auto}
@media (max-width:640px){.fig .viz{min-width:600px}}
.v-txt{fill:var(--muted);font:14px var(--body)}.v-sm{font-size:12.5px}
.v-acc{fill:var(--accent)} .v-soft{fill:var(--soft)} .v-cell{fill:var(--cell)} .v-empty{fill:var(--cell)}
.v-node{fill:var(--surface);stroke:var(--muted);stroke-width:2}
.v-frame{fill:none;stroke:var(--muted);stroke-width:2}
.v-grid{stroke:var(--line);stroke-width:1}
.v-edge{stroke:var(--line);stroke-width:1.6}
.v-path{stroke:var(--accent);stroke-width:2.6;fill:none}
.v-path2{stroke:var(--muted);stroke-width:2.2;stroke-dasharray:6 5;fill:none}
.v-arrow{stroke:var(--muted);stroke-width:2;fill:none}.v-arrowhead{fill:var(--muted)}
.v-axis{stroke:var(--muted);stroke-width:1.5}
/* puzzle grids drawn as paper (light cells, dark shading) whatever the page theme */
.v-paper{fill:var(--paper)} .v-shade{fill:var(--shade)}
.v-txt-paper{fill:var(--shade);font:14px var(--body)} .v-txt-shade{fill:var(--muted);font:700 13px var(--body)}
.v-ink{fill:var(--ink)} .v-inks{stroke:var(--ink);fill:none} .v-bg{fill:var(--surface)} .v-mut{fill:var(--muted)} .v-muts{stroke:var(--muted);fill:none}
.v-lines{stroke:var(--line);fill:none} .v-tealS{stroke:var(--accent);fill:none}
.v-txt-ink{fill:var(--ink);font:14px var(--body)} .v-txt-on{fill:var(--on-accent);font:700 13px var(--body)} .v-bold{font-weight:700}
.f-c1{fill:var(--c1)} .f-c2{fill:var(--c2)} .f-c3{fill:var(--c3)} .f-c4{fill:var(--c4)} .f-c5{fill:var(--c5)}
.f-c1s{fill:var(--c1s)} .f-c2s{fill:var(--c2s)} .f-c3s{fill:var(--c3s)} .f-c4s{fill:var(--c4s)} .f-c5s{fill:var(--c5s)}
.s-c1{stroke:var(--c1)} .s-c2{stroke:var(--c2)} .s-c3{stroke:var(--c3)} .s-c4{stroke:var(--c4)} .s-c5{stroke:var(--c5)}

.pside{align-self:start;position:sticky;top:16px}
.pside h2{font-size:1.4rem;font-weight:600;letter-spacing:-.01em}
.side-intro{color:var(--muted);font-size:.92rem;margin:6px 0 12px}
.strip.strip-m{display:none}
.strip{display:grid;grid-template-columns:repeat(auto-fit,minmax(64px,1fr));gap:6px;margin-bottom:18px}
.chip{border-radius:8px;padding:7px 6px;text-align:center;line-height:1.15}
.chip span{display:block;font-family:var(--mono);font-size:.68rem;letter-spacing:.06em;text-transform:uppercase}.chip b{display:block;font-family:var(--display);font-weight:700;font-size:1.35rem}
.chip small{font-size:.72rem;opacity:.85}
.reflegend{font-size:.8rem;color:var(--muted);margin:-8px 0 14px}
.cat{background:var(--surface);border:1px solid var(--line);border-radius:12px;padding:12px 14px;margin-bottom:12px}
.cat h3{font-size:1.02rem;font-weight:600}
.cat-help{font-size:.82rem;color:var(--muted);margin:3px 0 8px}
.res{width:100%;border-collapse:collapse;font-size:.92rem}
.res th{font-weight:400;color:var(--muted);font-size:.78rem;text-align:left;padding:2px 4px}
.res td{padding:5px 4px;border-top:1px solid var(--line);vertical-align:top}
.res .rk{width:36px;color:var(--muted)} .res .sc{text-align:right;font-variant-numeric:tabular-nums;width:50px}
.res tr.cp td{font-weight:700;color:var(--accent)}
.res tr.cp td.rk{color:var(--accent)}
.res tr.gap td{color:var(--muted);text-align:center;padding:0;border-top:0;line-height:1}
.note{font-weight:400;font-size:.75rem;color:var(--muted)}
.org{font-weight:400;font-size:.7rem;color:var(--amber);border:1px solid currentColor;border-radius:4px;padding:0 4px;cursor:help}
.entrants{font-size:.78rem;color:var(--muted);margin:6px 0 0}

.foot{border-top:1px solid var(--line);padding:22px 0 34px;color:var(--muted);font-size:.86rem}
.foot p{max-width:90ch;margin:0}

@media (max-width:900px){
  .pgrid{grid-template-columns:minmax(0,1fr);gap:20px}
  .pside{position:static}
  .strip.strip-m{display:grid;margin:16px 0 0}
}
@media (max-width:640px){
  .controls{grid-template-columns:1fr}
  .seg{width:100%}.seg button{flex:1}
  .item a.row{grid-template-columns:1fr;gap:10px}
  .matrix{grid-template-columns:62px 1fr}
  .matrix .rl{font-size:.62rem;letter-spacing:.02em}
}
@media (prefers-reduced-motion:no-preference){
  .m{transition:transform .12s}.m:hover{transform:scale(1.25)}
}

/* ---------- JPJ Solutions footer brand */
.brandfoot{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:14px 28px;padding-bottom:20px;margin-bottom:20px;border-bottom:1px solid var(--line)}
.brandlogo{display:block;border-radius:6px}
.brandlogo img{display:block;height:44px;width:auto}
.foot .brandfoot p{margin:0;color:var(--muted);font-size:.92rem;max-width:none}
.brandfoot p a{font-weight:600;white-space:nowrap}
.brandlogo:focus-visible{outline:3px solid var(--focus);outline-offset:4px}