1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
|
html {
font-family: Helvetica, Arial, sans-serif;
}
html.wf-active {
font-family: Cantarell, Helvetica, Arial, sans-serif;
}
body {
font-size: 16px;
text-shadow: rgba(0,0,0,.01) 0 0 1px; /* this is definitely not a webkit-specific hack to fix font aliasing */
background-color: #121212;
color: #ddd;
margin: 0;
}
p {
margin-top: 0;
}
form {
display: inline;
}
a:link, a:visited, a:active {
text-decoration: underline;
color: #FFFFCC;
transition:color .4s ease-out;
-webkit-transition:color .4s ease-out;
-o-transition:color .4s ease-out;
-moz-transition:color .4s ease-out;
}
a:hover {
color: #EEDDBB;
text-decoration: none;
transition:color 0s ease-out;
-webkit-transition:color 0s ease-out;
-o-transition:color 0s ease-out;
-moz-transition:color 0s ease-out;
}
.wrapper {
width: 900px;
margin: 0 auto;
}
.float {
float:left;
}
.lfloat {
float:right;
}
#topbar {
padding: 15px 15px;
margin: 0 auto 40px;
text-align: center;
position: relative; /* for #user */
min-width: 900px;
background: -moz-linear-gradient(top, #252525, #121212);
background: -webkit-linear-gradient(top, #252525, #121212);
}
#topbar a.nav {
background-color: #222;
margin-right: 15px;
padding: 7px 10px;
border-radius: 5px;
text-decoration: none;
border: 1px solid #333;
box-shadow: 0 0 1px #444;
}
#topbar a.nav.selected, #topbar a.nav:hover {
border: 1px solid #222;
background-color: #2c2c2c;
}
#topbar #user {
position: absolute;
right: 25px;
top: 5px;
text-align: right;
}
#difficulties {
width: 100%;
text-align: center;
margin-bottom: 35px;
}
#difficulties a {
margin: 0 10px;
color: #ddd;
background-color: #334;
padding: 3px 10px;
border-radius: 5px;
text-decoration: none;
border: 1px solid #446;
box-shadow: 0 0 1px #445;
}
#difficulties a.selected, #difficulties a:hover {
background-color: #446;
border: 1px solid #223;
}
table.score {
border: 1px solid #777;
background-color: #252530;
color: #ccc;
margin: 40px auto 0;
}
table.score th, table.score td {
padding: 5px;
}
table.score th {
border: 1px solid #777;
}
#copy {
text-align: center;
margin: 40px auto 0;
}
#copy iframe {
border: none;
width: 95px;
height: 21px;
vertical-align: text-bottom;
overflow: hidden;
}
|
