chrome: dev-tools theme gray - fix arrow in css pane, and thicken scrollers