Make it possible for panels to go all the way to the edge of the
shell. This is particularly important for panels that scroll, such
as the new power panel. All other panels are changed to compensate
for the loss of external padding.
https://bugzilla.gnome.org/show_bug.cgi?id=691229
Use a GtkButton instead of a GtkLabel to incite the user to configure
a new account, and insensitize the GtkBox on the left.
Fixes: https://bugzilla.gnome.org/672421
Use simple GtkBox widgets instead.
GtkTable does not support nth-child() constructs for CSS, so the theme
is not able to match the inline toolbar with selectors like
.inline-toolabr.toolbar:nth-child(last) {
}
which are used to change the rounded corners/top border width.
https://bugzilla.gnome.org/show_bug.cgi?id=658964
