:root {
  --bg: #08110c;
  --panel: #0e1a14;
  --text: #d6e8dd;
  --muted: #8ea99a;
  --line: #254033;
}

html, body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;
}

.page { padding: 14px; }

.header {
  border: 1px solid var(--line);
  background: var(--panel);
  border-radius: 10px;
  padding: 10px 12px;
  margin-bottom: 12px;
}

.path {
  font-size: 12px;
  color: var(--muted);
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.codewrap {
  border: 1px solid var(--line);
  border-radius: 10px;
  overflow: auto;
  background: #0b1510;
  padding: 12px;
}

.welcome { font-size: 13px; color: var(--text); }

.highlight { margin: 0; }
.highlight pre { margin: 0; }