.navbar-light #judge0-widgets-copyright.navbar-brand {
    color: #c3ccd5;
}

.navbar-dark #judge0-widgets-copyright.navbar-brand {
    color: #505962;
}

#judge0-top-nav {
    border-bottom: 1px solid var(--gray);
}