/* Custom styles for formal verification platform */

body {
    background-color: #f8f9fa;
    font-family: 'Segoe UI', Tahoma, Geneva, Verdana, sans-serif;
}

.navbar-brand {
    font-weight: 600;
    font-size: 1.25rem;
}

.card {
    border: none;
    box-shadow: 0 0.125rem 0.25rem rgba(0, 0, 0, 0.075);
    border-radius: 0.5rem;
}

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

.verification-step {
    padding: 1rem;
    border-radius: 0.5rem;
    background-color: rgba(0, 0, 0, 0.02);
    height: 100%;
    border: 1px solid rgba(0, 0, 0, 0.05);
}

.verification-step i {
    display: block;
    margin-bottom: 0.5rem;
}

.btn-primary {
    background-color: #0066cc;
    border-color: #0066cc;
}

.btn-primary:hover {
    background-color: #0052a3;
    border-color: #0052a3;
}

.alert {
    border: none;
    border-radius: 0.5rem;
}

.alert-info {
    background-color: #e3f2fd;
    color: #1565c0;
}

.alert-success {
    background-color: #e8f5e8;
    color: #2e7d32;
}

.alert-danger {
    background-color: #ffebee;
    color: #c62828;
}

pre {
    font-size: 0.875rem;
    line-height: 1.4;
}

.badge {
    font-size: 0.875rem;
}

.table td {
    border-top: 1px solid rgba(0, 0, 0, 0.05);
    padding: 0.5rem;
}

.form-control:focus {
    border-color: #0066cc;
    box-shadow: 0 0 0 0.2rem rgba(0, 102, 204, 0.25);
}

.btn:focus {
    box-shadow: 0 0 0 0.2rem rgba(0, 102, 204, 0.25);
}

footer {
    margin-top: auto;
}

/* Loading states */
.loading {
    opacity: 0.6;
    pointer-events: none;
}

.spinner-border-sm {
    width: 1rem;
    height: 1rem;
}

/* File upload styling */
.form-control[type="file"] {
    padding: 0.5rem;
}

.form-control[type="file"]::-webkit-file-upload-button {
    background-color: #f8f9fa;
    border: 1px solid #ced4da;
    border-radius: 0.25rem;
    padding: 0.375rem 0.75rem;
    margin-right: 0.75rem;
    cursor: pointer;
}

.form-control[type="file"]::-webkit-file-upload-button:hover {
    background-color: #e9ecef;
}

/* Code display */
code {
    background-color: rgba(0, 0, 0, 0.05);
    padding: 0.2rem 0.4rem;
    border-radius: 0.25rem;
    font-size: 0.875rem;
}

/* Status indicators */
.text-success {
    color: #28a745 !important;
}

.text-danger {
    color: #dc3545 !important;
}

.text-warning {
    color: #ffc107 !important;
}

/* Responsive adjustments */
@media (max-width: 768px) {
    .container-fluid {
        padding-left: 1rem;
        padding-right: 1rem;
    }
    
    .card-body {
        padding: 1rem;
    }
    
    .btn-lg {
        padding: 0.75rem 1.5rem;
        font-size: 1rem;
    }
}

/* Print styles for audit reports */
@media print {
    .navbar, footer, .btn, .alert-dismissible .btn-close {
        display: none !important;
    }
    
    .card {
        border: 1px solid #000 !important;
        box-shadow: none !important;
    }
    
    .card-header {
        background-color: #f0f0f0 !important;
        -webkit-print-color-adjust: exact;
    }
    
    pre {
        white-space: pre-wrap;
        word-break: break-word;
    }
}