JBIDE-18664 - Broken layout on http://tools.jboss.org/documentation/