Opera extension to force-reload CSS