Minor fixes to ThemeHelper.js logic to deal with document.css. In
particular, make sure context update logic happens both when adding and
deleting document.css