:root {
  --layout-max-width: 1400px;
  --bg: #f3f4f6;
  --surface: #ffffff;
  --surface-alt: #f9fafb;
  --line: #d1d5db;
  --text: #111827;
  --muted: #6b7280;
  --link: #1d4ed8;
  --ok: #166534;
  --danger: #b91c1c;
  --danger-link-color: var(--danger);
  --danger-link-hover-color: #991b1b;
  --danger-link-hover-bg: #fff1f2;
  --danger-link-focus: #fecaca;
  --danger-link-weight: 700;
  --warn: #a16207;
  --warn-bg: #fff7ed;
  --warn-line: #fed7aa;
  --warn-text: #9a3412;
  --tag-ok-fg: #166534;
  --tag-ok-bg: #f0fdf4;
  --tag-ok-border: #86efac;
  --tag-fail-fg: #b91c1c;
  --tag-fail-bg: #fef2f2;
  --tag-fail-border: #fca5a5;
  --tag-info-fg: #1d4ed8;
  --tag-info-bg: #eff6ff;
  --tag-info-border: #93c5fd;
  --tag-neutral-fg: #374151;
  --tag-neutral-bg: #f9fafb;
  --tag-neutral-border: #d1d5db;
  --btn-bg: #1f2937;
  --btn-bg-hover: #111827;
  --btn-border: #111827;
  --btn-text: #f9fafb;
  --btn-primary-bg: #000000;
  --btn-primary-bg-hover: #111827;
  --btn-primary-border: #000000;
  --btn-primary-text: #ffffff;
}

* {
  box-sizing: border-box;
}

[hidden] {
  display: none !important;
}

html {
  overflow-y: scroll;
}

body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font-family: "Trebuchet MS", Tahoma, Verdana, sans-serif;
  font-size: 14px;
  line-height: 1.45;
}

body.problem-layout {
  min-width: 1400px;
}

a {
  color: var(--link);
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

h1,
h2,
h3 {
  margin: 0 0 10px;
  font-weight: 700;
}

h1 {
  font-size: 20px;
}

h2 {
  font-size: 16px;
}

h3 {
  font-size: 13px;
}

code,
pre {
  font-family: Consolas, "Courier New", monospace;
}

.page-title {
  margin: 0 0 8px;
}

.page-title-inline {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  align-items: center;
  gap: 10px;
  margin-bottom: 8px;
}

.page-title-inline .page-title {
  margin: 0;
}

.page-title-inline-status {
  grid-template-columns: auto auto;
  justify-content: start;
  align-items: baseline;
}

.page-title-status {
  white-space: nowrap;
  font-weight: 600;
}

.page-title-inline .button-link {
  white-space: nowrap;
  flex-shrink: 0;
  overflow-wrap: normal;
  word-break: keep-all;
}

.root-page-title-inline {
  margin-bottom: 10px;
}

.root-title-links {
  display: inline-flex;
  align-items: center;
  gap: 12px;
}

.root-title-links .linkish {
  white-space: nowrap;
  font-weight: 600;
}

@media (max-width: 760px) {
  .root-page-title-inline {
    grid-template-columns: minmax(0, 1fr);
    justify-items: start;
  }

  .root-title-links {
    flex-wrap: wrap;
    gap: 8px 12px;
  }
}

.muted {
  color: var(--muted);
}

.ok {
  color: var(--ok);
  font-weight: 700;
}

.danger {
  color: var(--danger);
  font-weight: 700;
}

.revision-alert {
  color: var(--danger);
  font-weight: 700;
}

.topbar {
  border-bottom: 1px solid var(--line);
  background: #e5e7eb;
  padding: 10px 12px 0;
}

.topbar > .brand-row,
.topbar > .main-menu,
.topbar > .problem-submenu,
.topbar > .problem-context-bar {
  width: 100%;
  max-width: var(--layout-max-width);
  margin-left: auto;
  margin-right: auto;
}

.problem-layout.topbar-max-1400 .topbar {
  width: 100%;
  max-width: var(--layout-max-width);
  margin-left: 0;
  margin-right: auto;
}

.brand-row {
  display: flex;
  align-items: flex-start;
  gap: 10px;
}

.top-event-slot {
  flex: 1 1 auto;
  align-self: center;
  min-width: 0;
  display: flex;
  justify-content: center;
}

.top-event-slot:empty {
  display: none;
}

.top-event-notice {
  display: inline-flex;
  align-items: center;
  gap: 10px;
  max-width: min(620px, 100%);
  border: 1px solid var(--line);
  background: #f3f4f6;
  color: #111827;
  font-size: 12px;
  line-height: 1.3;
  padding: 4px 8px;
}

.top-event-success {
  border-color: #86efac;
  background: #f0fdf4;
  color: #166534;
}

.top-event-warning {
  border-color: #fed7aa;
  background: #fff7ed;
  color: #9a3412;
}

.top-event-error {
  border-color: #fca5a5;
  background: #fef2f2;
  color: #b91c1c;
}

.top-event-info {
  border-color: #93c5fd;
  background: #eff6ff;
  color: #1d4ed8;
}

.top-event-text {
  min-width: 0;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
}

.top-event-dismiss {
  border: 0;
  background: transparent;
  color: inherit;
  padding: 0;
  font-size: 11px;
  font-weight: 700;
  cursor: pointer;
  white-space: nowrap;
}

.top-event-dismiss:hover {
  background: transparent;
  color: inherit;
  text-decoration: underline;
}

.top-event-dismiss:focus-visible {
  outline: 2px solid #93c5fd;
  outline-offset: 1px;
}

.top-event-payload {
  display: none !important;
}

.logo {
  display: inline-block;
  font-size: 44px;
  line-height: 1;
  color: #1f2937;
}

.tagline {
  margin-top: 4px;
  color: #374151;
  font-size: 14px;
}

.top-actions {
  display: flex;
  align-items: center;
  gap: 8px;
  font-size: 13px;
  margin-left: auto;
}

.session-user {
  font-weight: 700;
}

.main-menu {
  display: flex;
  flex-wrap: nowrap;
  gap: 8px;
  margin-top: 10px;
  border-bottom: 1px solid var(--line);
}

.main-menu a {
  display: inline-block;
  white-space: nowrap;
  padding: 6px 12px;
  border: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
  background: #e5e7eb;
  color: var(--text);
  font-weight: 700;
  line-height: 1.1;
}

.main-menu a:hover {
  text-decoration: none;
  background: #eef2f7;
}

.main-menu a.active {
  background: #ffffff;
  border-bottom-color: #ffffff;
  position: relative;
  top: 1px;
}

.problem-submenu {
  display: flex;
  flex-wrap: nowrap;
  align-items: stretch;
  gap: 6px;
  border: 1px solid var(--line);
  background: #f3f4f6;
  padding: 8px;
  margin: 0 0 8px;
}

.problem-submenu-item {
  flex: 1 1 0;
  border: 1px solid var(--line);
  background: #ffffff;
  padding: 0;
  min-width: 0;
  min-height: 42px;
  display: flex;
  flex-direction: column;
  justify-content: flex-start;
  gap: 0;
}

.problem-submenu-item > a {
  display: grid;
  grid-template-rows: 14.4px 13.2px;
  flex: 1 1 auto;
  gap: 2px;
  justify-items: start;
  align-content: center;
  min-height: 0;
  padding: 6px 8px;
  background: transparent;
  color: inherit;
}

.problem-submenu-item:hover {
  background: #f9fafb;
}

.problem-submenu-item.active {
  background: #e5e7eb;
}

.problem-submenu-item > a:hover {
  text-decoration: none;
  background: transparent;
}

.problem-submenu-item > a.active {
  background: transparent;
}

.submenu-head-line {
  display: flex;
  align-items: baseline;
  gap: 4px;
  min-width: 0;
  min-height: 14.4px;
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
}

.submenu-detail-line {
  display: block;
  min-width: 0;
  min-height: 13.2px;
  color: var(--muted);
  font-size: 11px;
  line-height: 13.2px;
  font-weight: 400;
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
}

.submenu-title {
  display: inline;
  color: var(--text);
  font-weight: 700;
  font-size: 12px;
  line-height: 14.4px;
}

.submenu-status {
  display: block;
  color: var(--muted);
  font-size: 11px;
  line-height: 13.2px;
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
  font-weight: 400;
}

.submenu-status-heading {
  color: var(--text);
  font-weight: 700;
  font-size: 12px;
  line-height: 14.4px;
}

.submenu-status-state {
  color: var(--text);
  font-weight: 400;
  font-size: 12px;
  line-height: 14.4px;
}

.submenu-status-danger {
  color: var(--danger);
}

.submenu-status-warn {
  color: var(--warn);
}

.submenu-status-warn .status-title {
  color: var(--warn);
}

.submenu-status-warn .status-value {
  color: var(--warn);
}

.problem-submenu-run-block {
  display: grid;
  grid-template-rows: 14.4px 13.2px;
  flex: 1 1 auto;
  gap: 2px;
  justify-items: start;
  align-content: center;
  min-height: 0;
  padding: 6px 8px;
}

.problem-submenu-item-run .verification-start-form {
  display: inline-flex;
  align-items: center;
  margin: 0;
  flex: 0 0 auto;
  padding: 0;
}

.submenu-head-link {
  display: inline-flex;
  align-items: baseline;
  gap: 4px;
  color: inherit;
  text-decoration: none;
  min-width: 0;
}

.submenu-head-link:hover {
  text-decoration: none;
}

.verification-start-line {
  display: block;
  margin-top: 0;
  padding-left: 0;
  font-size: 11px;
  line-height: 13.2px;
  font-weight: 400;
}

.submenu-status-state.danger {
  color: var(--danger);
}

.submenu-status-state.warn {
  color: var(--warn);
}

.problem-context-bar {
  display: flex;
  align-items: baseline;
  gap: 8px;
  margin: 0 0 8px;
}

.problem-context-name {
  font-size: 15px;
}

.problem-context-slug {
  color: var(--muted);
  font-size: 12px;
}

.page-grid {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 280px;
  gap: 12px;
  padding: 12px;
  max-width: var(--layout-max-width);
  margin: 0 auto;
}

.page-grid.page-grid-wide {
  grid-template-columns: minmax(0, 1fr) 240px;
  align-items: start;
}

.page-grid.page-grid-wide .content-shell {
  min-width: 0;
  overflow-x: auto;
}

.page-grid.page-grid-wide .side-panel {
  min-width: 0;
  width: 240px;
}

.page-grid.page-grid-wide:has(.run-details-page.run-details-page-compact) {
  max-width: none;
  grid-template-columns: max-content 240px;
}

.page-grid.page-grid-wide:has(.run-details-page.run-details-page-compact) .content-shell {
  overflow-x: visible;
}

.page-grid.page-grid-wide:has(.run-details-page.run-details-page-compact) .container {
  width: auto;
  min-width: 0;
}

.page-grid.page-grid-wide:has(.run-details-page.run-details-page-compact) .verification-lifecycle-step-main {
  width: auto;
}

.page-grid.page-grid-wide:has(.run-details-page.run-details-page-compact) .verification-lifecycle-step-facts {
  width: auto;
}

.page-grid.single-column {
  grid-template-columns: minmax(0, 1fr);
}

.page-grid.single-column .side-panel {
  display: none;
}

.content-shell,
.info-card,
.action-card,
section,
.login-card {
  border: 1px solid var(--line);
  background: var(--surface);
}

.content-shell {
  min-width: 0;
  overflow-x: auto;
}

.container {
  display: grid;
  gap: 10px;
  padding: 10px;
  min-width: 0;
}

.side-panel {
  display: grid;
  align-content: start;
  gap: 10px;
}

.info-card,
.action-card,
section {
  padding: 10px;
  min-width: 0;
}

.workspace-revision {
  border: 0;
  background: transparent;
  padding: 0;
  margin: 0 0 8px;
  display: grid;
  gap: 2px;
}

.readiness-overview {
  border: 1px solid var(--line);
  background: var(--surface);
  padding: 10px;
}

.readiness-grid {
  display: grid;
  grid-template-columns: repeat(6, minmax(0, 1fr));
  gap: 8px;
}

.readiness-card {
  display: grid;
  gap: 3px;
  border: 1px solid var(--line);
  background: #ffffff;
  color: var(--text);
  padding: 8px;
}

.readiness-card:hover {
  text-decoration: none;
  background: #f8fafc;
}

.readiness-label {
  font-size: 12px;
  font-weight: 700;
  line-height: 1.2;
}

.readiness-state {
  font-size: 12px;
  line-height: 1.2;
  color: var(--muted);
}

.danger-zone {
  border: 1px solid #fca5a5;
  background: #fff7f7;
  margin: 10px 0 0;
}

.danger-zone > summary {
  cursor: pointer;
  font-size: 14px;
  font-weight: 700;
  color: var(--danger);
  padding: 8px 10px;
  user-select: none;
}

.danger-zone-body {
  border-top: 1px solid #fca5a5;
  display: grid;
  gap: 8px;
  padding: 10px;
}

.danger-zone-delete {
  border: 1px solid #fca5a5;
  background: #fff;
  padding: 8px;
}

.workspace-revision-alert {
  border: 0;
  background: transparent;
}

.workspace-revision-head {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 8px;
}

.workspace-revision-title {
  font-size: 13px;
  font-weight: 700;
}

.workspace-revision-state {
  color: var(--danger);
  font-size: 12px;
  font-weight: 700;
  white-space: nowrap;
}

.workspace-revision-inline {
  margin: 0;
  padding: 2px 0 0;
  font-size: 12px;
  line-height: 1.35;
  color: #374151;
  white-space: nowrap;
  overflow-wrap: normal;
  word-break: keep-all;
}

.workspace-update-row {
  display: flex;
  margin: 0 0 10px;
}

.workspace-update-row .action-link-form {
  display: flex;
  width: 100%;
}

.workspace-actions {
  display: grid;
  gap: 6px;
  margin: 0 0 10px;
}

.workspace-side-button {
  width: 100%;
  justify-content: flex-start;
}

.workspace-actions .button-link:not(.primary-action),
.workspace-update-row .button-link {
  background: #f3f4f6;
  border-color: #9ca3af;
  color: var(--text);
}

.workspace-actions .button-link:not(.primary-action):hover:not([aria-disabled="true"]),
.workspace-update-row .button-link:hover:not(:disabled) {
  background: #e5e7eb;
}

.workspace-links {
  display: flex;
  align-items: center;
  flex-wrap: nowrap;
  gap: 0;
  margin: 0 0 6px;
}

.workspace-side-link {
  font-size: 13px;
  line-height: 1.35;
  white-space: nowrap;
}

.workspace-link-sep {
  color: var(--muted);
  margin: 0 8px;
  user-select: none;
  pointer-events: none;
}

.grid {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(0, 1fr);
  gap: 10px;
}

.settings-grid .settings-admin-panel {
  grid-column: 1 / -1;
}

.settings-grid .settings-account-panel {
  grid-column: 1 / -1;
}

.settings-runtime-card {
  display: grid;
  gap: 10px;
}

.settings-card-head {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 10px;
}

.settings-card-head > h3 {
  margin: 0;
}

.settings-judgehost-enable-row {
  align-items: center;
}

.settings-judgehost-enable-row > label {
  flex: 0 0 150px;
}

.settings-inline-toggle {
  display: inline-flex;
  align-items: center;
  gap: 8px;
}

.settings-inline-toggle > input[type="checkbox"] {
  margin: 0;
}

.settings-judgehost-auth-block[hidden] {
  display: none !important;
}

.settings-inline-fields {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(0, 1fr);
  gap: 12px;
}

.settings-judgehost-toolbar {
  justify-content: flex-end;
}

.settings-judgehost-toolbar > input {
  width: min(100%, 280px);
}

.settings-judgehost-table {
  width: 100%;
}

.settings-judgehost-table td {
  vertical-align: middle;
}

.settings-judgehost-toggle-form {
  display: inline-flex;
  align-items: center;
}

.switch-toggle {
  position: relative;
  display: inline-flex;
  width: 42px;
  height: 24px;
  cursor: pointer;
}

.switch-toggle > input {
  position: absolute;
  opacity: 0;
  pointer-events: none;
}

.switch-toggle .switch-track {
  width: 100%;
  height: 100%;
  border: 1px solid var(--line);
  background: #e5e7eb;
  border-radius: 999px;
  transition: background 0.15s ease, border-color 0.15s ease;
  position: relative;
}

.switch-toggle .switch-track::after {
  content: "";
  position: absolute;
  top: 2px;
  left: 2px;
  width: 18px;
  height: 18px;
  border-radius: 50%;
  background: #ffffff;
  box-shadow: 0 1px 2px rgba(0, 0, 0, 0.2);
  transition: transform 0.15s ease;
}

.switch-toggle > input:checked + .switch-track {
  background: #16a34a;
  border-color: #15803d;
}

.switch-toggle > input:checked + .switch-track::after {
  transform: translateX(18px);
}

.switch-toggle > input:focus-visible + .switch-track {
  outline: 2px solid #60a5fa;
  outline-offset: 2px;
}

.danger-link {
  color: var(--danger-link-color);
  font-weight: var(--danger-link-weight);
}

.danger-link:hover {
  color: var(--danger-link-hover-color);
}

.button-link.danger-link {
  border-color: var(--danger-link-color);
}

.button-link.danger-link:hover:not([aria-disabled="true"]) {
  background: var(--danger-link-hover-bg);
}

.danger-link:focus-visible {
  outline: 2px solid var(--danger-link-focus);
  outline-offset: 1px;
}

#judgehost_gen_script_output {
  min-height: 240px;
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", monospace;
  line-height: 1.4;
  white-space: pre;
}

@media (max-width: 960px) {
  .settings-card-head {
    align-items: flex-start;
    flex-wrap: wrap;
  }

  .settings-inline-fields {
    grid-template-columns: minmax(0, 1fr);
  }
}

.solutions-editor-layout {
  display: grid;
  grid-template-columns: minmax(0, 1.7fr) minmax(320px, 1fr);
  gap: 10px;
  align-items: start;
}

.solutions-editor-layout > section {
  min-width: 0;
}

.solutions-editor-layout table {
  table-layout: fixed;
}

.solution-editor-panel {
  min-width: 0;
}

.status-row-inline {
  display: flex;
  align-items: center;
  gap: 8px;
}

.status-title {
  color: var(--muted);
}

.status-title.danger {
  color: var(--danger);
}

.status-title.warn {
  color: var(--warn);
}

.status-value {
  color: var(--text);
}

.status-value.danger {
  color: var(--danger);
}

.status-value.warn {
  color: var(--warn);
}

.status-error {
  margin: 0;
  color: var(--danger);
}

.ui-tooltip {
  position: fixed;
  z-index: 1200;
  max-width: min(520px, calc(100vw - 16px));
  border: 1px solid #1f2937;
  background: #111827;
  color: #f9fafb;
  padding: 6px 8px;
  font-size: 12px;
  line-height: 1.35;
  border-radius: 4px;
  box-shadow: none;
  pointer-events: none;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  opacity: 0;
  transform: translateY(-2px);
  transition: opacity 80ms ease-out, transform 80ms ease-out;
}

.ui-tooltip.ui-tooltip-visible {
  opacity: 1;
  transform: translateY(0);
}

.status-inline-link {
  font-size: 11px;
  font-weight: 400;
  line-height: 13.2px;
  padding: 0;
  min-height: 0;
  vertical-align: baseline;
  border: 0;
  background: transparent;
  -webkit-appearance: none;
  appearance: none;
  border-radius: 0;
  display: inline;
}

.change-badges {
  display: block;
  white-space: nowrap;
  overflow-x: auto;
  overflow-y: hidden;
  scrollbar-gutter: stable;
  margin: 8px 0;
}

.change-chip {
  display: inline;
  color: var(--text);
  font-size: 10px;
  font-weight: 500;
  line-height: 1.2;
  padding: 0;
  margin-right: 10px;
  border: 0;
  background: transparent;
}

.change-added {
  color: #16a34a;
}

.change-modified {
  color: #2563eb;
}

.change-deleted,
.change-conflicted {
  color: #dc2626;
}

.change-renamed,
.change-typechange {
  color: #9333ea;
}

.change-untracked,
.change-other {
  color: #0f766e;
}

.change-list {
  margin: 0;
  padding-left: 0;
  list-style: none;
  font-size: 12px;
  max-height: 320px;
  overflow: auto;
  scrollbar-gutter: stable;
}

.files {
  margin: 0;
  padding-left: 18px;
}

.change-item {
  margin: 2px 0;
}

.change-code {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-width: 24px;
  padding: 1px 5px;
  border: 1px solid #d1d5db;
  background: #f8fafc;
  line-height: 1.1;
}

.change-item.change-added .change-code {
  color: #16a34a;
}

.change-item.change-modified .change-code {
  color: #2563eb;
}

.change-item.change-deleted .change-code {
  color: #dc2626;
}

.change-item.change-renamed .change-code,
.change-item.change-typechange .change-code {
  color: #9333ea;
}

.change-item.change-conflicted .change-code {
  color: #dc2626;
}

.change-item.change-untracked .change-code,
.change-item.change-other .change-code {
  color: #0f766e;
}

.workspace-diff-files {
  display: grid;
  gap: 4px;
  margin: 8px 0;
  max-height: 220px;
  overflow: auto;
}

.workspace-diff-file {
  display: flex;
  align-items: center;
  gap: 8px;
  padding: 4px 6px;
  border: 1px solid var(--line);
  background: #ffffff;
  color: var(--text);
}

.workspace-diff-file:hover {
  text-decoration: none;
  background: #f8fafc;
}

.workspace-diff-file.active {
  border-color: #0f172a;
  background: #f8fafc;
}

.workspace-diff-file.workspace-diff-file-added {
  border-left: 3px solid #16a34a;
}

.workspace-diff-file.workspace-diff-file-modified {
  border-left: 3px solid #2563eb;
}

.workspace-diff-file.workspace-diff-file-deleted,
.workspace-diff-file.workspace-diff-file-conflicted {
  border-left: 3px solid #dc2626;
}

.workspace-diff-file.workspace-diff-file-renamed,
.workspace-diff-file.workspace-diff-file-typechange {
  border-left: 3px solid #9333ea;
}

.workspace-diff-file.workspace-diff-file-untracked,
.workspace-diff-file.workspace-diff-file-other {
  border-left: 3px solid #0f766e;
}

.workspace-diff-view {
  margin: 0;
  border: 1px solid var(--line);
  background: #ffffff;
  padding: 0;
  max-height: 520px;
  overflow: auto;
  white-space: pre;
}

.workspace-diff-line {
  display: block;
  padding: 0 8px;
}

.workspace-diff-line-add {
  background: #ecfdf5;
  color: #166534;
}

.workspace-diff-line-del {
  background: #fef2f2;
  color: #991b1b;
}

.workspace-diff-line-hunk {
  background: #eff6ff;
  color: #1d4ed8;
}

.workspace-diff-line-head {
  background: #f8fafc;
  color: #374151;
}

form {
  margin: 0;
}

.form-stack {
  display: grid;
  gap: 8px;
}

.form-stack > input:not([type="hidden"]):not([type="checkbox"]):not([type="radio"]),
.form-stack > select,
.form-stack > textarea {
  width: 100%;
}

.form-row {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 8px;
}

.form-row:not(.form-row-column) > label {
  flex: 0 0 150px;
}

.form-row-column {
  flex-direction: column;
  align-items: stretch;
}

.form-row:not(.form-row-column) > input:not([type="hidden"]):not([type="checkbox"]):not([type="radio"]),
.form-row:not(.form-row-column) > select,
.form-row:not(.form-row-column) > textarea {
  flex: 1 1 260px;
  min-width: 0;
}

.form-row-inline-distribute {
  flex-wrap: nowrap;
  align-items: flex-end;
  gap: 18px;
  width: 100%;
}

.form-field-stack {
  display: grid;
  gap: 6px;
  min-width: 0;
  flex: 1 1 0;
}

.form-row-inline-distribute > .form-field-stack:last-of-type {
  flex: 1.15 1 0;
}

.form-field-stack > label {
  flex: 0 0 auto;
  min-width: 0;
  margin: 0;
}

.form-field-stack > input:not([type="hidden"]):not([type="checkbox"]):not([type="radio"]),
.form-field-stack > select,
.form-field-stack > textarea {
  width: 100%;
  min-width: 0;
}

.form-row-inline-distribute > button {
  flex: 0 0 auto;
  margin-left: auto;
  min-width: 96px;
  white-space: nowrap;
}

@media (max-width: 960px) {
  .form-row-inline-distribute {
    flex-wrap: wrap;
    gap: 12px;
  }

  .form-field-stack {
    flex: 1 1 220px;
  }

  .form-row-inline-distribute > .form-field-stack:last-of-type {
    flex: 1 1 220px;
  }

  .form-row-inline-distribute > button {
    margin-left: 0;
  }
}

@media (max-width: 640px) {
  .form-field-stack {
    flex: 1 1 100%;
  }

  .form-row-inline-distribute > button {
    width: 100%;
  }
}

.form-input-with-action {
  display: flex;
  align-items: center;
  gap: 8px;
  min-width: 0;
}

.form-input-with-action > input {
  flex: 1 1 auto;
  min-width: 0;
}

.form-input-with-action > button {
  flex: 0 0 auto;
  white-space: nowrap;
}

.form-row-hint-offset {
  flex: 1 1 100%;
  margin: 0 0 0 158px;
}

@media (max-width: 800px) {
  .form-row-hint-offset {
    margin-left: 0;
  }
}

.form-row-inline-controls {
  display: flex;
  flex-wrap: nowrap;
  align-items: center;
  gap: 8px;
  min-width: 0;
}

.form-row-inline-controls > label {
  flex: 0 0 auto !important;
}

.form-row-inline-controls > select {
  flex: 1 1 auto;
  min-width: 0;
}

.form-row-actions {
  display: inline-flex;
  align-items: center;
  gap: 8px;
  flex: 0 0 auto;
}

.form-row-actions > button {
  white-space: nowrap;
}

.checker-layout {
  display: grid;
  grid-template-columns: minmax(0, 1fr);
  gap: 10px;
}

.checker-section-title {
  display: inline-flex;
  align-items: center;
  gap: 8px;
}

.checker-mode-chip {
  display: inline-block;
  font-size: 11px;
  line-height: 1.2;
  color: #1f2937;
  border: 1px solid #9ca3af;
  padding: 1px 6px;
}

.checker-mode-chip-active {
  border-color: #111827;
  background: #e5e7eb;
  font-weight: 700;
}

.run-kind-chip {
  display: inline-flex;
  align-items: center;
  margin-left: 8px;
  padding: 2px 8px;
  font-size: 11px;
  line-height: 1.15;
  font-weight: 600;
  border: 1px solid #9ca3af;
  color: #1f2937;
  background: #f9fafb;
  border-radius: 999px;
  vertical-align: middle;
}

.inline-form,
.tag-form {
  display: inline-flex;
  align-items: center;
  gap: 6px;
}

.inline-action {
  display: inline-flex;
  margin-left: 8px;
}

.inline-meta-row {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 8px;
}

.inline-meta-row > p {
  margin: 0;
}

.statement-summary {
  margin: 0 0 10px;
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 8px;
}

.statement-summary-title {
  margin: 0;
  display: inline-flex;
  align-items: center;
}

.statement-summary-meta {
  display: flex;
  align-items: center;
  gap: 8px;
  flex: 1 1 auto;
  min-width: 0;
}

.statement-summary-values {
  display: flex;
  flex: 1 1 auto;
  flex-wrap: wrap;
  gap: 6px 8px;
  min-width: 0;
  color: var(--muted);
}

.statement-summary-chip {
  display: inline-flex;
  align-items: center;
  border: 1px solid var(--line);
  border-radius: 999px;
  background: var(--surface-alt);
  padding: 1px 8px;
  white-space: nowrap;
}

.statement-summary-edit {
  display: inline-flex;
  align-items: center;
  margin-left: auto;
  white-space: nowrap;
  border: 1px solid transparent;
  border-radius: 999px;
  padding: 2px 8px;
}

.statement-summary-edit:hover {
  border-color: var(--line);
  background: var(--surface-alt);
  text-decoration: none;
}

@media (max-width: 720px) {
  .statement-summary-meta {
    gap: 6px;
  }

  .statement-summary-edit {
    margin-left: 0;
  }
}

.form-block {
  border: 1px solid var(--line);
  background: var(--surface-alt);
  padding: 8px;
}

input,
select,
textarea {
  border: 1px solid #9ca3af;
  background: #ffffff;
  color: var(--text);
  font: inherit;
  padding: 6px 8px;
}

textarea {
  width: 100%;
  min-height: 120px;
  resize: vertical;
}

textarea.textarea-sm {
  min-height: 96px;
}

textarea.textarea-md {
  min-height: 180px;
}

.CodeMirror {
  border: 1px solid #9ca3af;
  background: #ffffff;
  font-family: Consolas, "Courier New", monospace;
  font-size: 12px;
}

.CodeMirror-scroll {
  min-height: 220px;
}

.btn,
.button-link {
  font: inherit;
  border: 1px solid var(--btn-border);
  background: var(--btn-bg);
  color: var(--btn-text);
  font-weight: 600;
  line-height: 1.2;
  padding: 6px 10px;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  box-sizing: border-box;
  vertical-align: middle;
  cursor: pointer;
  text-decoration: none;
}

.btn:hover:not(:disabled),
.button-link:hover:not([aria-disabled="true"]) {
  background: var(--btn-bg-hover);
  text-decoration: none;
}

.btn:focus-visible,
.button-link:focus-visible {
  outline: 2px solid #93c5fd;
  outline-offset: 1px;
}

.btn:disabled,
.button-link[aria-disabled="true"] {
  opacity: 0.55;
  cursor: not-allowed;
}

.btn-primary,
.primary-action {
  border-color: var(--btn-primary-border);
  background: var(--btn-primary-bg);
  color: var(--btn-primary-text);
}

.btn-primary:hover:not(:disabled),
.primary-action:hover:not(:disabled) {
  background: var(--btn-primary-bg-hover);
}

.button-link:hover {
  text-decoration: none;
}

.linkish,
.linkish-button {
  border: 0;
  background: transparent;
  color: var(--link);
  padding: 0;
}

.linkish:hover,
.linkish-button:hover:not(:disabled) {
  background: transparent;
  text-decoration: underline;
}

.linkish[aria-disabled="true"],
.linkish-button:disabled {
  color: var(--muted);
  cursor: not-allowed;
  text-decoration: none;
  pointer-events: none;
}

.text-nowrap {
  white-space: nowrap;
}

table {
  width: 100%;
  border-collapse: collapse;
}

th,
td {
  border: 1px solid var(--line);
  padding: 6px;
  text-align: left;
  vertical-align: top;
  font-size: 12px;
  overflow-wrap: anywhere;
}

th {
  background: var(--surface-alt);
}

tbody tr:nth-child(even) td {
  background: #fcfcfd;
}

tbody tr:nth-child(odd) td {
  background: #fff;
}

.table-row-dirty td,
.verification-row-failed td {
  background: #fef2f2 !important;
}

.verification-list-table td {
  vertical-align: middle;
}

.verification-actions {
  white-space: nowrap;
}

.verification-inline-action {
  margin-left: 8px;
}

.verification-detail-topline {
  display: flex;
  align-items: center;
  gap: 12px;
  flex-wrap: wrap;
  margin: 2px 0 8px;
}

section.verification-header-section {
  border: 0;
  background: transparent;
  padding: 0;
}

.run-details-page.run-details-page-compact section.verification-header-section {
  padding: 0 10px;
}

.verification-detail-actions {
  display: flex;
  align-items: center;
  gap: 12px;
  flex-wrap: wrap;
}

.verification-detail-topline .verification-inline-action {
  margin-left: 0;
}

.verification-detail-meta {
  white-space: nowrap;
}

.verification-lifecycle-tabs {
  display: grid;
  grid-template-columns: minmax(160px, 220px) minmax(0, 1fr);
  grid-template-rows: auto 1fr;
  gap: 8px;
  align-items: stretch;
  margin: 8px 0;
  border: 1px solid var(--line);
  background: #fff;
  padding: 8px;
  overflow-x: auto;
}

.verification-lifecycle-head {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 8px;
}

.verification-lifecycle-head-full {
  grid-column: 1 / -1;
  grid-row: 1;
}

.verification-lifecycle-summary {
  margin: 4px 0 0;
}

.verification-lifecycle-tab-list {
  grid-column: 1;
  grid-row: 2;
  border: none;
  background: transparent;
  padding: 0;
  display: grid;
  gap: 6px;
  align-content: start;
}

.verification-lifecycle-tab {
  --verification-tab-bg: #f8fafc;
  display: flex;
  justify-content: flex-start;
  align-items: center;
  gap: 8px;
  width: 100%;
  border: 1px solid #cbd5e1;
  background: var(--verification-tab-bg);
  color: inherit;
  text-align: left;
  padding: 6px;
  cursor: pointer;
}

.verification-lifecycle-tab:hover:not(:disabled) {
  border-color: #94a3b8;
  background: var(--verification-tab-bg);
  color: inherit;
}

.verification-lifecycle-tab.is-active {
  outline: 2px solid #93c5fd;
  outline-offset: 0;
}

.verification-lifecycle-tab-index {
  width: 20px;
  height: 20px;
  border-radius: 999px;
  border: 1px solid #cbd5e1;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  font-size: 11px;
  line-height: 1;
  font-weight: 700;
  flex: none;
}

.verification-lifecycle-tab-main {
  display: grid;
  gap: 1px;
  min-width: 0;
}

.verification-lifecycle-tab-title {
  font-weight: 600;
  font-size: 12px;
}

.verification-lifecycle-tab-status {
  font-size: 11px;
  color: var(--muted);
}

.verification-lifecycle-tab-done {
  --verification-tab-bg: #ecfdf5;
  background: var(--verification-tab-bg);
}

.verification-lifecycle-tab-running {
  --verification-tab-bg: #eff6ff;
  background: var(--verification-tab-bg);
}

.verification-lifecycle-tab-failed {
  --verification-tab-bg: #fef2f2;
  background: var(--verification-tab-bg);
}

.verification-lifecycle-tab-skipped {
  --verification-tab-bg: #f8fafc;
  background: var(--verification-tab-bg);
}

.verification-lifecycle-tab-panels {
  grid-column: 2;
  grid-row: 2;
  border: none;
  background: transparent;
  padding: 0;
  display: flex;
  flex-direction: column;
  gap: 8px;
  align-items: stretch;
  justify-content: center;
  min-height: 0;
}

.verification-lifecycle-tab-panel {
  margin: 0;
  min-height: 0;
}

.verification-lifecycle-tab-panel.is-hidden {
  display: none;
}

.verification-lifecycle-step {
  display: flex;
  align-items: center;
  gap: 8px;
  border: 1px solid var(--line);
  background: #f8fafc;
  padding: 5px 6px;
}

.verification-lifecycle-step-index {
  width: 18px;
  height: 18px;
  border-radius: 999px;
  border: 1px solid #cbd5e1;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  font-size: 11px;
  line-height: 1;
  flex: none;
}

.verification-lifecycle-step-main {
  display: grid;
  gap: 1px;
  min-width: 0;
  width: 100%;
}

.verification-lifecycle-step-title {
  font-weight: 600;
  font-size: 12px;
}

.verification-lifecycle-step-status {
  font-size: 11px;
  color: var(--muted);
}

.verification-lifecycle-step-detail {
  font-size: 11px;
  color: #4b5563;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  word-break: break-word;
}

.verification-lifecycle-step-facts {
  width: 100%;
  border-collapse: collapse;
  margin-top: 4px;
  table-layout: fixed;
}

.verification-lifecycle-step-facts th,
.verification-lifecycle-step-facts td {
  font-size: 11px;
  padding: 2px 4px;
  text-align: left;
  border-top: 1px solid #e2e8f0;
  vertical-align: top;
}

.verification-lifecycle-step-facts th {
  width: 132px;
  color: var(--muted);
  font-weight: 600;
  white-space: nowrap;
}

.verification-lifecycle-step-notes {
  margin: 4px 0 0;
  padding-left: 16px;
  display: grid;
  gap: 2px;
}

.verification-lifecycle-step-notes li {
  font-size: 11px;
  color: #4b5563;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
}

.verification-lifecycle-step-done {
  background: #ecfdf5;
}

.verification-lifecycle-step-done .verification-lifecycle-step-status {
  color: var(--ok);
}

.verification-lifecycle-step-running {
  background: #eff6ff;
}

.verification-lifecycle-step-running .verification-lifecycle-step-status {
  color: #1d4ed8;
}

.verification-lifecycle-step-failed {
  background: #fef2f2;
}

.verification-lifecycle-step-failed .verification-lifecycle-step-status {
  color: var(--danger);
}

.verification-lifecycle-step-skipped {
  background: #f8fafc;
}

.verification-lifecycle-step-skipped .verification-lifecycle-step-status {
  color: #64748b;
}

.verification-expected-notes {
  display: grid;
  gap: 2px;
}

.verification-detail-wrap {
  width: 100%;
  max-width: none;
  overflow-x: auto;
  overflow-y: hidden;
}

.run-details-page.run-details-page-compact .verification-detail-wrap {
  width: auto;
  min-width: 0;
  overflow: visible;
}

.run-details-page.run-details-page-compact .verification-detail-table {
  min-width: 980px;
}

.verification-detail-table {
  width: max-content;
  min-width: max(100%, 980px);
  table-layout: fixed;
}

.verification-detail-table col.verification-col-test {
  width: 72px;
}

.verification-detail-table col.verification-col-solution {
  width: 74px;
}

.verification-detail-table > thead > tr > th,
.verification-detail-table > tbody > tr > th,
.verification-detail-table > tbody > tr > td,
.verification-detail-table > tfoot > tr > th,
.verification-detail-table > tfoot > tr > td {
  text-align: center;
  white-space: nowrap;
  overflow-wrap: normal;
  font-size: 11px;
  padding: 4px 5px;
}

.verification-detail-result-row > th {
  font-size: 10px;
  font-weight: 500;
}

.stat-line {
  display: block;
  white-space: normal;
  overflow-wrap: anywhere;
  word-break: break-word;
  line-height: 1.25;
}

.stat-main {
  font-weight: 700;
  line-height: 1.2;
}

.stat-sub {
  font-weight: 400;
  font-size: 10px;
  line-height: 1.2;
  color: var(--muted);
}

.verification-detail-summary-row > th,
.verification-detail-summary-row > td {
  background: #f8fafc;
}

.run-details-page .verification-detail-wrap.verification-detail-wrap-regular {
  width: 100%;
  max-width: none;
  overflow-x: auto;
  overflow-y: hidden;
}

.verification-detail-table.verification-detail-table-regular {
  width: 100%;
  min-width: 0;
  table-layout: auto;
}

.verification-detail-table.verification-detail-table-regular col.verification-col-solution {
  width: auto;
}

.verification-detail-table.verification-detail-table-regular > thead > tr > th,
.verification-detail-table.verification-detail-table-regular > tbody > tr > th,
.verification-detail-table.verification-detail-table-regular > tbody > tr > td,
.verification-detail-table.verification-detail-table-regular > tfoot > tr > th,
.verification-detail-table.verification-detail-table-regular > tfoot > tr > td {
  font-size: 12px;
}

.verification-detail-table.verification-detail-table-regular .vcode {
  font-size: 12px;
}

.verification-detail-table.verification-detail-table-regular .vmeta {
  font-size: 11px;
}

.verification-detail-table.verification-detail-table-regular .stat-sub {
  font-size: 11px;
}

.run-details-page.run-details-page-compact .verification-detail-table > thead > tr:first-child > th {
  text-align: left;
}

.run-details-page.run-details-page-compact .verification-detail-table > thead > tr:first-child > th .col-link {
  display: block;
}

.col-link {
  display: inline-block;
  max-width: 100%;
}

.col-title {
  display: -webkit-box;
  max-width: 100%;
  line-height: 1.2;
  white-space: normal;
  overflow-wrap: anywhere;
  word-break: break-word;
  -webkit-line-clamp: 3;
  -webkit-box-orient: vertical;
  overflow: hidden;
  text-overflow: ellipsis;
}

.vcell {
  font-weight: 700;
}

.verification-detail-table th.tone-ok,
.verification-detail-table td.tone-ok {
  background: #ecfdf5;
  color: var(--ok);
}

.verification-detail-table th.tone-fail,
.verification-detail-table td.tone-fail {
  background: #fef2f2;
  color: var(--danger);
}

.verification-detail-table th.tone-expected-nonac,
.verification-detail-table td.tone-expected-nonac {
  background: #eff6ff;
  color: #1d4ed8;
}

.verification-detail-table th.tone-running,
.verification-detail-table td.tone-running {
  background: #eff6ff;
  color: #1d4ed8;
}

.verification-detail-table th.tone-neutral,
.verification-detail-table td.tone-neutral {
  background: #f9fafb;
  color: var(--muted);
}

.verification-detail-table th.col-bad,
.verification-detail-table td.col-bad {
  background: #fef2f2;
  color: var(--danger);
}

.tcell {
  text-align: left;
  white-space: nowrap;
}

.tcell .vcode {
  font-size: 11px;
}

.tcell .vmeta {
  margin-left: 4px;
}

.verification-detail-table [data-popup-open="run-test-detail-popup"][data-test-name] {
  color: inherit;
  text-decoration: none;
}

.vcell > [data-popup-open="run-test-detail-popup"][data-test-name] {
  display: block;
  width: 100%;
  text-align: center;
  line-height: 1.2;
  white-space: nowrap;
  overflow-wrap: normal;
}

.tcell > [data-popup-open="run-test-detail-popup"][data-test-name] {
  display: inline-block;
  width: auto;
  text-align: left;
  line-height: 1.2;
  white-space: nowrap;
  overflow-wrap: normal;
  font-weight: 700;
}

.vcode {
  display: inline;
  font-size: 11px;
  font-weight: 700;
  line-height: 1.1;
}

.vmeta {
  display: inline;
  margin-left: 2px;
  font-size: 10px;
  line-height: 1.1;
  color: var(--muted);
  opacity: 1;
  font-weight: 400;
  white-space: nowrap;
}

.verification-detail-table [data-popup-open="run-test-detail-popup"][data-test-name]:hover {
  text-decoration: underline;
}

.verification-detail-popup {
  width: min(1560px, calc(100vw - 10px));
  height: auto;
  max-height: calc(100vh - 10px);
}

.verification-detail-popup .ui-popup-content {
  display: block;
  min-width: 0;
  min-height: 0;
  max-height: calc(100vh - 90px);
  overflow: auto;
}

.verification-detail-popup .ui-popup-content > * + * {
  margin-top: 10px;
}

.verification-detail-popup .ui-popup-title {
  min-width: 0;
  max-width: 100%;
  display: -webkit-box;
  line-height: 1.2;
  white-space: normal;
  overflow-wrap: anywhere;
  word-break: break-word;
  -webkit-line-clamp: 3;
  -webkit-box-orient: vertical;
  overflow: hidden;
  text-overflow: ellipsis;
}

.run-verdict-unexpected {
  background: #fef2f2;
  color: var(--danger);
  border-radius: 4px;
  padding: 1px 6px;
}

.run-verdict-ok {
  background: #ecfdf5;
  color: var(--ok);
  border-radius: 4px;
  padding: 1px 6px;
}

.run-verdict-expected {
  background: #eff6ff;
  color: #1d4ed8;
  border-radius: 4px;
  padding: 1px 6px;
}

.sol-list {
  display: grid;
  gap: 8px;
}

.sol-card {
  border: 1px solid var(--line);
  background: #fff;
  padding: 8px;
  display: grid;
  gap: 6px;
}

.sol-head {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 8px;
  flex-wrap: wrap;
}

.sol-title {
  min-width: 0;
  max-width: 100%;
  display: -webkit-box;
  line-height: 1.2;
  white-space: normal;
  overflow-wrap: anywhere;
  word-break: break-word;
  -webkit-line-clamp: 3;
  -webkit-box-orient: vertical;
  overflow: hidden;
  text-overflow: ellipsis;
}

.sol-verdict {
  font-weight: 700;
  font-size: 12px;
}

.sol-metrics {
  width: 100%;
  border-collapse: collapse;
  table-layout: fixed;
  font-size: 12px;
}

.sol-metrics col.time-col {
  width: 192px;
}

.sol-metrics col.mem-col {
  width: 96px;
}

.sol-metrics col.fb-col {
  width: auto;
}

.sol-metrics th,
.sol-metrics td {
  border: 1px solid var(--line);
  padding: 4px 6px;
  text-align: left;
  overflow-wrap: anywhere;
}

.sol-metrics th {
  background: #f8fafc;
  color: var(--muted);
  font-weight: 600;
}

.fb-cell {
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  word-break: break-word;
}

.sol-output {
  display: grid;
  gap: 4px;
}

.transcript {
  border: 1px solid var(--line);
  background: #f8fafc;
  border-radius: 6px;
  padding: 6px;
  display: grid;
  gap: 6px;
}

.transcript-head {
  font-size: 12px;
}

.transcript-list {
  display: grid;
  gap: 4px;
  max-height: 180px;
  overflow: auto;
}

.transcript-row {
  display: flex;
}

.transcript-left {
  justify-content: flex-start;
}

.transcript-right {
  justify-content: flex-end;
}

.transcript-bubble {
  display: inline-block;
  max-width: 88%;
  padding: 4px 8px;
  border-radius: 10px;
  border: 1px solid var(--line);
  white-space: pre-wrap;
  word-break: break-word;
  font-size: 11px;
  line-height: 1.35;
  background: #fff;
}

.transcript-left .transcript-bubble {
  background: #ecfeff;
}

.transcript-right .transcript-bubble {
  background: #eef2ff;
}

.sol-output-head {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 8px;
  flex-wrap: wrap;
}

.sol-output-head > a {
  width: fit-content;
}

.test-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(280px, 1fr));
  gap: 8px;
  margin-bottom: 8px;
  min-width: 0;
}

.preview-card {
  border: 1px solid var(--line);
  background: #fff;
  padding: 6px;
  min-width: 0;
}

.preview-head {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 8px;
  margin-bottom: 4px;
}

.preview-content {
  margin: 0;
  border: 1px solid var(--line);
  background: #f8fafc;
  padding: 4px;
  font-size: 11px;
  line-height: 1.3;
  white-space: pre-wrap;
  word-break: break-word;
  max-height: 180px;
  overflow: auto;
}

.empty-text {
  color: #6b7280;
  font-style: italic;
}

.output-preview {
  width: 100%;
  min-width: 0;
  max-width: 100%;
  max-height: 120px;
  border: none;
  background: transparent;
  padding: 0;
}

.compile-diagnostics-card {
  border: 1px solid var(--line);
  background: #fff;
  padding: 8px;
  margin: 8px 0;
}

.compile-diagnostics-head {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 8px;
  margin-bottom: 6px;
}

.compile-diagnostics-error {
  margin: 6px 0;
  color: var(--danger);
  white-space: pre-wrap;
  word-break: break-word;
}

.compile-diagnostics-log {
  margin: 6px 0;
  border: 1px solid var(--line);
  background: #f8fafc;
  padding: 6px;
  font-size: 11px;
  line-height: 1.35;
  white-space: pre-wrap;
  word-break: break-word;
  max-height: 260px;
  overflow: auto;
}

.compile-diagnostics-list {
  margin: 6px 0;
  display: grid;
  gap: 4px;
}

.compile-diagnostics-row {
  display: grid;
  grid-template-columns: max-content max-content minmax(0, 1fr);
  gap: 8px;
  align-items: start;
  border: 1px solid var(--line);
  background: #ffffff;
  padding: 6px;
  font-size: 11px;
}

.compile-diagnostics-row-error {
  background: #fef2f2;
  border-color: #fecaca;
}

.compile-diagnostics-row-warning {
  background: #fffbeb;
  border-color: #fcd34d;
}

.compile-diagnostics-row-note {
  background: #eff6ff;
  border-color: #93c5fd;
}

.compile-diagnostics-level {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-width: 52px;
  padding: 1px 6px;
  border-radius: 999px;
  border: 1px solid var(--line);
  background: #f3f4f6;
  font-weight: 700;
  text-transform: uppercase;
}

.compile-diagnostics-row-error .compile-diagnostics-level {
  background: #fee2e2;
  border-color: #fecaca;
  color: #b91c1c;
}

.compile-diagnostics-row-warning .compile-diagnostics-level {
  background: #fef3c7;
  border-color: #fcd34d;
  color: #92400e;
}

.compile-diagnostics-row-note .compile-diagnostics-level {
  background: #dbeafe;
  border-color: #93c5fd;
  color: #1d4ed8;
}

.compile-diagnostics-location {
  color: #475569;
  white-space: nowrap;
}

.compile-diagnostics-message {
  overflow-wrap: anywhere;
}

.compile-diagnostics-raw {
  margin-top: 6px;
}

.compile-diagnostics-raw > summary {
  cursor: pointer;
  color: #475569;
  font-size: 11px;
}

.tests-mode-switch {
  display: inline-flex;
  align-items: center;
  gap: 6px;
}

.tests-mode-button {
  border-color: #cbd5e1;
  background: #f8fafc;
  color: #111827;
  font-weight: 500;
}

.tests-mode-button:hover:not(:disabled) {
  background: #eef2f7;
}

.tests-mode-button.active {
  border-color: #111827;
  background: #111827;
  color: #ffffff;
}

.tests-heading-row {
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap: 8px;
  margin-bottom: 6px;
}

.tests-heading-actions {
  display: inline-flex;
  align-items: center;
  gap: 12px;
}

.tests-editor-table {
  border-collapse: separate;
  border-spacing: 0;
  table-layout: fixed;
  border: 1px solid var(--line);
  background: #ffffff;
}

.tests-editor-table th,
.tests-editor-table td {
  border: 0;
  vertical-align: top;
  padding: 8px 10px;
}

.tests-editor-table tr:first-child th {
  background: #f8fafc;
  border-bottom: 1px solid var(--line);
}

.tests-editor-table tr + tr td {
  border-top: 1px solid var(--line);
}

.tests-index {
  font-weight: 700;
}

.tests-kind {
  border: 1px solid var(--line);
  background: #f3f4f6;
  padding: 1px 6px;
  font-size: 12px;
}

.tests-kind-manual {
  background: #ecfdf5;
  border-color: #86efac;
}

.tests-kind-gen {
  background: #eff6ff;
  border-color: #93c5fd;
}

.tests-editor-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 6px;
}

.tests-editor-actions-cell {
  display: flex;
  align-items: center;
  flex-wrap: wrap;
  gap: 8px;
}

.tests-editor-actions-row {
  align-items: center;
  gap: 10px;
}

.tests-editor-actions-row form,
.verification-start-form,
.action-link-form,
.solutions-delete-form {
  display: inline-flex;
  margin: 0;
}

.tests-editor-table .tests-col-test {
  width: 210px;
}

.tests-editor-table .tests-col-preview {
  width: auto;
}

.tests-editor-table .tests-col-actions {
  width: 300px;
}

.tests-preview-cell {
  margin: 0;
  max-height: 220px;
  overflow: auto;
  border: 0;
  background: transparent;
  padding: 0;
  white-space: pre-wrap;
  word-break: break-word;
  font-size: 12px;
  line-height: 1.35;
}

.tests-cell-line {
  display: flex;
  align-items: center;
  flex-wrap: wrap;
  gap: 6px;
}

.tests-cell-line + .tests-cell-line {
  margin-top: 4px;
}

.tests-cell-line-main {
  font-weight: 600;
}

.tests-editor-actions-cell form {
  display: inline-flex;
  margin: 0;
}

.tests-preview-note {
  margin: 6px 0 0;
}

.tests-editor-item-new-focus {
  outline: 2px solid #111827;
  outline-offset: -2px;
}

.tests-form-grid,
.run-execute-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 10px;
}

.tests-form-grid-single-extra {
  margin-top: 10px;
}

.tests-form-grid-single-extra > .tests-subsection {
  grid-column: 1 / -1;
}

.tests-subsection {
  border: 1px solid var(--line);
  background: #ffffff;
  padding: 8px;
}

.selected-path-actions-list {
  gap: 10px;
}

.selected-path-form {
  gap: 6px;
}

.selected-path-form input[type="file"] {
  width: auto;
}

.files-grid button,
.files-grid .button-link {
  border-color: #cbd5e1;
  background: #f8fafc;
  color: #111827;
  font-weight: 500;
  white-space: nowrap;
}

.files-grid button:hover:not(:disabled),
.files-grid .button-link:hover:not([aria-disabled="true"]) {
  background: #eef2f7;
}

.files-grid .primary-action {
  border-color: #94a3b8;
  background: #e5e7eb;
  color: #111827;
}

.files-grid .primary-action:hover:not(:disabled) {
  background: #dde3eb;
}

.files-grid .selected-path-form .form-row,
.files-grid .files-template-form {
  flex-wrap: nowrap;
}

.files-grid {
  grid-template-columns: minmax(0, 1.05fr) minmax(0, 1.35fr);
  grid-template-areas:
    "browser editor"
    "ops editor";
  align-items: start;
}

.files-grid .files-panel {
  min-width: 0;
}

.files-grid .files-panel-browser {
  grid-area: browser;
}

.files-grid .files-panel-editor {
  grid-area: editor;
}

.files-grid .files-panel-ops {
  grid-area: ops;
}

.files-pdf-preview {
  min-height: 620px;
  height: 70vh;
}

@media (max-width: 1240px) {
  .files-grid {
    grid-template-columns: minmax(0, 1fr);
    grid-template-areas:
      "browser"
      "editor"
      "ops";
  }
}

.files-grid .selected-path-form .form-row > label {
  flex: 0 0 122px;
  white-space: nowrap;
}

.files-grid .selected-path-form .form-row > button {
  flex: 0 0 auto;
}

.test-preview,
.line-context {
  margin: 6px 0;
  border: 1px solid var(--line);
  background: #f9fafb;
  padding: 6px;
  white-space: pre-wrap;
  word-break: break-word;
  font-size: 12px;
}

.solution-pick-actions {
  display: inline-flex;
  align-items: center;
  gap: 10px;
  font-size: 12px;
}

.solution-pick-list {
  max-height: 360px;
  overflow: auto;
  border: 1px solid var(--line);
  background: #ffffff;
  padding: 4px;
}

.solution-pick-item {
  display: flex;
  align-items: flex-start;
  gap: 8px;
  padding: 6px;
}

.solution-pick-main {
  font-family: Consolas, "Courier New", monospace;
  font-size: 12px;
}

.solution-pick-help {
  margin-top: 6px;
}

.solutions-table {
  table-layout: fixed;
}

.solutions-table col.solutions-col-source {
  width: 190px;
}

.solutions-table col.solutions-col-expected {
  width: 250px;
}

.solutions-table col.solutions-col-actions {
  width: 360px;
}

.solutions-source-link {
  display: inline-block;
  max-width: 100%;
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
}

.solutions-source-link > code {
  display: inline-block;
  max-width: 100%;
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
}

.solutions-expected-cell .tag-form {
  width: 100%;
}

.solutions-expected-cell .tag-select {
  width: 100%;
  max-width: 100%;
}

.solutions-actions-cell {
  display: flex;
  align-items: center;
  gap: 10px;
  white-space: nowrap;
}

.solutions-rename-form {
  display: inline-flex;
  align-items: center;
  gap: 6px;
  margin: 0;
  flex: 0 0 auto;
}

.solutions-rename-form > input[name="new_path"] {
  flex: 0 0 170px;
  width: 170px;
  min-width: 170px;
}

.solutions-delete-form {
  display: inline-flex;
  flex: 0 0 auto;
}

.tag-select {
  -webkit-appearance: none;
  -moz-appearance: none;
  appearance: none;
  font-size: 12px;
  padding: 3px 6px;
  padding-right: 24px;
  background-position: right 8px center;
  background-repeat: no-repeat;
  background-size: 10px 6px;
  background-image: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='10' height='6' viewBox='0 0 10 6'%3E%3Cpath d='M1 1l4 4 4-4' fill='none' stroke='%236b7280' stroke-width='1.5'/%3E%3C/svg%3E");
}

/* Expected-behavior palette: ok / fail / info / neutral. */
.tag-select-main-correct,
.tag-select-accepted {
  color: var(--tag-ok-fg) !important;
  border-color: var(--tag-ok-border) !important;
  background-color: var(--tag-ok-bg) !important;
}

.tag-select-main-correct {
  font-weight: 700 !important;
}

.tag-select-main-correct option {
  font-weight: 400 !important;
}

.tag-select-main-correct option[value="main_correct"] {
  font-weight: 700 !important;
}

.tag-select-wrong-answer,
.tag-select-time-limit-exceeded,
.tag-select-run-time-error,
.tag-select-rejected {
  color: var(--tag-fail-fg) !important;
  border-color: var(--tag-fail-border) !important;
  background-color: var(--tag-fail-bg) !important;
}

.tag-select-expected {
  color: var(--tag-info-fg) !important;
  border-color: var(--tag-info-border) !important;
  background-color: var(--tag-info-bg) !important;
}

.tag-select-neutral {
  color: var(--tag-neutral-fg) !important;
  border-color: var(--tag-neutral-border) !important;
  background-color: var(--tag-neutral-bg) !important;
}

.tag-select option[value="main_correct"],
.tag-select option[value="accepted"] {
  color: var(--tag-ok-fg);
  background-color: var(--tag-ok-bg);
}

.tag-select option[value="main_correct"] {
  font-weight: 700;
}

.tag-select option[value="wrong_answer"],
.tag-select option[value="time_limit_exceeded"],
.tag-select option[value="run_time_error"],
.tag-select option[value="rejected"] {
  color: var(--tag-fail-fg);
  background-color: var(--tag-fail-bg);
}

.tag-select option[value="unknown"] {
  color: var(--tag-neutral-fg);
  background-color: var(--tag-neutral-bg);
}

.pdf-preview {
  width: 100%;
  height: 74vh;
  min-height: 680px;
  border: 1px solid var(--line);
  background: #ffffff;
}

.preview-log {
  max-width: 100%;
  overflow-x: auto;
  overflow-y: auto;
}

.flash {
  border: 1px solid var(--warn-line);
  background: var(--warn-bg);
  color: var(--warn-text);
  padding: 8px;
}

.flash-inline {
  margin: 0 0 10px;
  white-space: normal;
  overflow-wrap: anywhere;
}

.component-editor-error {
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  word-break: break-word;
}

body.popup-open,
body.confirm-open {
  overflow: hidden;
}

.ui-popup-overlay {
  position: fixed;
  inset: 0;
  z-index: 1250;
  display: grid;
  place-items: center;
  background: rgba(15, 23, 42, 0.35);
  padding: 16px;
}

.ui-popup-overlay[hidden] {
  display: none !important;
}

.ui-popup-dialog {
  width: min(880px, calc(100vw - 32px));
  max-height: calc(100vh - 32px);
  border: 1px solid var(--line);
  background: #ffffff;
  display: grid;
  grid-template-rows: auto minmax(0, 1fr);
  overflow: hidden;
}

.ui-popup-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
  border-bottom: 1px solid var(--line);
  padding: 10px 12px;
}

.ui-popup-title,
.ui-popup-header > h3 {
  margin: 0;
  font-size: 1.22rem;
  line-height: 1.2;
}

.ui-popup-close {
  white-space: nowrap;
}

.ui-popup-content {
  overflow: auto;
  padding: 12px;
  display: grid;
  gap: 10px;
}

.statement-editor-field {
  margin-bottom: 8px;
}

.statement-editor-field-head {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 8px;
  margin-bottom: 6px;
}

.statement-editor-field-head label {
  margin: 0;
}

.statement-draft-inline-trigger {
  white-space: nowrap;
  font-size: 13px;
}

.statement-draft-popup .ui-popup-dialog {
  width: min(760px, calc(100vw - 32px));
}

.statement-draft-list {
  display: grid;
  gap: 8px;
  max-height: min(46vh, 420px);
  overflow: auto;
}

.statement-draft-entry {
  border: 1px solid var(--line);
  background: #ffffff;
  padding: 8px;
  display: grid;
  gap: 6px;
}

.statement-draft-entry-head {
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap: 8px;
}

.statement-draft-entry-title {
  margin: 0;
  font-weight: 600;
}

.statement-draft-entry-meta {
  margin: 0;
  color: var(--muted);
  font-size: 12px;
}

.statement-draft-entry-preview {
  margin: 0;
  color: #334155;
  font-size: 13px;
  line-height: 1.4;
  white-space: pre-wrap;
  word-break: break-word;
}

.statement-draft-preview-list {
  display: grid;
  gap: 8px;
}

.statement-draft-preview-item {
  border: 1px dashed var(--line);
  padding: 6px;
  background: #f8fafc;
  display: grid;
  gap: 6px;
}

.statement-draft-preview-title {
  margin: 0;
  font-weight: 600;
  color: #0f172a;
  font-size: 12px;
}

.statement-draft-preview-body {
  margin: 0;
  white-space: pre-wrap;
  word-break: break-word;
  overflow-wrap: anywhere;
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;
  font-size: 12px;
  line-height: 1.45;
  color: #0f172a;
}

.statement-draft-entry-actions {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 8px;
}

.statement-draft-actions {
  display: flex;
  justify-content: flex-end;
}

.ui-confirm-overlay {
  position: fixed;
  inset: 0;
  z-index: 1300;
  display: grid;
  place-items: center;
  background: rgba(15, 23, 42, 0.35);
  padding: 16px;
}

.ui-confirm-overlay[hidden] {
  display: none !important;
}

.ui-confirm-dialog {
  width: min(540px, calc(100vw - 32px));
  border: 1px solid var(--line);
  background: #ffffff;
  padding: 12px;
  display: grid;
  gap: 10px;
}

.ui-confirm-message {
  margin: 0;
  color: #111827;
  line-height: 1.45;
}

.ui-confirm-actions {
  display: flex;
  justify-content: flex-end;
  gap: 8px;
}

.ui-confirm-cancel {
  border-color: #9ca3af;
  background: #f3f4f6;
  color: #111827;
}

.ui-confirm-cancel:hover:not(:disabled) {
  background: #e5e7eb;
}

.login-shell {
  min-height: 100vh;
  display: grid;
  place-items: center;
  padding: 24px;
}

.login-card {
  width: 460px;
  padding: 16px;
}

.page-profile {
  border-top: 1px solid var(--line);
  background: #eef2f7;
  color: #1f2937;
  padding: 8px 12px;
}

.page-profile-inner {
  display: flex;
  flex-direction: column;
  align-items: center;
  gap: 4px;
  font-size: 12px;
  text-align: center;
  width: 100%;
  max-width: var(--layout-max-width);
  margin: 0 auto;
}

.page-profile-row {
  display: flex;
  flex-wrap: nowrap;
  align-items: center;
  justify-content: center;
  gap: 14px;
  width: 100%;
}

.page-profile-row > span {
  min-width: 0;
}

.page-profile-title {
  font-size: 12px;
}

.page-profile-detail {
  display: inline-block;
  max-width: 100%;
  overflow: visible;
  text-overflow: clip;
  vertical-align: bottom;
  white-space: nowrap;
}