Go to Jitpro Main Page
Go to Jitpro Prover

Hovering On By Default
Expert
Add Extra JavaScript File (URL):