:root{
  --bg:#14121a; --panel:#1d1a25; --panel2:#262233; --ink:#ece6d6; --muted:#9a92a8; --line:#3a3448;
  --accent:#f2c14e; --good:#6cc47a; --bad:#e2574c; --warn:#e8a23a; --info:#6fa8dc;
  --font: "Menlo","Consolas","DejaVu Sans Mono",monospace;
}
@media (prefers-color-scheme: light){
  :root:not([data-theme="dark"]){ --bg:#efe9dc; --panel:#fbf7ee; --panel2:#f1eadb; --ink:#231f2b; --muted:#6f6879; --line:#d8cfbd; }
}
*{box-sizing:border-box}
html,body{margin:0;background:var(--bg);color:var(--ink);font-family:var(--font);font-size:13px}
header#top{display:flex;align-items:center;justify-content:space-between;gap:8px;padding:10px 16px;border-bottom:2px solid var(--line);flex-wrap:wrap}
.brand{display:flex;align-items:baseline;gap:8px}
.logo{font-weight:900;font-size:22px;letter-spacing:2px;color:var(--accent)}
.sub{color:var(--muted)}
#pills{display:flex;gap:6px;flex-wrap:wrap}
.pill{padding:3px 8px;border:2px solid var(--line);background:var(--panel);white-space:nowrap}
.pill.good{border-color:var(--good)} .pill.bad{border-color:var(--bad);color:var(--bad)} .pill.warn{border-color:var(--warn)}
#layout{display:grid;grid-template-columns:minmax(0,1fr) 380px;gap:0;min-height:calc(100vh - 52px)}
#stage{padding:12px 16px;min-width:0}
#office{width:100%;display:block;image-rendering:pixelated;background:#0d0b12;border:2px solid var(--line);cursor:pointer;touch-action:manipulation}
#hint{color:var(--muted);font-size:11px;margin:6px 0}
#ticker{border:2px solid var(--line);background:var(--panel);height:150px;overflow:auto;padding:6px 8px;font-size:11px;line-height:1.5}
#ticker .ev{white-space:nowrap;overflow:hidden;text-overflow:ellipsis}
#ticker .t{color:var(--muted)} #ticker .ty{color:var(--accent)}
#panel{border-left:2px solid var(--line);background:var(--panel);min-width:0;display:flex;flex-direction:column;max-height:calc(100vh - 52px)}
#tabs{display:flex;border-bottom:2px solid var(--line)}
#tabs button{flex:1;background:none;border:0;color:var(--muted);font:inherit;padding:10px 4px;cursor:pointer;border-bottom:3px solid transparent}
#tabs button.on{color:var(--ink);border-bottom-color:var(--accent)}
.tab{display:none;padding:12px 14px;overflow:auto}
.tab.on{display:block}
h3{margin:14px 0 6px;font-size:12px;text-transform:uppercase;letter-spacing:1px;color:var(--accent)}
h2{margin:0 0 4px;font-size:16px}
.muted{color:var(--muted)} .err{color:var(--bad)}
.kv{display:grid;grid-template-columns:110px 1fr;gap:3px 8px;font-size:12px}
.kv div:nth-child(odd){color:var(--muted)}
.list{list-style:none;margin:0;padding:0}
.list li{border-bottom:1px solid var(--line);padding:5px 0;font-size:12px;overflow-wrap:anywhere}
.tag{display:inline-block;padding:0 5px;border:1px solid var(--line);font-size:10px;margin-right:4px}
.tag.KILLED{border-color:var(--bad);color:var(--bad)} .tag.PROMISING_UNPROVEN,.tag.VALIDATED{border-color:var(--good);color:var(--good)}
.tag.FALSIFYING,.tag.RESEARCHING{border-color:var(--info);color:var(--info)}
.state{font-weight:700}
.state.bad{color:var(--bad)} .state.good{color:var(--good)} .state.warn{color:var(--warn)}
button.act,input,textarea,select{font:inherit;background:var(--panel2);color:var(--ink);border:2px solid var(--line);padding:6px 10px}
button.act{cursor:pointer} button.act:hover{border-color:var(--accent)}
textarea{width:100%;min-height:70px}
.row{display:flex;gap:6px;flex-wrap:wrap;align-items:center;margin:6px 0}
details{border:1px solid var(--line);padding:4px 8px;margin:6px 0}
summary{cursor:pointer}
pre{white-space:pre-wrap;overflow-wrap:anywhere;font-size:11px;background:var(--panel2);padding:6px;margin:4px 0;max-height:240px;overflow:auto}
#login{position:fixed;inset:0;background:rgba(0,0,0,.75);display:flex;align-items:center;justify-content:center;padding:16px}
#login form{background:var(--panel);border:2px solid var(--accent);padding:18px;max-width:340px;width:100%;display:flex;flex-direction:column;gap:8px}
@media (max-width: 900px){
  #layout{grid-template-columns:1fr}
  #panel{border-left:0;border-top:2px solid var(--line);max-height:none}
  #ticker{height:110px}
}
#login[hidden]{display:none}
#officeWrap{overflow-x:auto;-webkit-overflow-scrolling:touch}
@media (max-width: 700px){ #office{min-width:680px} }