IE filter property values were updated to strings by https://github.com/jquery/jquery-ui/pull/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?