Add Server-Timing support to devtools

third_party/WebKit/Source/devtools/front_end/network/networkPanel.css

Index: third_party/WebKit/Source/devtools/front_end/network/networkPanel.css
diff --git a/third_party/WebKit/Source/devtools/front_end/network/networkPanel.css b/third_party/WebKit/Source/devtools/front_end/network/networkPanel.css
index 741ba567883b4f281d7f6e6153aa7f697c2d8be8..4b4a42c10eb9c564c8ef0e8f5eb0bcd89f92b045 100644
--- a/third_party/WebKit/Source/devtools/front_end/network/networkPanel.css
+++ b/third_party/WebKit/Source/devtools/front_end/network/networkPanel.css
@@ -97,6 +97,16 @@
     padding: 2px 0;
 }
 
+.network-timing-table hr.break {
+    border: 0;
+    height: 1px;
+    background-image: linear-gradient(to right, #eee, #bbb, #eee);

[pfeldman, 2016/03/15 20:18:59]

Please use flat #eee

+}
+
+.network-timing-table td.network-timing-metric {
+    height: 19px;
+}
+
 .network-timing-footer td {
     border-top: 8px solid transparent;
 }