• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1@namespace url(http://www.w3.org/1999/xhtml);
2@namespace svg url(http://www.w3.org/2000/svg);
3
4body {
5  /* Trim down the default top margin of 8px, so we have a bit more space. */
6  margin-top: 4px;
7}
8
9div.threadnamediv {
10  height: 16px;
11}
12div.threadnamesdiv {
13  margin-right: 2px;
14  position: absolute;
15  font-family: monospace;
16  z-index: -1;
17}
18
19/* The fakescrolldiv will have the scroll bar, the amount it scrolls is
20   controlled by the size of fattydiv within it. */
21div.fakescrolldiv {
22  /* This needs to be at least 16px, the height of the scrollbar, to have the
23     scrollbar renderer in firefox */
24  /* Making the height 16px in webkit causes the computed width to be 16px
25     shorter than what we specify.  17px is enough to cause it to be correct */
26  height: 17px;
27  width: 1008px;
28  overflow: auto;
29}
30
31div.fattydiv {
32  /* the div needs to have a height for the scrollbar to render in firefox */
33  height: 1px;
34}
35
36div.infoareadiv {
37  margin-top: 4px;
38  padding: 4px;
39  border: 1px solid gray;
40  height: 350px;
41  overflow: auto;
42  font-family: monospace;
43  white-space: pre;
44}
45
46svg|rect.thread {
47  /* fill: #f4f4f6; */
48  fill: #efeff2;
49  opacity: 0.7;
50}
51
52svg|rect.event {
53  fill: #f6a120;
54}
55
56svg|rect.eventwaiting {
57  fill: #62ccf3;
58}
59
60svg|rect.event:hover, svg|rect.eventwaiting:hover {
61  fill: #d92129;
62}
63
64svg|line.eventline {
65  stroke: #bad432;
66  stroke-width: 2px;
67  stroke-opacity: 0.7;
68}
69
70svg|line.eventline:hover {
71  stroke: #d92129;
72  stroke-opacity: 1;
73}
74