1/** judge box keys */
2
3.judge {
4    background-color: #e5e4e9;
5    padding: 5px 7px;
6    margin: -7px 0 14px;
7    border-radius: 5px;
8}
9
10.judge > p {
11    font-weight: bold;
12    color: #2b73b7;
13    cursor: pointer;
14    margin-bottom: 5px;
15}
16
17/** judge box inside */
18
19.true {
20    color: #738d00;
21}
22
23.warning {
24    color: #f89406;
25}
26
27.false {
28    color: #c10841;
29}
30
31#user_submissions {
32    padding-left: 20px;
33    padding-right: 0;
34    background: transparent url(images/submissions.png) no-repeat 0 0;
35}
36
37[dir=rtl] #user_submissions {
38    padding-left: 0;
39    padding-right: 20px;
40    background: transparent url(images/submissions.png) no-repeat 0 0;
41}
42
43#user_submissions {
44    background-position: left 0;
45}
46
47[dir=rtl] #user_submissions {
48    background-position: right 0;
49}
50
51[dir=rtl] .judge form label.block, [dir=rtl] .judge div label.block, [dir=rtl] form.admin-form label.block {
52    text-align: right;
53}
54
55.judge form label.block, .judge div label.block, form.admin-form label.block {
56    text-align: left;
57}
58
59form.admin-form label {
60    margin: 5px;
61}
62
63form.admin-form label select {
64    max-width: 200px;
65}
66
67/** submission's code is running */
68
69.loader:before,
70.loader:after,
71.loader {
72    border-radius: 50%;
73    width: 2.5em;
74    height: 2.5em;
75    -webkit-animation-fill-mode: both;
76    animation-fill-mode: both;
77    -webkit-animation: load7 1.8s infinite ease-in-out;
78    animation: load7 1.8s infinite ease-in-out;
79}
80
81.loader {
82    font-size: 3px;
83    margin: 0px auto;
84    position: relative;
85    text-indent: -9999em;
86    -webkit-transform: translateZ(0);
87    -ms-transform: translateZ(0);
88    transform: translateZ(0);
89    -webkit-animation-delay: -0.16s;
90    animation-delay: -0.16s;
91}
92
93.loader:before {
94    left: -3.5em;
95    color: #FFFFFF;
96    -webkit-animation-delay: -0.32s;
97    animation-delay: -0.32s;
98}
99
100.loader:after {
101    left: 3.5em;
102}
103
104.loader:before,
105.loader:after {
106    content: '';
107    position: absolute;
108    top: 0;
109}
110
111@-webkit-keyframes load7 {
112    0%,
113    80%,
114    100% {
115        box-shadow: 0 2.5em 0 -1.3em #000000;
116    }
117    40% {
118        box-shadow: 0 2.5em 0 0 #000000;
119    }
120}
121
122@keyframes load7 {
123    0%,
124    80%,
125    100% {
126        box-shadow: 0 2.5em 0 -1.3em #000000;
127    }
128    40% {
129        box-shadow: 0 2.5em 0 0 #000000;
130    }
131}
132