Prettier Chrome DevTools

Custom.css

/**
 * Put this in:
 * - Mac:      ~/Library/Application Support/Google/Chrome/Default/User StyleSheets/Custom.css
 * - Ubuntu:   ~/.config/chromium/Default/User StyleSheets/Custom.css
 * - Windows:  C:\Users\YourUsername\AppData\Local\Google\Chrome\UserData\Default\User StyleSheets\Custom.css
 */

#-webkit-web-inspector.compact #toolbar {
  background: -webkit-linear-gradient(#CCC, #AEAEAE) !important;
  border-bottom: 1px solid #AAA !important;
}

#-webkit-web-inspector.compact #toolbar .toolbar-label {
    text-shadow: 0px 1px 1px #EFEFEF !important;
}

#-webkit-web-inspector.compact #toolbar .toolbar-item.toggleable.toggled-on {
  background: -webkit-linear-gradient(#DDD, #AEAEAE) !important;
}

#-webkit-web-inspector.compact .toolbar-item.close-left {
  margin-top: 6px !important;
}

Before:

---

After:

Before:

After:

How comes one cannot delete a Gist's comment ?

curl to the rescue? http://developer.github.com/v3/gists/comments/#delete-a-comment

Thanks for taking the time to beautify that toolbar. I assume the width of the border on top can't be decreased?