/* PLC Designer — Web GUI Styles */

body {
    background: #f5f7fa;
    font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, sans-serif;
}

.navbar-brand {
    font-weight: 700;
    font-size: 1.3rem;
}

.card {
    border: none;
    box-shadow: 0 1px 3px rgba(0,0,0,0.08);
    border-radius: 10px;
}

.card-header {
    background: transparent;
    border-bottom: 1px solid rgba(0,0,0,0.05);
    font-weight: 600;
}

.btn {
    border-radius: 8px;
}

.footer {
    border-top: 1px solid rgba(0,0,0,0.05);
}

#code-preview, #code-output {
    tab-size: 4;
    -moz-tab-size: 4;
}

.badge {
    font-weight: 500;
}

/* Animazione card hover */
.card:hover {
    box-shadow: 0 4px 12px rgba(0,0,0,0.1);
    transition: box-shadow 0.2s ease;
}

/* Transition row hover */
.transition-row:hover {
    background: #e9ecef !important;
}

/* Stato card hover */
.state-card:hover {
    box-shadow: 0 2px 8px rgba(0,0,0,0.1);
}