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