Download the source code for the portal and look at the source files in ./core/src/main/org/jboss/portal/core/portlet/theme. (2.4.0CR1)
I will try to implement themes in my application. Please tell me one more thing. How can i change the URL of my Portal. I am working on jboss portal and to invoke my application i give the path like
Is there any way to remove these /portal/portal or atleast one /portal so that my url becomes http://localhost:8080/portal/SubscriberPortal
See the JBoss Portal Reference Guide (part of the download), sections 3.1 and 3.2.