update to latest jboss.org theme, especially "tabzilla" ------------------------------------------------------- Key: JBIDE-16068 URL: https://issues.jboss.org/browse/JBIDE-16068 Project: Tools (JBoss Tools) Issue Type: Sub-task Components: website Reporter: Max Rydahl Andersen Fix For: 4.2.0.Alpha2 talking with [~pmuir] and he pointed out we were missing the "tabzilla" component which is present on sites like wildfly.org. the upper right "red hat" button. That is probably just missing because we got our styles/css from earlier versions of .org theme.