This make sense, I think that by inserting a highlight.js theme CSS code in the userstyle.css file should be effective in overwriting the default one. I will give this a try.

Thank you!