Red Hat button in top right corner doesn't work on the page with Table of contents, or possibly only on this concrete page: http://aerogear.org/docs/unifiedpush/GetStartedwithJavaSender/