:root { color-scheme: dark; font-family: system-ui, sans-serif; }
body { margin: 0; background: #14161a; color: #e6e6e6; }
header { padding: 12px 16px; background: #1d2026; font-weight: 600; }
.card { background: #1d2026; margin: 12px; padding: 14px; border-radius: 10px; }
.row { display: flex; gap: 8px; align-items: center; flex-wrap: wrap; }
button { background: #2f7; color: #06250f; border: 0; border-radius: 8px;
  padding: 9px 14px; font-weight: 600; cursor: pointer; }
button.stop { background: #f55; color: #2a0606; }
input { background: #14161a; color: #e6e6e6; border: 1px solid #333;
  border-radius: 6px; padding: 7px; }
pre.log { background: #0e0f12; height: 220px; overflow: auto; padding: 8px;
  border-radius: 8px; font-size: 12px; white-space: pre-wrap; }
.stat { font-variant-numeric: tabular-nums; }
table { width: 100%; border-collapse: collapse; font-size: 13px; }
td, th { border-bottom: 1px solid #2a2d34; padding: 4px 6px; text-align: left; }
summary { cursor: pointer; padding: 6px 0; font-weight: 600; }
details { margin: 6px 0; }