.operation-form {
  padding: 20px 18px;
  border-bottom: 1px solid var(--border);
}

.operation-form>label,
.operation-fields>label,
.prufer-input label {
  display: grid;
  gap: 7px;
  font-size: 11px;
  color: #999;
}

.operation-form select {
  color: white;
  width: 100%;
  margin-bottom: 14px;
  background: #111;
}

.operation-form label>input {
  width: 100%;
  margin-bottom: 10px;
}

.path-selectors,
.search-controls {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 10px;
}

.path-selectors label,
.search-controls label {
  display: grid;
  gap: 6px;
  font-size: 10px;
  color: #999;
}

.search-controls input {
  width: 100%;
  margin-bottom: 12px;
}

.run-button {
  background: #eee;
  color: #111;
  border-color: #eee;
  width: 100%;
  display: flex;
  justify-content: space-between;
  align-items: center;
  margin-top: 4px;
  padding: 10px 11px;
}

.run-button:hover {
  background: #ccc;
}

.run-button span {
  font-size: 9px;
  color: #555;
}

.result-state {
  color: #aaa;
  font-size: 10px;
  letter-spacing: 0;
}

.result-state.stale {
  color: white;
  text-decoration: underline;
}

.eyebrow {
  font-size: 10px;
  letter-spacing: 1px;
  color: #999;
  margin-bottom: 10px;
}

.current-answer {
  padding: 22px 20px;
  border-bottom: 1px solid var(--border);
}

.answer {
  font-size: 13px;
  line-height: 1.9;
  max-height: 480px;
  overflow: auto;
}

.error {
  border-left: 2px solid #fff;
  padding-left: 10px;
}

.verification {
  margin-top: 18px;
  font-size: 10px;
  color: #bbb;
}

.explanation,
.reference-answer {
  padding: 14px 20px;
  border-bottom: 1px solid var(--border);
}

.explanation ol {
  padding-left: 22px;
  font-size: 11px;
  color: #aaa;
  margin: 12px 0 0;
  max-height: 330px;
  overflow: auto;
}

.explanation li {
  padding: 5px 0;
}

.reference-answer pre {
  font-size: 11px;
  max-height: 220px;
  overflow: auto;
  margin: 14px 0 10px;
}

.source-note {
  font-size: 10px;
  border-left: 2px solid #888;
  padding-left: 10px;
  color: #ccc;
  margin: 10px 0;
}

.source-note+details {
  padding-top: 10px;
}

.prufer-input {
  padding: 18px;
}

.prufer-input input {
  color: white;
}

.prufer-input p {
  margin-top: 9px;
}

.empty-state {
  padding: 28px 22px;
  color: #aaa;
}

.empty-state h2 {
  font-size: 14px;
  font-weight: 400;
  color: white;
  margin-bottom: 10px;
}

.empty-state p {
  font-size: 11px;
  line-height: 1.9;
  margin-bottom: 17px;
}

.empty-symbol {
  display: block;
  font-size: 22px;
  margin-bottom: 16px;
  color: #777;
}

.global-error {
  padding: 12px;
  border: 1px solid #aaa;
  margin-bottom: 15px;
}

.graph-stats {
  display: flex;
  flex-wrap: wrap;
  gap: 15px;
  margin-bottom: 20px;
  font-size: 10px;
  color: #999;
}

.graph-stats strong {
  display: block;
  color: #eee;
  font-size: 21px;
  font-weight: 400;
}

.result-table-wrap {
  overflow: auto;
  max-height: 440px;
}

.result-table-wrap td,
.result-table-wrap th {
  font-size: 11px;
  white-space: normal;
  padding: 8px;
  min-width: 30px;
}

.path-results {
  font-size: 12px;
  max-height: 460px;
  overflow: auto;
}

.path-results p {
  padding: 8px 0;
  border-bottom: 1px solid #242424;
}

.edge-result {
  font-size: 12px;
  line-height: 2.1;
  margin: 12px 0 18px;
}