[gnome-shell-extensions] (15 commits) Created branch merged-classic-branches

[Florian MÃllner <fmuellner src gnome org>]

The branch 'merged-classic-branches' was created.

Summary of new commits:

  cd0da29... legacy-colors: New extension
  564776e... Jimmac's style updates
  7d7aa84... Add back :overview style to panel
  5155dbd... Stop using a gradient for the panel in the overview
  a3f2e7a... Fix panel bottom border
  2e5214e... Style popup combo box
  f51e756... Fix white labels in network menu
  daaf535... Remove -panel-corner colors
  2fed0dc... on-off switch, datetime styling
  5993f25... Distribute image files
  2156262... First shot at taskbar styling
  e7ac387... Special-case panel-buttons in overview
  7238172... More subtle styling of the taskbar
  eab407f... Remove ugly hack
  b1264a1... Update TODO list