* { box-sizing: border-box; }
body { margin: 0; font: 15px/1.55 system-ui, sans-serif; background: #f3f4f6; color: #1f2330; }
header { display: flex; align-items: center; gap: 24px; padding: 10px 24px; background: #1f2330; color: #fff; }
header a { color: #cfd4de; text-decoration: none; }
header a:hover { color: #fff; }
.brand { color: #fff; font-weight: 700; white-space: nowrap; }
@media (max-width: 600px) { header { gap: 12px; padding: 10px 12px; } #whoami { font-size: 13px; } }
nav { display: flex; gap: 16px; flex: 1; }
#whoami { margin-left: auto; font-weight: 600; }
main { max-width: 1400px; margin: 0 auto; padding: 16px; }
h2 { margin: 0 0 8px; font-size: 18px; }
h3 { margin: 18px 0 6px; font-size: 15px; }
.card { background: #fff; border: 1px solid #dde0e6; border-radius: 8px; padding: 16px; margin-bottom: 16px; min-width: 0; }
.narrow { max-width: 460px; margin: 40px auto; }
.grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(320px, 1fr)); gap: 16px; margin-bottom: 16px; }
.grid .card { margin: 0; }
.row-inline { display: flex; gap: 10px; align-items: center; flex-wrap: wrap; margin-bottom: 8px; }
.row-inline h2 { margin: 0 8px 0 0; }
.muted { color: #6b7280; }
.error { color: #c0392b; }
button { background: #2f6fed; color: #fff; border: 0; border-radius: 6px; padding: 8px 16px; font: inherit; cursor: pointer; }
button.secondary { background: #e5e7eb; color: #1f2330; }
button:disabled { opacity: .5; cursor: default; }
input, select { font: inherit; padding: 7px 10px; border: 1px solid #c9ced8; border-radius: 6px; max-width: 100%; }
table { width: 100%; border-collapse: collapse; }
td, th { text-align: left; padding: 5px 8px; border-bottom: 1px solid #eef0f3; }
table.clickable tr:not(:first-child) { cursor: pointer; }
table.clickable tr:not(:first-child):hover { background: #f5f8ff; }
ul.facts { padding-left: 18px; margin: 8px 0 14px; }
dl.verdicts { display: grid; grid-template-columns: auto 1fr; gap: 4px 14px; margin: 0; }
dd { margin: 0; }
.tag { display: inline-block; background: #eef0f3; border-radius: 4px; padding: 0 6px; margin: 2px 4px 2px 0; font-size: 13px; }
.meta { color: #4b5563; font-size: 14px; }
.meta a { margin-left: 8px; }

.v-AC { color: #1e8e3e; font-weight: 700; }
.v-WA, .v-RE, .v-IE { color: #c0392b; font-weight: 700; }
.v-TLE, .v-MLE, .v-OLE { color: #b45309; font-weight: 700; }
.v-CE { color: #6b7280; font-weight: 700; }

.ws-head { display: flex; justify-content: space-between; align-items: center; gap: 12px; margin-bottom: 12px; }
#clock { font: 700 28px ui-monospace, monospace; }
#clock.low { color: #c0392b; }
.players { display: grid; grid-template-columns: 1fr 1fr; gap: 12px; margin-bottom: 12px; }
.player { background: #fff; border: 1px solid #dde0e6; border-radius: 8px; padding: 10px 14px; }
.player.me { border-color: #2f6fed; }
.bar { height: 8px; background: #eef0f3; border-radius: 4px; overflow: hidden; margin: 6px 0; }
.bar > div { height: 100%; background: #2f6fed; transition: width .2s; }
.bar.ac > div { background: #1e8e3e; }
.bar.fail > div { background: #c0392b; }
#banner { margin: 0 0 12px; padding: 12px 16px; border-radius: 8px; background: #1f2330; color: #fff; font-weight: 600; }

.split { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 16px; align-items: start; }
@media (max-width: 900px) { .split, .players { grid-template-columns: 1fr; } }
#statement { max-height: calc(100vh - 170px); overflow: auto; }
#statement p { margin: 0 0 10px; }
.sample { border: 1px solid #e5e7eb; border-radius: 6px; margin-bottom: 12px; }
.sample-part { padding: 6px 10px; border-top: 1px solid #e5e7eb; }
.sample-part:first-child { border-top: 0; }
.sample-label { display: flex; justify-content: space-between; font-size: 13px; color: #6b7280; }
.sample-label button { padding: 0 8px; font-size: 12px; }
pre { margin: 4px 0; white-space: pre-wrap; word-break: break-word; font: 13px/1.4 ui-monospace, Consolas, monospace; }
.editor { position: sticky; top: 16px; }
.editor-bar { display: flex; justify-content: space-between; font-size: 13px; margin-bottom: 6px; }
#lang { font-weight: 600; }
textarea { width: 100%; height: 420px; resize: vertical; font: 13px/1.45 ui-monospace, Consolas, monospace; padding: 10px;
           border: 1px solid #c9ced8; border-radius: 6px; tab-size: 4; }
.buttons { display: flex; gap: 8px; margin: 8px 0; }
#status { min-height: 22px; }
#compile-output { background: #f8f8f8; border: 1px solid #e5e7eb; border-radius: 6px; padding: 8px; max-height: 240px; overflow: auto; }
.history { padding-left: 20px; margin: 8px 0 0; font-size: 14px; }