/* DEV ONLY — eliminar junto con dev-deploy-badge.js y el div#dev-deploy-badge en index.html */

#dev-deploy-badge {
    display: flex;
    align-items: center;
    gap: 6px;
    background: var(--fill-1);
    -webkit-backdrop-filter: var(--glass-blur-sm);
    backdrop-filter: var(--glass-blur-sm);
    border: 1px solid var(--border-light);
    border-radius: var(--radius-full);
    padding: 5px 11px;
    font-size: 0.7rem;
    color: var(--text-muted);
    white-space: nowrap;
    cursor: default;
    box-shadow: var(--shadow-sm);
}

#dev-deploy-badge i {
    font-size: 0.68rem;
    color: var(--gold);
}

#dev-deploy-badge .dev-badge-branch {
    color: var(--gold-deep);
    font-weight: 600;
}

#dev-deploy-badge .dev-badge-hash {
    font-family: 'SF Mono', ui-monospace, monospace;
    color: var(--text-secondary);
}

#dev-deploy-badge .dev-badge-sep {
    opacity: 0.35;
}

#dev-deploy-badge .dev-badge-time {
    color: var(--text-secondary);
}