* {
    margin: 0;
    padding: 0;
    box-sizing: border-box;
}

body {
    font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, Oxygen, Ubuntu, Cantarell, sans-serif;
    line-height: 1.6;
    color: #333;
    background-color: #f5f5f5;
}

.container {
    max-width: 1800px;
    margin: 0 auto;
    padding: 20px;
}

header {
    text-align: center;
    margin-bottom: 30px;
    padding: 20px;
    background: white;
    border-radius: 8px;
    box-shadow: 0 2px 4px rgba(0,0,0,0.1);
}

header h1 {
    font-size: 2.5em;
    margin-bottom: 10px;
    color: #2c3e50;
}

.subtitle {
    color: #666;
    font-size: 1.1em;
}

.tabs {
    display: flex;
    gap: 10px;
    margin-bottom: 20px;
}

.tab-button {
    flex: 1;
    padding: 15px 30px;
    border: none;
    background: white;
    cursor: pointer;
    font-size: 1.1em;
    font-weight: 600;
    border-radius: 8px;
    box-shadow: 0 2px 4px rgba(0,0,0,0.1);
    transition: all 0.3s ease;
}

.tab-button:hover {
    background: #e8f4f8;
}

.tab-button.active {
    background: #3498db;
    color: white;
}

.filters {
    display: flex;
    gap: 15px;
    margin-bottom: 20px;
    padding: 20px;
    background: white;
    border-radius: 8px;
    box-shadow: 0 2px 4px rgba(0,0,0,0.1);
    flex-wrap: wrap;
}

.filter-group {
    flex: 1;
    min-width: 200px;
}

.filter-group label {
    display: block;
    margin-bottom: 5px;
    font-weight: 600;
    color: #555;
}

.filter-group select {
    width: 100%;
    padding: 10px;
    border: 1px solid #ddd;
    border-radius: 4px;
    font-size: 1em;
    background: white;
}

.filter-group.checkbox-group {
    display: flex;
    align-items: center;
    min-width: auto;
}

.filter-group.checkbox-group label {
    display: flex;
    align-items: center;
    margin-bottom: 0;
    cursor: pointer;
    font-weight: 500;
}

.filter-group.checkbox-group input[type="checkbox"] {
    margin-right: 8px;
    width: 18px;
    height: 18px;
    cursor: pointer;
}

.reproduce-section {
    background: white;
    border-radius: 8px;
    box-shadow: 0 2px 4px rgba(0,0,0,0.1);
    margin-bottom: 20px;
    overflow: hidden;
}

.reproduce-section.hidden {
    display: none;
}

.reproduce-header {
    padding: 10px 15px;
    background: #f8f9fa;
    cursor: pointer;
    user-select: none;
    display: flex;
    justify-content: space-between;
    align-items: center;
    font-weight: 600;
    color: #555;
    font-size: 0.95em;
}

.reproduce-header:hover {
    background: #e9ecef;
}

.reproduce-toggle {
    transition: transform 0.3s ease;
    font-size: 0.8em;
}

.reproduce-header.expanded .reproduce-toggle {
    transform: rotate(90deg);
}

.reproduce-content {
    max-height: 0;
    overflow: hidden;
    transition: max-height 0.3s ease;
}

.reproduce-content.expanded {
    max-height: 500px;
    padding: 15px;
    border-top: 1px solid #dee2e6;
}

.reproduce-content p {
    margin-bottom: 10px;
    color: #555;
    font-size: 0.95em;
}

.reproduce-content pre {
    background: #f8f9fa;
    padding: 12px;
    border-radius: 4px;
    border-left: 3px solid #3498db;
    overflow-x: auto;
}

.reproduce-content code {
    font-family: 'Courier New', Courier, monospace;
    font-size: 0.9em;
    line-height: 1.4;
    color: #2c3e50;
}

#content {
    background: white;
    padding: 30px;
    border-radius: 8px;
    box-shadow: 0 2px 4px rgba(0,0,0,0.1);
}

.loading {
    text-align: center;
    padding: 40px;
    color: #666;
    font-size: 1.2em;
}

.results-section {
    margin-bottom: 40px;
}

.results-section h2 {
    color: #2c3e50;
    margin-bottom: 10px;
    padding: 10px;
    border-bottom: 2px solid #3498db;
    background: #f8f9fa;
    cursor: pointer;
    user-select: none;
    display: flex;
    justify-content: space-between;
    align-items: center;
}

.results-section h2:hover {
    background: #e9ecef;
}

.results-section h2::after {
    content: '▼';
    font-size: 0.8em;
    transition: transform 0.3s ease;
}

.results-section h2.collapsed::after {
    transform: rotate(-90deg);
}

.results-section-content {
    overflow: visible;
}

.results-section-content.collapsed {
    display: none;
}

.results-section h3 {
    color: #555;
    margin-top: 20px;
    margin-bottom: 15px;
}

.info-box {
    background: #e8f4f8;
    padding: 15px;
    border-radius: 4px;
    margin-bottom: 20px;
    border-left: 4px solid #3498db;
}

.info-box p {
    margin-bottom: 5px;
}

.hardware-info {
    background: #f8f9fa;
    padding: 12px 15px;
    border-radius: 4px;
    margin-bottom: 20px;
    border-left: 3px solid #6c757d;
    font-size: 0.95em;
}

.hardware-info strong {
    color: #495057;
}

.table-container {
    overflow-x: auto;
    margin-bottom: 30px;
}

table {
    width: 100%;
    border-collapse: collapse;
    margin-bottom: 20px;
}

table thead {
    background: #34495e;
    color: white;
}

table th {
    padding: 12px;
    text-align: center;
    font-weight: 600;
    cursor: pointer;
    user-select: none;
    position: relative;
    border-left: 1px solid #555;
}

table th:first-child {
    border-left: none;
    text-align: left;
}

table thead tr:first-child th {
    background: #2c3e50;
    border-bottom: 2px solid #555;
}

table thead tr:nth-child(2) th {
    background: #34495e;
    font-size: 0.9em;
}

table th:hover {
    background: #2c3e50;
}

table th.sortable::after {
    content: ' ⇅';
    font-size: 0.8em;
    opacity: 0.5;
}

table th.sorted-asc::after {
    content: ' ▲';
    opacity: 1;
}

table th.sorted-desc::after {
    content: ' ▼';
    opacity: 1;
}

table td {
    padding: 10px 12px;
    border-bottom: 1px solid #ddd;
}

table tbody tr:hover {
    background: #f8f9fa;
}

table tbody tr:nth-child(even) {
    background: #fafafa;
}

.crash-sdk {
    color: #e74c3c;
}

.crash-prover {
    color: #c0392b;
    font-weight: bold;
}

.empty-result {
    color: #999;
}

.no-results {
    text-align: center;
    padding: 40px;
    color: #666;
    font-style: italic;
}

.summary-table {
    margin-top: 30px;
}

.summary-table th {
    background: #2c3e50;
}

.summary-table .zkvm-cell {
    font-weight: 600;
    background: #f8f9fa;
    vertical-align: middle;
    border-right: 2px solid #ddd;
}

.summary-table .el-client-subrow {
    padding-left: 20px;
    font-size: 0.95em;
}

a {
    color: #3498db;
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

.notes {
    background: #fff9e6;
    padding: 15px;
    border-radius: 4px;
    margin-bottom: 20px;
    border-left: 4px solid #f39c12;
}

.notes ul {
    margin-left: 20px;
}

.notes li {
    margin-bottom: 5px;
}

@media (max-width: 768px) {
    .filters {
        flex-direction: column;
    }

    .filter-group {
        width: 100%;
    }

    .tabs {
        flex-direction: column;
    }

    table {
        font-size: 0.9em;
    }

    table th, table td {
        padding: 8px;
    }
}