:root {
  --bg: #0d1117;
  --panel: #161b22;
  --border: #30363d;
  --text: #e6edf3;
  --dim: #8b949e;
  --green: #3fb950;
  --yellow: #d29922;
  --red: #f85149;
  --blue: #58a6ff;
  --purple: #bc8cff;
}

* { box-sizing: border-box; }

body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  line-height: 1.5;
}

main { max-width: 860px; margin: 0 auto; padding: 1rem 1.5rem 4rem; }

.topnav {
  display: flex; gap: 1.5rem; align-items: baseline;
  padding: 0.75rem 1.5rem;
  border-bottom: 1px solid var(--border);
  background: var(--panel);
}
.topnav .brand { color: var(--green); font-weight: bold; }
.topnav a { color: var(--blue); text-decoration: none; }
.topnav a:hover { text-decoration: underline; }

h1 { font-size: 1.3rem; }
h2 { font-size: 1.05rem; margin-top: 2rem; }
a { color: var(--blue); }
code { color: var(--purple); }
.hint { color: var(--dim); font-size: 0.9rem; }

.flash { padding: 0.5rem 1rem; margin: 0.5rem 1.5rem; border: 1px solid var(--border); border-radius: 6px; }
.flash.notice { border-color: var(--green); color: var(--green); }
.flash.alert { border-color: var(--red); color: var(--red); }

.run-form { display: flex; flex-direction: column; gap: 0.75rem; }
.run-form fieldset { border: 1px solid var(--border); border-radius: 6px; }
.run-form label { display: block; }

textarea, input[type="text"], input[type="number"] {
  background: var(--panel);
  color: var(--text);
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 0.5rem;
  font-family: inherit;
  font-size: 0.95rem;
  width: 100%;
}
input[type="number"] { width: 8rem; }

input[type="submit"], .primary, button {
  background: #21262d;
  color: var(--text);
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 0.4rem 1rem;
  font-family: inherit;
  cursor: pointer;
  width: fit-content;
}
input[type="submit"]:hover, button:hover { border-color: var(--dim); }
.primary { background: #238636; border-color: #2ea043; color: #fff; text-decoration: none; display: inline-block; }

.code, pre.code {
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 0.75rem;
  white-space: pre-wrap;
  overflow-x: auto;
}

details.source { margin: 1rem 0; }
details.source summary { color: var(--dim); cursor: pointer; }

.terminal {
  background: #010409;
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 0.75rem 1rem;
  min-height: 10rem;
  margin: 1rem 0;
}
.terminal .line { white-space: pre-wrap; }
.terminal .line-stdout { color: var(--text); }
.terminal .line-stdin { color: var(--green); }
.terminal .line-system { color: var(--dim); font-style: italic; }
.terminal .prompt { color: var(--green); }

.status-line { margin-top: 0.5rem; color: var(--dim); }
.badge {
  display: inline-block;
  padding: 0 0.5rem;
  border: 1px solid var(--border);
  border-radius: 999px;
  font-size: 0.8rem;
}
.badge.blink { animation: blink 1s step-end infinite; }
@keyframes blink { 50% { opacity: 0.3; } }
.badge-open { color: var(--green); border-color: var(--green); }
.badge-claimed { color: var(--yellow); border-color: var(--yellow); }
.badge-submitted, .badge-settled { color: var(--blue); border-color: var(--blue); }
.badge-cancelled { color: var(--dim); }
.status-succeeded .badge { color: var(--green); border-color: var(--green); }
.status-failed .badge { color: var(--red); border-color: var(--red); }
.status-waiting_stdin .badge { color: var(--yellow); border-color: var(--yellow); }

.stdin-form { display: flex; gap: 0.5rem; align-items: center; margin-top: 0.5rem; }
.stdin-form .prompt { color: var(--green); }
.stdin-form input[type="text"] { flex: 1; }

table.segments { width: 100%; border-collapse: collapse; margin-top: 0.5rem; }
table.segments th, table.segments td {
  text-align: left;
  padding: 0.4rem 0.6rem;
  border-bottom: 1px solid var(--border);
}
table.segments th { color: var(--dim); font-weight: normal; }
tr.row-taken { color: var(--dim); }

.complete-form { margin-top: 1.5rem; display: flex; flex-direction: column; gap: 0.5rem; }
.complete-form .actions { display: flex; gap: 0.75rem; }

.task-card {
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 0.75rem 1rem;
  margin: 0.75rem 0;
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap: 1rem;
}
.task-card .stuck { color: var(--dim); background: none; border: none; text-decoration: underline; }
.task-card .actions { display: flex; flex-direction: column; align-items: center; gap: 0.25rem; flex: none; }
.task-card.preparing { justify-content: flex-start; color: var(--dim); }

.spinner {
  width: 1rem;
  height: 1rem;
  flex: none;
  border: 2px solid var(--border);
  border-top-color: var(--green);
  border-radius: 50%;
  animation: spin 0.8s linear infinite;
}
@keyframes spin { to { transform: rotate(360deg); } }