#allproblems_filter {
    float: left !important;
    display: block;
}

#allproblems_info {
    display: block;
}

.badge {
    color: #1a1e21;
    font-weight: normal;
}

.badge-brown {
    background-color: rgb(233, 229, 227);
}

.badge-purple {
    background-color: rgb(234, 228, 242);
}

.badge-blue {
    background-color: rgb(221, 235, 241);
}

.badge-red {
    background-color: rgb(251, 228, 228);
}

.badge-green {
    background-color: rgb(221, 237, 234);
}

.badge-pink {
    background-color: rgb(244, 223, 235);
}

.badge-orange {
    background-color: rgb(250, 235, 221);
}

.badge-gray {
    background-color: rgb(235, 236, 237);
}

.badge-default {
    background-color: rgb(255, 255, 255);
}

.badge-yellow {
    background-color: rgb(251, 243, 219);
}

/*--color-bg-gray-light: rgba(235, 236, 237, 0.3);*/
/*--color-bg-brown-light: rgba(233, 229, 227, 0.3);*/
/*--color-bg-orange-light: rgba(250, 235, 221, 0.3);*/
/*--color-bg-yellow-light: rgba(251, 243, 219, 0.3);*/
/*--color-bg-green-light: rgba(221, 237, 234, 0.3);*/
/*--color-bg-blue-light: rgba(221, 235, 241, 0.3);*/
/*--color-bg-purple-light: rgba(234, 228, 242, 0.3);*/
/*--color-bg-pink-light: rgba(244, 223, 235, 0.3);*/
/*--color-bg-red-light: rgba(251, 228, 228, 0.3);*/
/*--color-pill-default: rgba(206, 205, 202, 0.5);*/
/*--color-pill-gray: rgba(155, 154, 151, 0.4);*/
/*--color-pill-brown: rgba(140, 46, 0, 0.2);*/
/*--color-pill-orange: rgba(245, 93, 0, 0.2);*/
/*--color-pill-yellow: rgba(233, 168, 0, 0.2);*/
/*--color-pill-green: rgba(0, 135, 107, 0.2);*/
/*--color-pill-blue: rgba(0, 120, 223, 0.2);*/
/*--color-pill-purple: rgba(103, 36, 222, 0.2);*/
/*--color-pill-pink: rgba(221, 0, 129, 0.2);*/

.ep-difficulty-Easy {
    --bs-bg-opacity: 1;
    background-color: rgba(25, 135, 84, 1) !important;
}

.ep-difficulty-Medium {
    --bs-bg-opacity: 1;
    background-color: rgba(255, 193, 7, 1) !important;
}

.ep-difficulty-Hard {
    --bs-bg-opacity: 1;
    background-color: rgba(220, 53, 69, 1) !important;
}

details > div {
    padding-left: 1em;
}

details > span > details {
    margin-left: 1em;
}

pre {
    border-radius: 5px;
    margin: 10px 0;
    padding: 1em;
    direction: ltr;
    overflow: auto;
    color: #37352f;
    font-size: .9em;
    line-height: 1.4;
    word-wrap: break-word;
    -moz-tab-size: 2;
    tab-size: 2;
    background-color: rgba(239, 239, 239);
}