git://git.webkit.org
/
WebKit-https.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
WebKitPerfMonitor: Tooltips can be cut off at the top
[WebKit-https.git]
/
Websites
/
perf.webkit.org
/
public
/
common.css
1
2
html, body {
3
margin: 0;
4
padding: 0;
5
}
6
7
body {
8
background-repeat: repeat-x;
9
font-family: sans-serif;
10
padding: 10px;
11
}
12
13
#title {
14
position: relative;
15
}
16
17
#title h1 {
18
font-weight: normal;
19
text-shadow: #bbb 1px 1px 2px;
20
margin: 0;
21
padding: 0;
22
font-size: 1.5em;
23
}
24
#title li, #title ul {
25
list-style: none;
26
margin: 0;
27
padding: 0;
28
}
29
30
#title li {
31
display: inline;
32
}
33
34
#title li:after {
35
content: ' | ';
36
}
37
38
#title li:last-child:after {
39
content: '';
40
}
41
42
#title ul {
43
position: absolute;
44
vertical-align: middle;
45
top: 5px;
46
right: 20px;
47
line-height: 1.5em;
48
}
49
50
a {
51
text-decoration: none;
52
color: #000;
53
text-shadow: #bbb 1px 1px 2px;
54
}