Application icon now adapts to the button size. This allows different icon sizes in the title menu button between themes.

(Old svn revision: 18770)