/* batch-rename — tool styles (extends the shared batch-helper look) */
[data-page="tool"] .bh-name{font-family:var(--font-mono)}
[data-page="tool"] .bh-card{border-color:var(--color-border,rgba(127,127,127,.28))}