Is there a way to load a different theme for opera mini users?
You want a completely different theme loaded, or just a different stylesheet?
Check out the Documentation! We are always looking for new content and pull requests.
Click on insightful, awesome, and funny reactions to thank community volunteers for their valuable posts.
This is a hairy proposition. Themes are not "just" stylesheets and view overrides. They also have themehooks (which are basically plugins). But you need to unload it before any of the events it hooks are called.
Or you could extend the thememanager to add your opera mini detection and install the extension to the garden factory.
I think extending the thememanager would be the cleaner solution.