:root{ --bg:#0b0e14; --panel:#11151f; --ink:#e6e6e6; --accent:#f6821f; --green:#7CFC00; --muted:#8a93a6; }
*{box-sizing:border-box}
body{margin:0;font-family:ui-monospace,Menlo,Consolas,monospace;background:var(--bg);color:var(--ink);line-height:1.5}
.wrap{max-width:680px;margin:0 auto;padding:2.5rem 1.25rem}
h1{color:var(--accent);margin:0 0 .25rem}
.tag{color:var(--muted);margin-top:0}
.gates{padding-left:1.2rem}
.gates li{margin:.5rem 0}
.card{background:var(--panel);border:1px solid #222a3a;border-radius:12px;padding:1.25rem;margin:1rem 0}
label{display:block;margin:.5rem 0}
input{width:100%;padding:.5rem;margin-top:.25rem;background:#000;border:1px solid #2a3446;border-radius:6px;color:var(--ink)}
button,.btn{display:inline-block;background:var(--accent);color:#000;border:0;padding:.6rem 1rem;border-radius:8px;
  font-weight:700;cursor:pointer;text-decoration:none}
.btn:hover,button:hover{filter:brightness(1.1)}
.out{background:#000;color:var(--green);padding:1rem;border-radius:8px;min-height:2rem;white-space:pre-wrap;word-break:break-word}
code{background:#000;color:var(--green);padding:.15rem .4rem;border-radius:4px}
.jokes{margin-top:2rem;color:var(--muted)}
.foot{margin-top:2rem;color:var(--muted);font-size:.9rem}