[jboss-jira] [JBoss JIRA] Created: (JBPORTAL-1631) Allow different stylesheets for different user-agents