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.
userstyle.css
Thank you!