Here is the nuance of . The style file itself is generally considered a "sound model" and not a copyrighted song. However, if you download a style named "BillieJean_V1.sty," that is a derivative of Michael Jackson’s copyrighted composition.
Troubleshooting
Users seeking free style files generally fall into two categories: legitimate third-party creators and "ported" commercial styles.