/* devtools/style.css — component styles Tailwind utilities can't express */
.editor {
  display: flex;
  height: 420px;
  width: 100%;
  border: 1px solid #cbd5e1;
  border-radius: 0.5rem;
  overflow: hidden;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 0.875rem;
  background: #ffffff;
}
.dark .editor { background: #0f172a; border-color: #334155; }
.editor-lines {
  padding: 0.5rem 0.75rem;
  min-width: 2.5rem;
  text-align: right;
  color: #94a3b8;
  background: #f1f5f9;
  user-select: none;
  overflow: hidden;
  white-space: pre;
  line-height: 1.25rem;
}
.dark .editor-lines { background: #1e293b; }
.editor-input {
  flex: 1;
  padding: 0.5rem 1rem;
  resize: none;
  border: 0;
  outline: none;
  background: transparent;
  color: inherit;
  line-height: 1.25rem;
  white-space: pre;
  overflow: auto;
}
.tool-output {
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 0.875rem;
  white-space: pre-wrap;
  word-break: break-all;
}