Manual:$wgLocalStylePath/de-formal

Details
Same as, but shouldn't point to an external domain.

Used by the Vector skin to provide a CSS hover shim for old versions of Internet Explorer.