I changed the plugin that handles code highlighting, making possible to also change the theme. I don’t know if I let some unmodified code lingering, so if anyone see any problem, just drop me a note.