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
|
.section {
width: 100%;
font-size: 1.2em;
}
.section h3 {
margin-top: -10 px;
}
#themeselector {
padding-left: 90px;
padding-right: 40px;
font-size: 1.2em;
animation-duration: 0.7s;
background-color: white;
}
#themeselector a {
color: #0000EE;
text-decoration: underline;
}
@media (max-width: 900px) or (orientation: portrait) {
#themeselector {
padding-left: 40px;
}
}
.hoverable {
color: #0000EE;
text-decoration: underline;
}
.hoverable:hover {
color: #551A8B;
}
.tooltip {
color: black;
background-color: white;
border: 1px solid black;
padding-top: 2px;
padding-bottom: 2px;
padding-left: 4px;
padding-right: 4px;
}
.emph {
font-style: italic;
}
.serif {
font-family: sans-serif;
}
@keyframes rainbow-text {
100%,0%{color: rgb(255,0,0); text-shadow: 0 0 4px rgb(216, 1, 1);}
8%{color: rgb(255,127,0); text-shadow: 0 0 4px rgb(211, 105, 0);}
16%{color: rgb(255,255,0); text-shadow: 0 0 4px rgb(214, 214, 0);}
25%{color: rgb(127,255,0); text-shadow: 0 0 4px rgb(105, 211, 0);}
33%{color: rgb(0,255,0); text-shadow: 0 0 4px rgb(0, 204, 0);;}
41%{color: rgb(0,255,127); text-shadow: 0 0 4px rgb(0, 209, 105);}
50%{color: rgb(0,255,255); text-shadow: 0 0 4px rgb(0, 202, 202);}
58%{color: rgb(0,127,255); text-shadow: 0 0 4px rgb(0, 103, 206);}
66%{color: rgb(0,0,255); text-shadow: 0 0 4px rgb(0, 0, 206);}
75%{color: rgb(127,0,255); text-shadow: 0 0 4px rgb(103, 0, 206);}
83%{color: rgb(255,0,255); text-shadow: 0 0 4px rgb(211, 0, 211);}
91%{color: rgb(255,0,127); text-shadow: 0 0 4px rgb(211, 0, 105);}
}
div#buttons {
margin-top: 2rem;
}
|
