blob: 50e3b8c6a60ec3cbbbe3f4a0c92fff814d61b89f (
plain)
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
|
a.back {
text-decoration: none;
}
body {
margin: 0 auto;
max-width: 66em;
padding: 1em 2em;
}
code {
background-color: #d6d6d6;
color: black;
font-size: 1.2em;
padding: 0.20em 0.25em 0;
}
dl {
margin-top: 0.5em;
}
dt {
margin-top: 0.5em;
}
dd {
margin-left: 1em;
}
h1, h2, h3 {
margin-bottom: 0.5em;
}
h2 {
font-size: 110%;
}
h3 {
font-size: 105%;
}
p {
hyphens: auto;
line-height: 125%;
margin-top: 0.5em;
margin-bottom: 0;
padding-top: 0;
text-align: justify;
}
pre {
margin-left: 1em;
overflow: auto;
}
.tooltip { /* hide and position tooltip */
top: 1em;
left: 1em;
background-color: black;
color: white;
border-radius: 5px;
opacity: 0;
position: absolute;
-webkit-transition: opacity 0.5s;
-moz-transition: opacity 0.5s;
-ms-transition: opacity 0.5s;
-o-transition: opacity 0.5s;
transition: opacity 0.5s;
}
.hover {
position: relative;
}
.hover:hover .tooltip { /* display tooltip on hover */
opacity: 1;
}
|