To customize the messages section and how push notifications viewed by users, please see the answer to this question. Basically you override the default nav item by introducing a new item in the general-section of the nav.js and set its type attribute to messages.