tools/traceline/svgui/traceline.css

   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 }