/* Static export (7/0/0): one frozen run, no server -> hide the controls that need one. */
label:has(> #run), #reload, label:has(> #latest), #clustering-extra, .canvas-extra { display: none !important; }
.static-badge {
  font-size: 12px; color: #6a5a1f; background: #fff6d6; border: 1px solid #ecd98c;
  border-radius: 10px; padding: 1px 8px; white-space: nowrap;
}