[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:

  4797ce0... legacy-colors: New extension
  97a05fd... Jimmac's style updates
  079afcf... Add back :overview style to panel
  6720181... Stop using a gradient for the panel in the overview
  f9e76cd... Fix panel bottom border
  5845204... Style popup combo box
  a163487... Fix white labels in network menu
  dccd491... Remove -panel-corner colors
  8cc33a0... on-off switch, datetime styling
  09f61d1... Distribute image files
  35af778... First shot at taskbar styling
  e74ea35... Special-case panel-buttons in overview
  b2088b0... More subtle styling of the taskbar
  d3649e1... Remove ugly hack
  3dd3294... Update TODO list