-
Simplify the code added in bug #739836. Use border-width instead of margins in the sidebar, and remove all shadow in from GtkScrolledWindows instead of using custom CSS for that. These changes don't affect the UI. https://bugzilla.gnome.org/show_bug.cgi?id=747631
8b4fc1d0