 
        [pygments.lexers]
        vdmlexer = pygments_plugin.lexers.vdm:VDMLexer
        [pygments.styles]
        vdmstyle = pygments_plugin.styles.colorful:ColorfulStyle
        