/* General Page Styling */
body {
    font-family: Arial, sans-serif;
    line-height: 1.6;
    margin: 0;
    padding: 0;
    background-color: #f4f4f4;
}

h2 {
    text-align: center;
    color: #333;
    margin-bottom: 20px;
    font-size: 24px;
}

h3 {
    color: #444;
    margin-top: 20px;
    margin-bottom: 10px;
    font-size: 20px;
}

/* Styling for Program Results Section */
.program-results {
    background-color: #fff;
    padding: 20px;
    margin: 20px;
    border-radius: 8px;
    box-shadow: 0 0 10px rgba(0, 0, 0, 0.1);
}

.program-results h2 {
    color: #0056b3;
}

.source-code, .locfaults-code, .spectrum-results, .combined-results {
    margin-bottom: 20px;
}

.source-code pre, .locfaults-code ul, .locfaults-results ul, .spectrum-results ul, .combined-results ul {
    background-color: #f9f9f9;
    padding: 15px;
    border-radius: 5px;
    border: 1px solid #ddd;
}

.source-code code {
    font-family: Consolas, monospace;
    font-size: 14px;
    color: #c7254e;
    background-color: #f9f2f4;
    padding: 2px 4px;
    border-radius: 4px;
}

ul {
    list-style-type: none;
    padding-left: 0;
}

ul li {
    margin-bottom: 10px;
}

.locfaults-code ul li a {
    text-decoration: none;
    font-weight: bold;
}

ul li a:hover {
    color: #003d80;
}

/* Responsive Design */
@media (max-width: 768px) {
    .program-results {
        margin: 10px;
        padding: 15px;
    }

    h2, h3 {
        font-size: 18px;
    }
}

.program-links ul, .res-links ul {
    padding: 0;
    display: grid;
    grid-template-columns: repeat(auto-fill, minmax(300px, 1fr));
    gap: 5px;
}

.res-links ul li a {
    font-size: 0.75vw;
}

.program-links ul li a {
    font-size: 0.8vw;
}

.program-links ul {
    grid-template-columns: repeat(auto-fill, minmax(250px, 1fr));
}

.program-links ul li, .res-links ul li {
    padding: 5px;
    border-radius: 5px;
    text-align: center;
}

.program-links ul li a, .res-links ul li a {
    font-weight: bold;
}

.program-links ul li a:hover, .res-links ul li a:hover {
    color: #66CC66;
}



/********************************/
/* General Styles */


h2, h3 {
    color: #343a40;
    margin-bottom: 15px;
}

p {
    margin-bottom: 10px;
    color: #495057;
}

a {
    color: #66CC66;
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

/* Section Styles */
section.program-results {
    background-color: #ffffff;
    border: 1px solid #dee2e6;
    border-radius: 5px;
    margin: 20px;
    padding: 20px;
    box-shadow: 0 2px 4px rgba(0, 0, 0, 0.1);
}

/* Source Code Link Styles */
.source-code, .locfaults-code, .locfaults-results, .spectrum-results, .combined-results {
    margin-bottom: 30px;
}

.source-code a, .locfaults-code a, .locfaults-results a, .spectrum-results a, .combined-results a {
    display: inline-block;
    padding: 8px 12px;
    background-color: black;
    border-radius: 4px;
    margin-bottom: 5px;
    margin-right: 5px;
}

.source-code a:hover, .locfaults-code a:hover, .locfaults-results a:hover, .spectrum-results a:hover, .combined-results a:hover {
    background-color: #fff;
}

/* Benchmark Title Styles */
h2 {
    font-size: 24px;
    border-bottom: 2px solid #6c757d;
    padding-bottom: 5px;
    margin-bottom: 20px;
}

/* Faulty Program Section Styles */
.program-links ul, .res-links ul, .spectrum-results ul, .combined-results ul {
    list-style-type: none;
    padding: 0;
    margin: 0;
}

.program-links li, .res-links li, .spectrum-results li, .combined-results li {
    margin-bottom: 5px;
}

.program-links ul, .res-links ul, .spectrum-results ul, .combined-results ul {
    display: flex;
    flex-wrap: wrap;
}

.program-links li, .res-links li, .spectrum-results li, .combined-results li {
    flex: 1 1 calc(10% - 10px);
    margin-right: 0px;
    margin-bottom: 0px;
}

.program-links li:last-child, .res-links li:last-child, .spectrum-results li:last-child, .combined-results li:last-child {
    margin-right: 0;
}

/* Responsive Design */
@media (max-width: 768px) {
    .program-links li, .res-links li, .spectrum-results li, .combined-results li {
        flex: 1 1 calc(50% - 10px);
    }
}

@media (max-width: 576px) {
    .program-links li, .res-links li, .spectrum-results li, .combined-results li {
        flex: 1 1 100%;
    }
}


/**************************/