/* General styles */
body {
    font-family: Arial, sans-serif;
    margin: 20px;
    background-color: #f9f9f9;
    color: #333;
}

/* Title styles */
#leaderboard-title {
    text-align: center;
    color: #2c3e50;
    font-size: 2em;
    margin-bottom: 20px;
}

/* Back link styles */
#back-link {
    display: inline-block;
    margin: 10px 20px;
    font-size: 1rem;
    color: #3498db;
    text-decoration: none;
    border: 1px solid #3498db;
    padding: 8px 12px;
    border-radius: 4px;
    background-color: #f2f2f2;
    transition: background-color 0.3s, color 0.3s;
}

#back-link:hover {
    background-color: #3498db;
    color: #ffffff;
}

/* Table styles */
#leaderboard {
    width: 100%;
    border-collapse: collapse;
    margin: 0 auto;
    background: #ffffff;
    box-shadow: 0px 4px 8px rgba(0, 0, 0, 0.1);
}

#leaderboard thead {
    background-color: #34495e;
    color: white;
}

#leaderboard th,
#leaderboard td {
    padding: 10px;
    text-align: left;
    border: 1px solid #ddd;
}

#leaderboard th {
    font-weight: bold;
    text-transform: uppercase;
}

/* Alternating row colors */
#leaderboard tbody tr:nth-child(odd) {
    background-color: #f2f2f2; /* Light grey for odd rows */
}

#leaderboard tbody tr:nth-child(even) {
    background-color: #eaf6ff; /* Light blue for even rows */
}

#leaderboard tbody tr:hover {
    background-color: #d9f1ff; /* Highlight color on hover */
}

/* Specific column styles */
.ranking-column,
.ranking-cell {
    text-align: center;
    width: 5%;
}

.fuzzer-column,
.fuzzer-cell {
    width: 20%;
}

.score-column,
.bugs-column,
.coverage-column,
.speed-column {
    width: 15%;
    text-align: center;
}

/* Link styles */
.fuzzer-link {
    color: #3498db;
    text-decoration: none;
}

.fuzzer-link:hover {
    text-decoration: underline;
}