Translucent themes, some fixes in thememanager