Adjust JBoss setup to GitHub theme