/* pdf-to-markdown — tool styles */
[data-page="tool"] .tool-output-area{
  font-family: var(--font-mono);
  font-size: var(--text-xs,.82rem);
  line-height: 1.5;
  white-space: pre-wrap;
}