Feature Request: Add a "Full Width Panel" variant to all your themes

[arjpar]

This is very trivial to implement. If I'm correct, all it requires is the following change to gnome-shell.css:

#panelBox {
  padding: 0;
}