1 @namespace url(http://www.w3.org/1999/xhtml); 2 @namespace svg url(http://www.w3.org/2000/svg); 3 4 body { 5 /* Trim down the default top margin of 8px, so we have a bit more space. */ 6 margin-top: 4px; 7 } 8 9 div.threadnamediv { 10 height: 16px; 11 } 12 div.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. */ 21 div.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 31 div.fattydiv { 32 /* the div needs to have a height for the scrollbar to render in firefox */ 33 height: 1px; 34 } 35 36 div.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 46 svg|rect.thread { 47 /* fill: #f4f4f6; */ 48 fill: #efeff2; 49 opacity: 0.7; 50 } 51 52 svg|rect.event { 53 fill: #f6a120; 54 } 55 56 svg|rect.eventwaiting { 57 fill: #62ccf3; 58 } 59 60 svg|rect.event:hover, svg|rect.eventwaiting:hover { 61 fill: #d92129; 62 } 63 64 svg|line.eventline { 65 stroke: #bad432; 66 stroke-width: 2px; 67 stroke-opacity: 0.7; 68 } 69 70 svg|line.eventline:hover { 71 stroke: #d92129; 72 stroke-opacity: 1; 73 } 74
