A bookmarklet to reload a page's CSS