IE filter property values were updated to strings by #1939.

However, the filter value for the widget-overlay hasn't been updated in the output CSS file (https://github.com/jquery/jquery-ui/blob/1.13.2/dist/themes/base/theme.css#L441).

All of the other filters have been updated to strings in the output file, so I'm not sure why this one wasn't?