Actually I did make one (a hardly-working, incredibly slow one), but I lost the source code somehow, and am unsure where I left my backup.
In any case, I think I may decide to redo the whole highlighter, using a custom engine (I was using GeSHi before, which was why it was so bad), but that'll most likely happen some time after the holidays.
Is the school system in your country similar to Chinese school system? I could never imagine being a teacher in a Chinese school, what's expected of students and teachers is just so different from what I'd be looking for as a teacher
Yea I came last year. I was quarantined for about 30 days. Fml. The first day of my quarantine was the eve of Chinese new year last year. Fml again... Lol.