Changed
- Highlight colour is now set to
@syntax-color-modifiedwhich by default is the original orange. We thus come back to our former look while still allowing syntax themes to override it to a more suitable colour. - Brought back a more exploding effect to the animation.