NGCHM Widget using deprecated JavaScript Code to set type.

[jmelott]

css.type='text/css' is used in CompilerUtilities.java line 305 and NGCHM_Widgetizer.java line 127.
css.type is deprecated. The correct way to set the parameter is css.setAttribute("type", "text/css");

[bmbroom]

Since the type property is deprecated (see here), should we just delete the offending code?

[jmelott]

I didn't check to see if we had any code using the value elsewhere.
As long as we change any code that might be dependent on it, if any, deleting it sounds like a good idea.

[bmbroom]

I could not find any uses. I think it was added just to satisfy the original HTML standard. If there were any uses, I think it would be at least as important to fix them.

I'm inclined to not fix them until after the next point release because of the extra testing that would be needed.