arquivos Sphinx para gerar listagens coloridas em HTML