Document source-code highlighting customization