/* Browser-local edited CSS is applied to this same-origin stylesheet. */