Export Pygments theme to config file