Dark lksh ejudge by aboba

/* ==UserStyle==
@name         dark ejudge lksh
@version      20230105.13.57
@namespace    userstyles.world/user/aboba
@description  LKSH ejudge dark theme
@author       aboba
@license      No License
==/UserStyle== */

@-moz-document regexp(".*.ejudge.lksh.ru/(?!cgi-bin).*") {
/* ==UserStyle==
@name        EjudgeDarkTheme
@namespace   ejudge.lksh.ru
@version     0.1.2
@description dark theme for lksh ejudge
@author      grokmor
==/UserStyle== */

body {
    background-color: #27292b;
    color: #d4d4d4;
}

a {
    color: #6154fd !important;
}

a:hover {
    color: #483ebd !important;
}

a:visited {
    color: #8a80ff !important;
}

a:visited:hover {
    color: #635cb8 !important;
}

a:visited[href] {
    text-decoration: none !important;
}

a[href] {
    border: 0;
}

a:hover[href] {
    text-decoration: underline #483ebd !important;
}

a:visited:hover[href] {
    text-decoration: underline #635cb8 !important;
}

.parallel-name {
    border: none !important;
}

.parallels-menu > ul > li > a {
    text-decoration: none !important;
}

.parallels-menu ul > li > a:hover {
    text-decoration: none !important;
}

.important {
    color: #fffffc !important;
}

.main-menu a:hover, .main-menu span:hover, .main-menu a, .main-menu span {
    text-decoration: none !important;
    color: white !important;
}

table > tbody > tr > td {
    color: white !important;
}

.results > tbody * {
   background-color: #242424;
}

.subm_list {
    background-color: #27292b !important;
}

.results td {
    border: 3px solid #4d4d4d !important;
}

.results {
    border-collapse: collapse;
}

td.NO {
    background-color: #242424;
    color: #242424 !important;
}

.verdict {
    color: black !important;
}

.problem {
    background-color: #242424;
}

td.SV {
    background-color: white;
}

td.WA, td.RT, td.PE, td.TL, td.CE {
    background-color: #d84e4b;
}

td.OK {
    background-color: #0ab377;
}

td.PR {
    background-color: #ffce00;
}

td.RJ, td.IG {
    background-color: #288ac7;
}

td.CF {
    background-color: #7f3da1;
}

td.DQ {
    background-color: #000000;
}

td.SM {
    background-color: #49a6a4;
}

.schedule__item, .schedule__item__owner {
    color: #a4acbd;
}

.schedule__item__location {
    color: #ff4f11;
}

.current {
    border-bottom-color: #ff4f11 !important;
}

table > tbody > tr > td > form > input {
    border-style: solid !important;
    border-color: #4d4d4d;
}

input  {
    color: #d4d4d4 !important;
}
}