Use new button instead of generic menu entry
Add menu icons to stylesheet
Use new searchfield in topbar for ticket id search.
Add function for topbar search
Accidentally replaced function
Change theming of search bar in menu
Merge branch 'master' of https://github.com/KarimG94/horde