Import Traceline, a Windows performance trace event logger.

tools/traceline/svgui/traceline.css

Index: tools/traceline/svgui/traceline.css
diff --git a/tools/traceline/svgui/traceline.css b/tools/traceline/svgui/traceline.css
new file mode 100755
index 0000000000000000000000000000000000000000..98bf4450a77802259ccb56b4321b0468d50f310f
--- /dev/null
+++ b/tools/traceline/svgui/traceline.css
@@ -0,0 +1,73 @@
+@namespace url(http://www.w3.org/1999/xhtml);
+@namespace svg url(http://www.w3.org/2000/svg);
+
+body {
+  /* Trim down the default top margin of 8px, so we have a bit more space. */
+  margin-top: 4px;
+}
+
+div.threadnamediv {
+  height: 16px;
+}
+div.threadnamesdiv {
+  margin-right: 2px;
+  position: absolute;
+  font-family: monospace;
+  z-index: -1;
+}
+
+/* The fakescrolldiv will have the scroll bar, the amount it scrolls is
+   controlled by the size of fattydiv within it. */
+div.fakescrolldiv {
+  /* This needs to be at least 16px, the height of the scrollbar, to have the
+     scrollbar renderer in firefox */
+  /* Making the height 16px in webkit causes the computed width to be 16px
+     shorter than what we specify.  17px is enough to cause it to be correct */
+  height: 17px;
+  width: 1008px;
+  overflow: auto;
+}
+
+div.fattydiv {
+  /* the div needs to have a height for the scrollbar to render in firefox */
+  height: 1px;
+}
+
+div.infoareadiv {
+  margin-top: 4px;
+  padding: 4px;
+  border: 1px solid gray;
+  height: 350px;
+  overflow: auto;
+  font-family: monospace;
+  white-space: pre;
+}
+
+svg|rect.thread {
+  /* fill: #f4f4f6; */
+  fill: #efeff2;
+  opacity: 0.7;
+}
+
+svg|rect.event {
+  fill: #f6a120;
+}
+
+svg|rect.eventwaiting {
+  fill: #62ccf3;
+}
+
+svg|rect.event:hover, svg|rect.eventwaiting:hover {
+  fill: #d92129;
+}
+
+svg|line.eventline {
+  stroke: #bad432;
+  stroke-width: 2px;
+  stroke-opacity: 0.7;
+}
+
+svg|line.eventline:hover {
+  stroke: #d92129;
+  stroke-opacity: 1;
+}