DevTools: Tweak timeline group headers drawing

third_party/WebKit/Source/devtools/front_end/timeline/TimelineFlameChart.js

 /*
  * Copyright (C) 2014 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 64 matching lines @@
     {
         return 4;
     },
 
     /**
      * @return {number}
      * @override
      */
     groupSeparatorHeight: function()
     {
-        return 12;
+        return 3;
     },
 
     /**
      * @override
      * @param {number} entryIndex
      * @return {string}
      */
     entryFont: function(entryIndex)
     {
         return this._font;
@@ skipping 1361 matching lines @@
 /**
   * @constructor
   * @param {!WebInspector.TimelineSelection} selection
   * @param {number} entryIndex
   */
 WebInspector.TimelineFlameChartView.Selection = function(selection, entryIndex)
 {
     this.timelineSelection = selection;
     this.entryIndex = entryIndex;
 }