Syntax highlighting for the SecPAL authorization logic