Support code highlight for more languages

### Check List

- [x] I have already read README.
- [x] I have already searched existing issues.
- [x] I have already searched existing pull requrests.

### Feature Request

I would like to highlight Lean4 code in hexo posts
``` lean
example (n: Nat) : n = n := by sorry 
```
but it seems that this plugin fails to do so. 

### Additional context

_No response_