.download-links {
    text-align: center;
}
.os-download-list {
    margin-top: 20px;
    display: none;
}
.os-download-list.active {
    display: block;
}
.os-button.selected {
    text-decoration: underline;
}

/* Modal styles */
.modal-backdrop {
    position: fixed;
    top: 0; left: 0; right: 0; bottom: 0;
    background: rgba(0,0,0,0.6);
    display: none;
    align-items: center;
    justify-content: center;
    z-index: 999;
}
.modal-backdrop.active {
    display: flex;
}
.modal {
    background: #fff;
    padding: 20px;
    max-width: 500px;
    width: 100%;
    border-radius: 5px;
}
.modal h3 {
    margin-top: 0;
}
.modal pre {
    background: #f5f5f5;
    padding: 10px;
    overflow-x: auto;
}
.modal button.close {
    float: right;
    margin-top: -10px;
    margin-right: -10px;
    background: none;
    border: none;
    font-size: 20px;
    cursor: pointer;
}
.modal .download-direct {
    margin-top: 20px;
    text-align: center;
}
.modal .download-direct a {
    text-decoration: underline;
    color: blue;
}