Hello, I'm sending you a set of patches for the GTK+ frontend to make the UI a bit more eye-candy. The patches consist mostly on adding some border widths, etched-in borders to scroll bars, theming close buttons, fixing spacings and creating size groups for the search widgets. Happy holidays. Best regards,