[infinispan-issues] [JBoss JIRA] (ISPN-2576) API documentation navigation bar is broken