.btn-info {
    background-color: var(--judge0-cyan);
    border-color: var(--judge0-cyan);
}

.btn-info:hover {
    background-color:  #24afc2;
    border-color:  #24afc2;
}


.btn-primary {
    background-color: var(--judge0-blue);
    border-color: var(--judge0-blue);
}

.btn-primary:hover {
    background-color: #2497f5;
    border-color: #2497f5;
}


.btn-outline-primary {
    border-color: var(--judge0-blue);
    color: var(--judge0-blue);
}

.btn-outline-primary:hover {
    background-color: var(--judge0-blue);
    border-color: var(--judge0-blue);
    color: white;
}


.btn-success {
    background-color: var(--judge0-green);
    border-color: var(--judge0-green);
}

.btn-success:hover {
    background-color: #46d25e;
    border-color: #46d25e;
}