/* Developer tools A (JSON / XML / HTML / CSS / JS formatters): small additions only. */
.tool .outputs>.out{min-width:0}                       /* let wide preview tables scroll inside their box instead of stretching the page */
.dev-snippet{margin:0;white-space:pre;overflow:auto;max-width:100%;font-size:.85rem;line-height:1.45}
.dev-notes{margin:0;padding-left:1.2em}
.dev-notes li{margin:.3em 0}
.dev-verdict .result-line{display:flex;flex-wrap:wrap;align-items:center;gap:8px;margin:0 0 .4em}
.dev-verdict p{margin:.3em 0}