changes in theme mechanism; themes now can be configured via GUI