body{font:15px/1.45 system-ui,sans-serif;max-width:960px;margin:24px auto;padding:0 16px;color:#1b1b1b}
h1{font-size:20px;margin:0 0 4px} .sub{color:#666;margin-bottom:16px}
textarea{width:100%;height:180px;font:13px monospace} .row{margin:12px 0}
button{padding:8px 18px;font-size:15px;cursor:pointer} .muted{color:#666;font-size:13px}
.block{background:#fde8e8;border:1px solid #e0a0a0;padding:12px;border-radius:6px}
.banner{background:#fff6dd;border:1px solid #e8d38a;padding:8px 12px;border-radius:6px}
.verify{background:#eef4ff;border:1px solid #b7c9ef;padding:10px 14px;border-radius:6px}
.lab{display:inline-block;font-size:12px;padding:1px 6px;border-radius:4px;margin-right:6px;white-space:nowrap}
.supported{background:#dff3e4}.derived{background:#e2ecff}.synthesis{background:#ffe9c7}.notfound{background:#eee}.judgment{background:#f3e0ff}
.flag{color:#a33;font-size:13px}.q{color:#555;font-size:13px;margin-left:14px}
.claim{margin:6px 0}.conf{display:flex;gap:10px}.conf>div{flex:1;border:1px solid #ccc;padding:8px;border-radius:6px;font-size:13px}
a.dl{display:inline-block;margin:4px 8px 4px 0;padding:8px 14px;background:#12455a;color:#fff;border-radius:6px;text-decoration:none}
.goal{display:inline-block;border:1px solid #9bb;border-radius:6px;padding:8px 12px;margin:4px;cursor:pointer}.goal.on{background:#12455a;color:#fff}
.needs{background:#FFF2CC;border:1px solid #E69138;padding:10px 14px;border-radius:6px}.step{margin:3px 0}.done{color:#2a7a3a}.wait{color:#a66b00}
input[type=text]{width:100%;padding:5px;font-size:14px}.gap{margin:8px 0}.gap label{font-weight:bold}.skip{font-size:13px;margin-left:8px}
.handoff{background:#f4f8f4;border:1px solid #9c9;padding:10px 14px;border-radius:6px;margin:10px 0}.handoff textarea{height:110px}
ol.how{margin:6px 0 8px 18px;padding:0}.small{font-size:13px}
.mono-id{width:280px!important}.formlabel{margin-right:14px}h3.t{margin:4px 0}
.loadbar{background:#eef4ff;border:1px solid #b7c9ef;padding:10px 14px;border-radius:6px}.loadbar progress{width:100%;height:10px}
.copybox{width:100%;height:120px;font:12px monospace}.hidden{display:none}
.pastebox label{display:block;margin:.4em 0 .2em}.copyarea:empty{display:none}